-
Uniform boundedness and blow-up rate of solutions in non-scale-invariant superlinear heat equations
Authors:
Yohei Fujishima,
Toru Kan
Abstract:
For superlinear heat equations with the Dirichlet boundary condition, the $L^\infty$ estimates of radially symmetric solutions are studied. In particular, the uniform boundedness of global solutions and the non-existence of solutions with type II blow-up are proved. For the space dimension greater than $9$, our results are shown under the condition that an exponent representing the growth rate of…
▽ More
For superlinear heat equations with the Dirichlet boundary condition, the $L^\infty$ estimates of radially symmetric solutions are studied. In particular, the uniform boundedness of global solutions and the non-existence of solutions with type II blow-up are proved. For the space dimension greater than $9$, our results are shown under the condition that an exponent representing the growth rate of a nonlinear term is between the Sobolev exponent and the Joseph-Lundgren exponent. In the case where the space dimension is greater than $2$ and smaller than $10$, our results are applicable for nonlinear terms growing extremely faster than the exponential function.
△ Less
Submitted 29 December, 2024;
originally announced December 2024.
-
Existence of traveling wave solutions in continuous OV models
Authors:
Kota Ikeda,
Toru Kan,
Toshiyuki Ogawa
Abstract:
In traffic flow, self-organized wave propagation, which characterizes congestion, has been reproduced in macroscopic and microscopic models. Hydrodynamic models, a subset of macroscopic models, can be derived from microscopic-level car-following models, and the relationship between these models has been investigated. However, most validations have relied on numerical methods and formal analyses; t…
▽ More
In traffic flow, self-organized wave propagation, which characterizes congestion, has been reproduced in macroscopic and microscopic models. Hydrodynamic models, a subset of macroscopic models, can be derived from microscopic-level car-following models, and the relationship between these models has been investigated. However, most validations have relied on numerical methods and formal analyses; therefore, analytical approaches are necessary to rigorously ensure their validity. This study aims to investigate the relationship between macroscopic and microscopic models based on the properties of the solutions corresponding to congestion with sparse and dense waves. Specifically, we demonstrate the existence of traveling wave solutions in macroscopic models and investigate their properties.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
The interior Backus problem: local resolution in Hölder spaces
Authors:
Toru Kan,
Rolando Magnanini,
Michiaki Onodera
Abstract:
We prove an existence result for the Backus interior problem in the Euclidean ball. The problem consists in determining a harmonic function in the ball from the knowledge of the modulus of its gradient on the boundary. The problem is severely nonlinear. From a physical point of view, the problem can be interpreted as the determination of the velocity potential of an incompressible and irrotational…
▽ More
We prove an existence result for the Backus interior problem in the Euclidean ball. The problem consists in determining a harmonic function in the ball from the knowledge of the modulus of its gradient on the boundary. The problem is severely nonlinear. From a physical point of view, the problem can be interpreted as the determination of the velocity potential of an incompressible and irrotational fluid inside the ball from measurements of the velocity field's modulus on the boundary. The linearized problem is an irregular oblique derivative problem, for which a phenomenon of loss of derivatives occurs. As a consequence, a solution by linearization of the Backus problem becomes problematic. Here, we linearize the problem around the vertical height solution and show that the loss of derivatives does not occur for solutions which are either (vertically) axially symmetric or oddly symmetric in the vertical direction. A standard fixed point argument is then feasible, based on ad hoc weighted estimates in Hölder spaces.
△ Less
Submitted 27 August, 2023; v1 submitted 1 December, 2022;
originally announced December 2022.
-
Secondary bifurcations in semilinear ordinary differential equations
Authors:
Toru Kan
Abstract:
We consider the Neumann problem for the equation $u_{xx}+λf(u)=0$ in the punctured interval $(-1,1) \setminus \{0\}$, where $λ>0$ is a bifurcation parameter and $f(u)=u-u^3$. At $x=0$, we impose the conditions $u(-0)+au_x(-0)=u(+0)-au_x(+0)$ and $u_x(-0)=u_x(+0)$ for a constant $a>0$ (the symbols $+0$ and $-0$ stand for one-sided limits). The problem appears as a limiting equation for a semilinear…
▽ More
We consider the Neumann problem for the equation $u_{xx}+λf(u)=0$ in the punctured interval $(-1,1) \setminus \{0\}$, where $λ>0$ is a bifurcation parameter and $f(u)=u-u^3$. At $x=0$, we impose the conditions $u(-0)+au_x(-0)=u(+0)-au_x(+0)$ and $u_x(-0)=u_x(+0)$ for a constant $a>0$ (the symbols $+0$ and $-0$ stand for one-sided limits). The problem appears as a limiting equation for a semilinear elliptic equation in a higher dimensional domain shrinking to the interval $(-1,1)$. First we prove that odd solutions and even solutions form families of branches $\{ \mathcal{C}^o_k\}_{k \in \mathbb{N}}$ and $\{ \mathcal{C}^e_k\}_{k \in \mathbb{N}}$, respectively. Both $\mathcal{C}^o_k$ and $\mathcal{C}^e_k$ bifurcate from the trivial solution $u=0$. We then show that $\mathcal{C}^e_k$ contains no other bifurcation point, while $\mathcal{C}^o_k$ contains two points where secondary bifurcations occur. Finally we determine the Morse index of solutions on the branches. General conditions on $f(u)$ for the same assertions to hold are also given.
△ Less
Submitted 7 March, 2022;
originally announced March 2022.
-
Backus problem in geophysics: a resolution near the dipole in fractional Sobolev spaces
Authors:
Toru Kan,
Rolando Magnanini,
Michiaki Onodera
Abstract:
We consider Backus's problem in geophysics. This consists in reconstructing a harmonic potential outside the Earth when the intensity of the related field is measured on the Earth's surface. Thus, the boundary condition is (severely) nonlinear. The gravitational case is quite understood. It consists in the local resolution near a monopole, i.e. the potential generated by a point mass. In this pape…
▽ More
We consider Backus's problem in geophysics. This consists in reconstructing a harmonic potential outside the Earth when the intensity of the related field is measured on the Earth's surface. Thus, the boundary condition is (severely) nonlinear. The gravitational case is quite understood. It consists in the local resolution near a monopole, i.e. the potential generated by a point mass. In this paper, we consider the geomagnetic case. This consists in linearizing the field's intensity near the so-called dipole, a harmonic function which models the solenoidal potential of a magnet. The problem is quite difficult, because the resolving operator related to the linearized problem is generally unbounded. Indeed, existence results for Backus's problem in this framework are not present in the literature. In this work, we locally solve the geomagnetic version of Backus's problem in the axially symmetric case. In mathematical terms, we show the existence of harmonic functions in the exterior of a sphere, with given (boundary) field's intensity sufficiently close to that of a dipole and which have the same axial symmetry of a dipole. We also show that unique solutions can be selected by prescribing the average of the potential on the equatorial circle of the sphere. We obtain those solutions as series of spherical harmonics. The functional framework entails the use of fractional Sobolev Hilbert spaces on the sphere, endowed with a spectral norm. A crucial ingredient is the algebra structure of suitable subspaces.
△ Less
Submitted 26 August, 2021;
originally announced August 2021.
-
Time-periodic flows of electrons and holes in semiconductor devices
Authors:
Toru Kan,
Masahiro Suzuki
Abstract:
The main purpose of this paper is mathematical analysis on time-periodic flows of electrons and holes in semiconductors. The flows appear in a situation that alternating-current voltages are applied to devices. In this paper, we study the drift-diffusion model for semiconductors in a three-dimensional bounded domain and investigate the existence and stability of time-periodic solutions. We first d…
▽ More
The main purpose of this paper is mathematical analysis on time-periodic flows of electrons and holes in semiconductors. The flows appear in a situation that alternating-current voltages are applied to devices. In this paper, we study the drift-diffusion model for semiconductors in a three-dimensional bounded domain and investigate the existence and stability of time-periodic solutions. We first derive the uniform-in-time estimate of time-global solutions, and then prove by the relative entropy method that the difference of any two solutions decays exponentially fast as time tends to infinity. These facts enable us to show the unique existence and global stability of time-periodic solution.
△ Less
Submitted 4 October, 2021; v1 submitted 17 February, 2020;
originally announced February 2020.
-
Improved Lower Bounds for Kissing Numbers in Dimensions 25 Through 31
Authors:
Kenz Kallal,
Tomoka Kan,
Eric Wang
Abstract:
The best previous lower bounds for kissing numbers in dimensions 25 through 31 were constructed using a set $S$ with $|S| = 480$ of minimal vectors of the Leech Lattice, $Λ_{24}$, such that $\langle x, y \rangle \leq 1$ for any distinct $x, y \in S$. Then, a probabilistic argument based on applying automorphisms of $Λ_{24}$ gives more disjoint sets $S_i$ of minimal vectors of $Λ_{24}$ with the sam…
▽ More
The best previous lower bounds for kissing numbers in dimensions 25 through 31 were constructed using a set $S$ with $|S| = 480$ of minimal vectors of the Leech Lattice, $Λ_{24}$, such that $\langle x, y \rangle \leq 1$ for any distinct $x, y \in S$. Then, a probabilistic argument based on applying automorphisms of $Λ_{24}$ gives more disjoint sets $S_i$ of minimal vectors of $Λ_{24}$ with the same property. Cohn, Jiao, Kumar, and Torquato proved that these subsets give kissing configurations in dimensions 25 through 31 of given size linear in the sizes of the subsets. We achieve $|S| = 488$ by applying simulated annealing. We also improve the aforementioned probabilistic argument in the general case. Finally, we greedily construct even larger $S_i$'s given our $S$ of size $488$, giving increased lower bounds on kissing numbers in $\mathbb{R}^{25}$ through $\mathbb{R}^{31}$.
△ Less
Submitted 25 August, 2016;
originally announced August 2016.
