Showing 1–22 of 22 results for author: Yoshikawa, S

Asymptotic profiles for the Cauchy problem of damped beam equation with two variable coefficients and derivative nonlinearity

Authors: Mohamed Ali Hamza, Yuta Wakasugi, Shuji Yoshikawa

Abstract: In this article we investigate the asymptotic profile of solutions for the Cauchy problem of the nonlinear damped beam equation with two variable coefficients: \[ \partial_t^2 u + b(t) \partial_t u - a(t) \partial_x^2 u + \partial_x^4 u = \partial_x \left( N(\partial_x u) \right). \] In the authors' previous article [17], the asymptotic profile of solutions for linearized problem ($N \equiv 0$)… ▽ More In this article we investigate the asymptotic profile of solutions for the Cauchy problem of the nonlinear damped beam equation with two variable coefficients: \[ \partial_t^2 u + b(t) \partial_t u - a(t) \partial_x^2 u + \partial_x^4 u = \partial_x \left( N(\partial_x u) \right). \] In the authors' previous article [17], the asymptotic profile of solutions for linearized problem ($N \equiv 0$) was classified depending on the assumptions for the coefficients $a(t)$ and $b(t)$ and proved the asymptotic behavior in effective dam** cases. We here give the conditions of the coefficients and the nonlinear term in order that the solution behaves as the solution for the heat equation: $b(t) \partial_t u - a(t) \partial_x^2 u=0$ asymptotically as $t \to \infty$. △ Less

Submitted 28 October, 2023; originally announced October 2023.

Comments: 32 pages, 1 figure

MSC Class: 35G25; 35B40; 35A01

Varieties in positive characteristic with numerically flat log cotangent bundle

Authors: Sho Ejiri, Shou Yoshikawa

Abstract: In this paper, we prove that a smooth projective globally $F$-split variety with numerically flat tangent bundle is an étale quotient of an ordinary abelian variety. We also show its logarithmic analog, which contains a characterization of toric varieties. We further prove that, without assumption of global $F$-splitting, a smooth projective separably rationally connected variety of arbitrary char… ▽ More In this paper, we prove that a smooth projective globally $F$-split variety with numerically flat tangent bundle is an étale quotient of an ordinary abelian variety. We also show its logarithmic analog, which contains a characterization of toric varieties. We further prove that, without assumption of global $F$-splitting, a smooth projective separably rationally connected variety of arbitrary characteristic with numerically flat log cotangent bundle is a toric variety. △ Less

Submitted 17 March, 2023; originally announced March 2023.

Comments: 12 pages

MSC Class: Primary 14G17; Secondary 14M25; 14J40; 14K99

Quasi-F-splittings in birational geometry II

Authors: Tatsuro Kawakami, Teppei Takamatsu, Hiromu Tanaka, Jakub Witaszek, Fuetaro Yobuko, Shou Yoshikawa

Abstract: Over an algebraically closed field of characteristic $p>41$, we prove that three-dimensional $\mathbb Q$-factorial affine klt varieties are quasi-$F$-split. Furthermore, we show that the bound on the characteristic is optimal. Over an algebraically closed field of characteristic $p>41$, we prove that three-dimensional $\mathbb Q$-factorial affine klt varieties are quasi-$F$-split. Furthermore, we show that the bound on the characteristic is optimal. △ Less

Submitted 20 April, 2024; v1 submitted 26 February, 2023; originally announced February 2023.

Comments: 81 pages, typos in Notation 6.1 corrected, final version, to appear in Proceedings of the London Mathematical Society

MSC Class: 14E30; 13A35

Quasi-F-splittings in birational geometry

Authors: Tatsuro Kawakami, Teppei Takamatsu, Hiromu Tanaka, Jakub Witaszek, Fuetaro Yobuko, Shou Yoshikawa

Abstract: We develop the theory of quasi-$F$-splittings in the context of birational geometry. Amongst other things, we obtain results on liftability of sections and establish a criterion for whether a scheme is quasi-$F$-split employing the higher Cartier operator. As one of the applications of our theory, we prove that three-dimensional klt singularities in large characteristic are quasi-$F$-split, and so… ▽ More We develop the theory of quasi-$F$-splittings in the context of birational geometry. Amongst other things, we obtain results on liftability of sections and establish a criterion for whether a scheme is quasi-$F$-split employing the higher Cartier operator. As one of the applications of our theory, we prove that three-dimensional klt singularities in large characteristic are quasi-$F$-split, and so, in particular, they lift modulo $p^2$. △ Less

Submitted 16 August, 2022; originally announced August 2022.

Comments: 81 pages

MSC Class: 14E30; 13A35

Modularity of elliptic curves over cyclotomic $\mathbb{Z}_p$-extensions of real quadratic fields

Authors: Sho Yoshikawa

Abstract: We prove that all elliptic curves defined over the cyclotomic $\mathbb{Z}_p$-extension of a real quadratic field are modular under the assumption that the algebraic part of the central value of a twisted $L$-function is a $p$-adic unit. Our result is a generalization of a result of X. Zhang, which is a real quadratic analogue of a result of Thorne. We prove that all elliptic curves defined over the cyclotomic $\mathbb{Z}_p$-extension of a real quadratic field are modular under the assumption that the algebraic part of the central value of a twisted $L$-function is a $p$-adic unit. Our result is a generalization of a result of X. Zhang, which is a real quadratic analogue of a result of Thorne. △ Less

Submitted 26 June, 2022; originally announced June 2022.

Comments: 12 pages

MSC Class: 11G05(Primary); 11R23(Secondary)

Fedder type criteria for quasi-$F$-splitting

Authors: Tatsuro Kawakami, Teppei Takamatsu, Shou Yoshikawa

Abstract: Yobuko recently introduced the notion of quasi-$F$-splitting and $F$-split heights, which generalize and quantify the notion of Frobenius-splitting, and proved that $F$-split heights coincide with Artin-Mazur heights for Calabi-Yau varieties. In this paper, we prove Fedder type criteria of quasi-$F$-splittings of complete intersections, and in particular obtain an easy formula to compute Artin-Maz… ▽ More Yobuko recently introduced the notion of quasi-$F$-splitting and $F$-split heights, which generalize and quantify the notion of Frobenius-splitting, and proved that $F$-split heights coincide with Artin-Mazur heights for Calabi-Yau varieties. In this paper, we prove Fedder type criteria of quasi-$F$-splittings of complete intersections, and in particular obtain an easy formula to compute Artin-Mazur heights of Calabi-Yau hypersurfaces. Moreover, as applications, we give explicit examples of quartic K3 surfaces over $\mathbb{F}_{3}$ realizing all the possible Artin-Mazur heights, we provide explicit computations of $F$-split heights for all the rational double points and bielliptic surfaces, and introduce interesting phenomena concerned with inversion of adjunction, fiber products, Fano varieties, and general fibers of fibrations. △ Less

Submitted 27 July, 2022; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: 76 page, notation changed

Report number: RIKEN-iTHEMS-Report-22 MSC Class: 13A35; 13F35; 14J32; 14B05

The modularity of elliptic curves over all but finitely many totally real fields of degree 5

Authors: Yasuhiro Ishitsuka, Tetsushi Ito, Sho Yoshikawa

Abstract: We study the finiteness of low degree points on certain modular curves and their Atkin--Lehner quotients, and, as an application, prove the modularity of elliptic curves over all but finitely many totally real fields of degree $5$. On the way, we prove a criterion for the finiteness of rational points of degree $5$ on a curve of large genus over a number field using the results of Abramovich--Harr… ▽ More We study the finiteness of low degree points on certain modular curves and their Atkin--Lehner quotients, and, as an application, prove the modularity of elliptic curves over all but finitely many totally real fields of degree $5$. On the way, we prove a criterion for the finiteness of rational points of degree $5$ on a curve of large genus over a number field using the results of Abramovich--Harris and Faltings on subvarieties of Jacobians. △ Less

Submitted 13 October, 2022; v1 submitted 8 October, 2021; originally announced October 2021.

Comments: 23 pages. Final version, accepted for publication in 'Research in Number Theory'. To the newest version, we added the ancillary files which were attached to v4 but not to v5. The attachment contains data on modular forms (of level 105, 315, and 735) which are generated by LMFDB

Journal ref: Research in Number Theory 8, Article number 82(2022)

Structure-preserving finite difference schemes for nonlinear wave equations with dynamic boundary conditions

Authors: Akihiro Umeda, Yuta Wakasugi, Shuji Yoshikawa

Abstract: In this article we discuss the numerical analysis for the finite difference scheme of the one-dimensional nonlinear wave equations with dynamic boundary conditions. From the viewpoint of the discrete variational derivative method we propose the derivation of the structure-preserving finite difference schemes of the problem which covers a variety of equations as widely as possible. Next, we focus o… ▽ More In this article we discuss the numerical analysis for the finite difference scheme of the one-dimensional nonlinear wave equations with dynamic boundary conditions. From the viewpoint of the discrete variational derivative method we propose the derivation of the structure-preserving finite difference schemes of the problem which covers a variety of equations as widely as possible. Next, we focus our attention on the semilinear wave equation, and show the existence and uniqueness of solution for the scheme and error estimates with the help of the inherited energy structure. △ Less

Submitted 1 April, 2021; originally announced April 2021.

Comments: 27 pages, 5 figures

Journal ref: Applied Numerical Mathematics 171 (2022), 1--22

Minimal model program for semi-stable threefolds in mixed characteristic

Authors: Teppei Takamatsu, Shou Yoshikawa

Abstract: In this paper, we study the minimal model theory for threefolds in mixed characteristic. As a generalization of a result of Kawamata, we show that the MMP holds for strictly semi-stable schemes over an excellent Dedekind scheme $V$ of relative dimension two without any assumption on the residue characteristics of $V$. We also prove that we can run a $(K_{X/V}+Δ)$-MMP over $Z$, where… ▽ More In this paper, we study the minimal model theory for threefolds in mixed characteristic. As a generalization of a result of Kawamata, we show that the MMP holds for strictly semi-stable schemes over an excellent Dedekind scheme $V$ of relative dimension two without any assumption on the residue characteristics of $V$. We also prove that we can run a $(K_{X/V}+Δ)$-MMP over $Z$, where $π\colon X \to Z$ is a projective birational morphism of $\mathbb{Q}$-factorial quasi-projective $V$-schemes and $(X,Δ)$ is a three-dimensional dlt pair with $\mathrm{Exc}(π) \subset \lfloor Δ\rfloor $. △ Less

Submitted 6 January, 2023; v1 submitted 14 December, 2020; originally announced December 2020.

Comments: 42 pages. We revised the assumption of Theorem 6.3 and the statement of Theorem 5.12. We also revised Definition 2.15 and the proofs of Proposition 2.16 and Proposition 2.17. To appear Journal of Algebraic Geometry

MSC Class: 14E30; 14G45; 14J17; 11G25; 11G35

Characterization of toric varieties via int-amplified endomorphisms

Authors: Shou Yoshikawa

Abstract: In this paper, we obtain a characterization of toric varieties via int-amplified endomorphisms. We prove that if $f \colon X \to X$ is an int-amplified endomorphism of a smooth complex projective variety $X$, then $X$ is toric if and only if $f_*L$ is a direct sum of line bundles on $X$ for every line bundle $L$. In this paper, we obtain a characterization of toric varieties via int-amplified endomorphisms. We prove that if $f \colon X \to X$ is an int-amplified endomorphism of a smooth complex projective variety $X$, then $X$ is toric if and only if $f_*L$ is a direct sum of line bundles on $X$ for every line bundle $L$. △ Less

Submitted 13 October, 2020; originally announced October 2020.

Comments: 8 pages

MSC Class: 14M25; 08A35

A second-order accurate structure-preserving scheme for the Cahn-Hilliard equation with a dynamic boundary condition

Authors: Makoto Okumura, Takeshi Fukao, Daisuke Furihata, Shuji Yoshikawa

Abstract: We propose a structure-preserving finite difference scheme for the Cahn-Hilliard equation with a dynamic boundary condition using the discrete variational derivative method (DVDM). In this approach, it is important and essential how to discretize the energy which characterizes the equation. By modifying the conventional manner and using an appropriate summation-by-parts formula, we can use a stand… ▽ More We propose a structure-preserving finite difference scheme for the Cahn-Hilliard equation with a dynamic boundary condition using the discrete variational derivative method (DVDM). In this approach, it is important and essential how to discretize the energy which characterizes the equation. By modifying the conventional manner and using an appropriate summation-by-parts formula, we can use a standard central difference operator as an approximation of an outward normal derivative on the discrete boundary condition of the scheme. We show that our proposed scheme is second-order accurate in space, although the previous structure-preserving scheme by Fukao-Yoshikawa-Wada (Commun. Pure Appl. Anal. 16 (2017), 1915-1938) is first-order accurate in space. Also, we show the stability, the existence, and the uniqueness of the solution for the proposed scheme. Computation examples demonstrate the effectiveness of the proposed scheme. Especially through computation examples, we confirm that numerical solutions can be stably obtained by our proposed scheme. △ Less

Submitted 16 July, 2020; originally announced July 2020.

Comments: 32 pages, 18 figures

MSC Class: 65M06; 65M12

Structure of Fano fibrations of varieties admitting an int-amplified endomorphism

Authors: Shou Yoshikawa

Abstract: In this paper, we study the structure of Fano fibrations of varieties admitting an int-amplified endomorphism. We prove that if a normal $\mathbb{Q}$-factorial klt projective variety $X$ has an int-amplified endomorphism, then there exists an étale in codimension one finite morphism $\widetilde{X} \to X$ such that $\widetilde{X}$ is of Fano type over its albanese variety. As a corollary, if we fur… ▽ More In this paper, we study the structure of Fano fibrations of varieties admitting an int-amplified endomorphism. We prove that if a normal $\mathbb{Q}$-factorial klt projective variety $X$ has an int-amplified endomorphism, then there exists an étale in codimension one finite morphism $\widetilde{X} \to X$ such that $\widetilde{X}$ is of Fano type over its albanese variety. As a corollary, if we further assume that $X$ is smooth and rationally connected, then $X$ is of Fano type. △ Less

Submitted 4 February, 2020; originally announced February 2020.

Comments: 27 pages

MSC Class: 08A35; 14E30; 14J45; 20K30;

Global $F$-splitting of surfaces admitting an int-amplified endomorphim

Authors: Shou Yoshikawa

Abstract: In this paper, we study the global $F$-splitting of varieties admitting an int-amplified endomoprhism. We prove that surfaces admitting an int-amplified endomorphism are of dense globally $F$-split type and, in particular, of Calabi-Yau type. In this paper, we study the global $F$-splitting of varieties admitting an int-amplified endomoprhism. We prove that surfaces admitting an int-amplified endomorphism are of dense globally $F$-split type and, in particular, of Calabi-Yau type. △ Less

Submitted 27 November, 2019; v1 submitted 4 November, 2019; originally announced November 2019.

Comments: 27 pages. arXiv admin note: substantial text overlap with arXiv:1908.11537; text overlap with arXiv:1305.3056, arXiv:1201.1133, arXiv1307.8188 by other authors

Satellite Constellation Pattern Optimization for Complex Regional Coverage

Authors: Hang Woon Lee, Seiichi Shimizu, Shoji Yoshikawa, Koki Ho

Abstract: The use of regional coverage satellite constellations is on the rise, urging the need for an optimal constellation design method for complex regional coverage. Traditional constellations are often designed for continuous global coverage, and the few existing regional constellation design methods lead to suboptimal solutions for periodically time-varying or spatially-varying regional coverage requi… ▽ More The use of regional coverage satellite constellations is on the rise, urging the need for an optimal constellation design method for complex regional coverage. Traditional constellations are often designed for continuous global coverage, and the few existing regional constellation design methods lead to suboptimal solutions for periodically time-varying or spatially-varying regional coverage requirements. This paper introduces a new general approach to design an optimal constellation pattern that satisfies such complex regional coverage requirements. To this end, the circular convolution nature of the repeating ground track orbit and common ground track constellation is formalized. This formulation enables a scalable constellation pattern analysis for multiple target areas and with multiple sub-constellations. The formalized circular convolution relationship is first used to derive a baseline constellation pattern design method with the conventional assumption of symmetry. Next, a novel method based on binary integer linear programming is developed, which aims to optimally design a constellation pattern with the minimum number of satellites. This binary integer linear programming method is shown to achieve optimal constellation patterns for general problem settings that the baseline method cannot achieve. Five illustrative examples are analyzed to demonstrate the value of the proposed new approach. △ Less

Submitted 5 October, 2020; v1 submitted 1 October, 2019; originally announced October 2019.

Comments: 47 pages, 23 figures, Journal of Spacecraft and Rockets (Published)

Journal ref: Journal of Spacecraft and Rockets, Vol. 57, No. 6, pp. 1309-1327, 2020

Kawaguchi-Silverman conjecture for endomorphisms on rationally connected varieties admitting an int-amplified endomorphism

Authors: Yohsuke Matsuzawa, Shou Yoshikawa

Abstract: We prove Kawaguchi-Silverman conjecture for all surjective endomorphisms on every smooth rationally connected variety admitting an int-amplified endomorphism. We prove Kawaguchi-Silverman conjecture for all surjective endomorphisms on every smooth rationally connected variety admitting an int-amplified endomorphism. △ Less

Submitted 30 August, 2019; originally announced August 2019.

Comments: 25 pages

MSC Class: 37P55; 14E30; 08A35

Int-amplified endomorphisms on normal projective surfaces

Authors: Yohsuke Matsuzawa, Shou Yoshikawa

Abstract: We investigate int-amplified endomorphisms on normal projective surfaces. We prove that the output of the equivariant MMP is either a Q-abelian surface, a (equivariant) quasi-étale quotient of a smooth projective surface, a Mori dream space, or a projective cone of an elliptic curve. We investigate int-amplified endomorphisms on normal projective surfaces. We prove that the output of the equivariant MMP is either a Q-abelian surface, a (equivariant) quasi-étale quotient of a smooth projective surface, a Mori dream space, or a projective cone of an elliptic curve. △ Less

Submitted 16 February, 2019; originally announced February 2019.

Comments: 16 pages

MSC Class: 14J99; 14E30; 08A35

Singularities of non-$\mathbb{Q}$-Gorenstein varieties admitting a polarized endomorphism

Authors: Shou Yoshikawa

Abstract: In this paper, we discuss a generalization of log canonical singularities in the non-$\mathbb{Q}$-Gorenstein setting. We prove that if a normal complex projective variety has a non-invertible polarized endomorphism, then it has log canonical singularities in our sense. As a corollary, we give an affirmative answer to a conjecture of Broustet and Höring. In this paper, we discuss a generalization of log canonical singularities in the non-$\mathbb{Q}$-Gorenstein setting. We prove that if a normal complex projective variety has a non-invertible polarized endomorphism, then it has log canonical singularities in our sense. As a corollary, we give an affirmative answer to a conjecture of Broustet and Höring. △ Less

Submitted 12 March, 2021; v1 submitted 5 November, 2018; originally announced November 2018.

Comments: 21 pages. To appear in IMRN. This paper is revised about the following points that the assumption in Theorem 1.6 is removed, and Theorem 6.7, Definition 6.8 and Theorem 6.9 are added. Furthermore Section 7 is also added in version 4

MSC Class: 14B05; 14E30; 08A35

Optimal Satellite Constellation Spare Strategy Using Multi-Echelon Inventory Control

Authors: Pauline C. M. Jakob, Seiichi Shimizu, Shoji Yoshikawa, Koki Ho

Abstract: The recent growing trend to develop large-scale satellite constellations (i.e., mega-constellation) with low-cost small satellites has brought the need for an efficient and scalable maintenance strategy decision plan. Traditional spare strategies for satellite constellations cannot handle these mega-constellations due to their limited scalability in number of satellites and/or frequency of failure… ▽ More The recent growing trend to develop large-scale satellite constellations (i.e., mega-constellation) with low-cost small satellites has brought the need for an efficient and scalable maintenance strategy decision plan. Traditional spare strategies for satellite constellations cannot handle these mega-constellations due to their limited scalability in number of satellites and/or frequency of failures. In this paper, we propose a novel spare strategy using an inventory management approach. We consider a set of parking orbits at a lower altitude than the constellation for spare storage, and model satellite constellation spare strategy problem using a multi-echelon (s,Q)-type inventory policy, viewing Earth's ground as a supplier, parking orbits as warehouses, and in-plane spare stocks as retailers. This inventory model is unique in that the parking orbits (warehouses) drift away from the orbital planes over time due to orbital mechanics' effects, and the in-plane spare stocks (retailers) would receive the resupply from the closest (i.e., minimum waiting time) available warehouse at the time of delivery. The parking orbits (warehouses) are also resupplied from the ground (supplier) with stochastic lead time caused by the order processing and launch opportunities, leveraging the cost saving effects by launching many satellites in one rocket (i.e., batch launch discount). The proposed analytical model is validated against simulations using Latin Hypercube Sampling. Furthermore, based on the proposed model, an optimization formulation is introduced to identify the optimal spare strategy, comprising the parking orbits characteristics and all locations policies, to minimize the maintenance cost of the system given performance requirements. The proposed model and optimization method are applied to a real-world case study of satellite mega-constellation to demonstrate their value. △ Less

Submitted 5 June, 2019; v1 submitted 7 July, 2018; originally announced July 2018.

Comments: 32 pages, 7 figures, Published

Journal ref: Journal of Spacecraft and Rockets, Vol. 56, No. 5, pp. 1449-1461, 2019

On the modularity of elliptic curves over a composite field of some real quadratic fields

Authors: Sho Yoshikawa

Abstract: Let $K$ be a composite field of some real quadratic fields. We give a sufficient condition on $K$ such that all elliptic curves over $K$ is modular. Let $K$ be a composite field of some real quadratic fields. We give a sufficient condition on $K$ such that all elliptic curves over $K$ is modular. △ Less

Submitted 19 July, 2016; v1 submitted 19 July, 2016; originally announced July 2016.

Comments: 6 pages

Modularity of elliptic curves over abelian totally real fields unramified at 3, 5, and 7

Authors: Sho Yoshikawa

Abstract: This version improves the old version entitled "On the modularity of elliptic curves with a residually irreducible representation". Let $E$ be an elliptic curve over an abelian totally real field $K$ unramified at 3,5, and 7. We prove that $E$ is modular. This version improves the old version entitled "On the modularity of elliptic curves with a residually irreducible representation". Let $E$ be an elliptic curve over an abelian totally real field $K$ unramified at 3,5, and 7. We prove that $E$ is modular. △ Less

Submitted 26 July, 2016; v1 submitted 21 June, 2016; originally announced June 2016.

Comments: 7 pages. This version improves the old version entitled "On the modularity of elliptic curves with a residually irreducible representation"

Pathwise existence of solutions to the Implicit Euler method for the stochastic Cahn-Hilliard Equation

Authors: Daisuke Furihata, Fredrik Lindgren, Shuji Yoshikawa

Abstract: We consider the implicit Euler approximation of the stochastic Cahn-Hilliard equation driven by additive Gaussian noise in a spatial domain with smooth boundary in dimension $d\le 3$. We show pathwise existence and uniqueness of solutions for the method under a restriction on the step size that is independent of the size of the initial value and of the increments of the Wiener process. This result… ▽ More We consider the implicit Euler approximation of the stochastic Cahn-Hilliard equation driven by additive Gaussian noise in a spatial domain with smooth boundary in dimension $d\le 3$. We show pathwise existence and uniqueness of solutions for the method under a restriction on the step size that is independent of the size of the initial value and of the increments of the Wiener process. This result also relaxes the imposed assumption on the time step for the deterministic Cahn-Hilliard equation assumed in earlier existence proofs. △ Less

Submitted 27 January, 2016; originally announced January 2016.

Comments: 6 pages

MSC Class: 60H35; 35R60; 65J15

The 12-th roots of the discriminant of an elliptic curve and the torsion points

Authors: Kohei Fukuda, Sho Yoshikawa

Abstract: Given an elliptic curve over a field of characteristic different from 2,3, its discriminant defines a $μ_{12}$-torsor over the field. In this paper, we give an explicit description of this $μ_{12}$-torsor in terms of the 3-torsion points and of the 4-torsion points on the given elliptic curve. %In addition, we show that such a description involves the Weil pairing in a certain way. As an applicati… ▽ More Given an elliptic curve over a field of characteristic different from 2,3, its discriminant defines a $μ_{12}$-torsor over the field. In this paper, we give an explicit description of this $μ_{12}$-torsor in terms of the 3-torsion points and of the 4-torsion points on the given elliptic curve. %In addition, we show that such a description involves the Weil pairing in a certain way. As an application, we generalize a result of Coates on the 12-th root of the discriminant of an elliptic curve. △ Less

Submitted 22 March, 2015; originally announced March 2015.