SearcharxivSearch

arXiv subjects

Kazunaga Tanaka

Publications and source records attributed to Kazunaga Tanaka.

15 recordsLinked to original sources

A Lagrangian approach for prescribed mass solutions of cubic-quintic Schrödinger equations and $L^2$-supercritical problems

We study the existence of radially symmetric solutions of the following nonlinear scalar field equations in $\mathbb R^N$ ($N \geq 2$): $$ (*)_m \quad - Δu + μu = g(u) \quad \text{in}\ {\mathbb R}^N, \quad {1\over 2} \int_{{\mathbb R}^N} u^2\, dx = m,$$ where $g(s) \in C({\mathbb R},{\mathbb R})$, $m > 0$ and $μ\in {\mathbb R}$ is an unknown Lagrangian multiplier. We take an approach using a Lagrangian formulation of $(*)_m$: $$J_m(μ,u)={1\over 2}\int_{{\mathbb R}^N} |\nabla u|^2\,dx -\int_{{\mathbb R}^N} G(u)\,dx +μ\left({1\over 2}\int_{{\mathbb R}^N} u^2\, dx-m\right) \in C^1((0,\infty)\times H_r^1({\mathbb R}^N), {\mathbb R})$$ and we give new general existence results through the function: $$ b_m:\, (0,\infty) \to {\mathbb R};\ μ\mapsto \text{Mountain Pass minimax value for}\ (u\mapsto J_m(μ,u)).$$ We will show the existence of solutions of $(*)_m$ related to local minima and local maxima of $b_m(μ)$. As applications, we study cubic-quintic type equations and $L^2$-supercritical problems. In particular, when $N=2,3$, we show new existence results of normalized solutions without assuming global Ambrosetti-Rabinowitz type conditions, which partially improve the preceding results due to Jeanjean [24] and Jeanjean-Lu [26, 28].

math.AP

Normalized ground states for NLS equations with mass critical nonlinearities

We study normalized solutions $(μ,u)\in \mathbb{R} \times H^1(\mathbb{R}^N)$ to nonlinear Schrödinger equations $$ -Δu + μu = g(u)\quad \hbox{in}\ \mathbb{R}^N, \qquad \frac{1}{2}\int_{\mathbb{R}^N} u^2 dx = m, $$ where $N\geq 2$ and the mass $m>0$ is given. Here $g$ has an $L^2$-critical growth, both at the origin and at infinity, that is $g(s)\sim |s|^{p-1}s$ as $s\sim 0$ and $s\sim\infty$, where $p=1+\frac{4}{N}$. We continue the analysis started in [Cingolani-Gallo-Ikoma-Tanaka, 2024], where we found two (possibly distinct) minimax values $\underline{b} \leq 0 \leq \overline{b}$ of the Lagrangian functional. In this paper we furnish explicit examples of $g$ satisfying $\underline{b}<0<\overline{b}$, $\underline{b}=0<\overline{b}$ and $\underline{b}<0=\overline{b}$; notice that $\underline{b}=0=\overline{b}$ in the power case $g(t)=|t|^{p-1}t$. Moreover, we deal with the existence and non-existence of a solution with minimal energy. Finally, we discuss the assumptions required on $g$ to obtain the existence of a positive solution for perturbations of $g$.

math.AP

Normalized solutions for nonlinear Schrödinger equations with $L^2$-critical nonlinearity

We study the following nonlinear Schrödinger equation and we look for normalized solutions $(μ,u)\in {\bf R}\times H^1({\bf R}^N)$ for a given $m>0$ and $N\geq 2$ \[ -Δu + μu = g(u)\quad \text{in}\ {\bf R}^N, \qquad \frac{1}{2}\int_{{\bf R}^N} u^2 dx = m. \] We assume that $g$ has an $L^2$-critical growth, both at the origin and at infinity. That is, for $p=1+\frac{4}{N}$, $g(s)=|s|^{p-1}s +h(s)$, $h(s)=o(|s|^p)$ as $s\sim 0$ and $s\sim\infty$. The $L^2$-critical exponent $p$ is very special for this problem; in the power case $g(s) = |s|^{p-1}s$ a solution exists only for the specific mass $m=m_1$, where $m_1=\frac{1}{2}\int_{{\bf R}^N}ω_1^2\, dx$ is the mass of a least energy solution $ω_1$ of $-Δω+ω=ω^p$ in ${\bf R}^N$. We prove the existence of a positive solution for $m=m_1$ when $h$ has a sublinear growth at infinity, i.e., $h(s)=o(s)$ as $s\sim\infty$. In contrast, we show non-existence results for $h(s)\not=o(s)$ ($s\sim 0$) under a suitable monotonicity condition.

math.AP

Infinitely many free or prescribed mass solutions for fractional Hartree equations and Pohozaev identities

In this paper we study the following nonlinear fractional Choquard-Pekar equation \begin{equation}\label{eq_abstract} (-Δ)^s u + μu =(I_α*F(u)) F'(u) \quad \hbox{in}\ \mathbb{R}^N, \tag{$*$} \end{equation} where $μ>0$, $s \in (0,1)$, $N \geq 2$, $α\in (0,N)$, $I_α\sim \frac{1}{|x|^{N-α}}$ is the Riesz potential, and $F$ is a general subcritical nonlinearity. The goal is to prove existence of multiple (radially symmetric) solutions $u \in H^s(\mathbb{R}^N)$, by assuming $F$ odd or even: we consider both the case $μ>0$ fixed and the case $\int_{\mathbb{R}^N} u^2 =m>0$ prescribed. Here we also simplify some arguments developed for $s=1$ in [Calc. Var. PDEs, 2022]. A key point in the proof is given by the research of suitable multidimensional odd paths, which was done in the local case by Berestycki and Lions [ARMA, 1983]; for \eqref{eq_abstract} the nonlocalities play indeed a special role. In particular, some properties of these paths are needed in the asymptotic study (as $μ$ varies) of the mountain pass values of the unconstrained problem, then exploited to describe the geometry of the constrained problem and detect infinitely many normalized solutions for any $m>0$. The found solutions satisfy in addition a Pohozaev identity: in this paper we further investigate the validity of this identity for solutions of doubly nonlocal equations under a $C^1$-regularity.

math.AP

On fractional Schrödinger equations with Hartree type nonlinearities

Goal of this paper is to study the following doubly nonlocal equation \begin{equation}\label{eq_abstract} (- Δ)^s u + μu = (I_α*F(u))F'(u) \quad \hbox{in $\mathbb{R}^N$} \tag{P} \end{equation} in the case of general nonlinearities $F \in C^1(\mathbb{R})$ of Berestycki-Lions type, when $N \geq 2$ and $μ>0$ is fixed. Here $(-Δ)^s$, $s \in (0,1)$, denotes the fractional Laplacian, while the Hartree-type term is given by convolution with the Riesz potential $I_α$, $α\in (0,N)$. We prove existence of ground states of \eqref{eq_abstract}. Furthermore we obtain regularity and asymptotic decay of general solutions, extending some results contained in [25, 65].

math.AP

Normalized solutions for fractional nonlinear scalar field equations via Lagrangian formulation

We study existence of solutions for the fractional problem \begin{equation*} (P_m) \quad \left \{ \begin{aligned} (-Δ)^{s} u + μu &=g(u) & \; \text{in $\mathbb{R}^N$}, \cr \int_{\mathbb{R}^N} u^2 dx &= m, & \cr u \in H^s_r&(\mathbb{R}^N), & \end{aligned} \right. \label{problemx} \end{equation*} where $N\geq 2$, $s\in (0,1)$, $m>0$, $μ$ is an unknown Lagrange multiplier and $g \in C(\mathbb{R}, \mathbb{R})$ satisfies Berestycki-Lions type conditions. Using a Lagrange formulation of the problem $(P_m)$, we prove the existence of a weak solution with prescribed mass when $g$ has $L^2$ subcritical growth. The approach relies on the construction of a minimax structure, by means of a Pohozaev's mountain in a product space and some deformation arguments under a new version of the Palais-Smale condition introduced in [21,25]. A multiplicity result of infinitely many normalized solutions is also obtained if $g$ is odd.

math.AP

A note on deformation argument for $L^2$ constraint problem

We study the existence of $L^2$ normalized solutions for nonlinear Schrödinger equations and systems. Under new Palais-Smale type conditions we develop new deformation arguments for the constraint functional on $S_m=\{ u; \, \int_{\mathbf{R}^N} | u |^2=m\}$ or $S_{m_1} \times S_{m_2}$. As applications, we give other proofs to the results of [\cite[J:20], \cite[BdV:6], \cite[BS1:7]]. As to the results of [\cite[J:20], \cite[BdV:6]], our deformation result enables us to apply the genus theory directly to the corresponding functional to obtain infinitely many solutions. As to the result [\cite[BS1:7]], via our deformation result we can show the existence of vector solution without using constraint related to the Pohozaev identity.

math.AP

Nonlinear scalar field equations with $L^2$ constraint: Mountain pass and symmetric mountain pass approaches

We study the existence of radially symmetric solutions of the following nonlinear scalar field equations in ${\mathbb R}^N$ ($N\geq 2$): $$ (*)_m \left\{ \eqalign{ -&Δu = g(u) -μu \quad \hbox{in}\ {\mathbb R}^N, \cr &\| u\|_{L^2({\mathbb R}^N)} = m, \cr &u \in H^1({\mathbb R}^N), \cr} \right. $$ where $g(ξ)\in C({\mathbb R},{\mathbb R})$, $m>0$ is a given constant and $μ\in {\mathbb R}$ is a Lagrange multiplier. We introduce a new approach using a Lagrange formulation of the problem $(*)_m$. We develop a new deformation argument under a new version of the Palais-Smale condition. For a general class of nonlinearities related to [BL1, BL2, HIT], it enables us to apply minimax argument for $L^2$ constraint problems and we show the existence of infinitely many solutions as well as mountain pass characterization of a minimizing solution of the problem: $$ \inf\left\{ \int_{{\mathbb R}^N} {1\over 2}|\nabla u|^2 - G(u)\, dx;\, \| u\|_{L^2({\mathbb R}^N)}^2 = m \right\}, \quad G(ξ)=\int_0^ξg(τ)\, dτ. $$

math.AP

Semi-classical states for the nonlinear Choquard equations: existence, multiplicity and concentration at a potential well

We study existence and multiplicity of semi-classical states for the nonlinear Choquard equation: $$ -\varepsilon^2Δv+V(x)v = \frac{1}{\varepsilon^α}(I_α*F(v))f(v) \quad \hbox{in}\ \mathbb{R}^N, $$ where $N\geq 3$, $α\in (0,N)$, $I_α(x)={A_α\over |x|^{N-α}}$ is the Riesz potential, $F\in C^1(\mathbb{R},\mathbb{R})$, $F'(s) = f(s)$ and $\varepsilon>0$ is a small parameter. We develop a new variational approach and we show the existence of a family of solutions concentrating, as $\varepsilon\to 0$, to a local minima of $V(x)$ under general conditions on $F(s)$. Our result is new also for $f(s)=|s|^{p-2}s$ and applicable for $p\in (\frac{N+α}{N}, \frac{N+α}{N-2})$. Especially, we can give the existence result for locally sublinear case $p\in (\frac{N+α}{N}, 2)$, which gives a positive answer to an open problem arisen in recent works of Moroz and Van Schaftingen. We also study the multiplicity of positive single-peak solutions and we show the existence of at least $\hbox{cupl}(K)+1$ solutions concentrating around $K$ as $\varepsilon\to 0$, where $K\subset Ω$ is the set of minima of $V(x)$ in a bounded potential well $Ω$, that is, $m_0 \equiv \inf_{x\in Ω} V(x) < \inf_{x\in \partialΩ}V(x)$ and $K=\{x\inΩ;\, V(x)=m_0\}$.

math.AP

Remarks on the Clark theorem

The Clark theorem is important in critical point theory. For a class of even functionals it ensures the existence of infinitely many negative critical values converging to $0$ and it has important applications to sublinear elliptic problems. We study the convergence of the corresponding critical points and we give a characterization of accumulation points of critical points together with examples, in which critical points with negative critical values converges to non-zero critical point. Our results improve the abstract results in Kajikiya [Ka1] and Liu-Wang [LW].

math.AP

Multi-bump solutions for logarithmic Schrödinger equations

We study spatially periodic logarithmic Schrödinger equations: \begin{equation}\tag{LS} -Δu + V(x)u=Q(x)u\log u^2, \quad u>0\quad \text{in}\ \mathbb{R}^N, \end{equation} where $N\geq 1$ and $V(x)$, $Q(x)$ are spatially $1$-periodic functions of class $C^1$. We take an approach using spatially $2L$-periodic problems ($L\gg 1$) and we show the existence of infinitely many multi-bump solutions of $(LS)$ which are distinct under $\mathbb{Z}^N$-action.

math.AP

Multiple complex-valued solutions for nonlinear magnetic Schrodinger equations

We study, in the semiclassical limit, the singularly perturbed nonlinear Schrödinger equations $$ L^{\hbar}_{A,V} u = f(|u|^2)u \quad \mbox{in } R^N $$ where $N \geq 3$, $L^{\hbar}_{A,V}$ is the Schrödinger operator with a magnetic field having source in a $C^1$ vector potential $A$ and a scalar continuous (electric) potential $V$ defined by \begin{equation} L^{\hbar}_{A,V}= -\hbar^2 Δ-\frac{2\hbar}{i} A \cdot \nabla + |A|^2- \frac{\hbar}{i}\operatorname{div}A + V(x). \end{equation} Here $f$ is a nonlinear term which satisfies the so-called Berestycki-Lions conditions. We assume that there exists a bounded domain $Ω\subset R^N$ such that \[ m_0 \equiv \inf_{x \in Ω} V(x) < \inf_{x \in \partial Ω} V(x) \] and we set $K = \{ x \in Ω\ | \ V(x) = m_0\}$. For $\hbar >0$ small we prove the existence of at least $cuplenght(K) + 1$ geometrically distinct, complex-valued solutions whose modula concentrate around $K$ as $\hbar \to 0$.

math.AP

Continuum of solutions for an elliptic problem with critical growth in the gradient

We consider the boundary value problem \begin{equation*} - Δu = λc(x)u+ μ(x) |\nabla u|^2 + h(x), \quad u \in H^1_0(Ω) \cap L^{\infty}(Ω) \eqno{(P_λ)} \end{equation*} where $Ω\subset \R^N, N \geq 3$ is a bounded domain with smooth boundary. It is assumed that $c\gneqq 0$, $c,h$ belong to $L^p(Ω)$ for some $p > N/2$ and that $μ\in L^{\infty}(Ω).$ We explicit a condition which guarantees the existence of a unique solution of $(P_λ)$ when $λ<0$ and we show that these solutions belong to a continuum. The behaviour of the continuum depends in an essential way on the existence of a solution of $(P_0)$. It crosses the axis $λ=0$ if $(P_0)$ has a solution, otherwise if bifurcates from infinity at the left of the axis $λ=0$. Assuming that $(P_0)$ has a solution and strenghtening our assumptions to $μ(x)\geq μ_1>0$ and $h\gneqq 0$, we show that the continuum bifurcates from infinity on the right of the axis $λ=0$ and this implies, in particular, the existence of two solutions for any $λ>0$ sufficiently small.

math.AP

Remarks on the uniqueness for quasilinear elliptic equations with quadratic growth conditions

In this note we present some uniqueness and comparison results for a class of problem of the form \begin{equation} \label{EE0} \begin{array}{c} - L u = H(x,u,\nabla u)+ h(x), \quad u \in H^1_0(Ω) \cap L^{\infty}(Ω), \end{array} \end{equation} where $Ω\subset \R^N$, $N \geq 2$ is a bounded domain, $L$ is a general elliptic second order linear operator with bounded coefficients and $H$ is allowed to have a critical growth in the gradient. In some cases our assumptions prove to be sharp.

math.AP

Multiplicity of positive solutions of nonlinear Schrödinger équations concentrating at a potential well

We consider singularly perturbed nonlinear Schrödinger equations \be \label{eq:0.1} - \varepsilon^2 Δu + V(x)u = f(u), \ \ u > 0, \ \ v \in H^1(\R^N) \ee where $V \in C(\R^N, \R)$ and $f$ is a nonlinear term which satisfies the so-called Berestycki-Lions conditions. We assume that there exists a bounded domain $Ω\subset \R^N$ such that \[m_0 \equiv \inf_{x \in Ω} V(x) < \inf_{x \in \partial Ω} V(x) \] and we set $K = \{x \in Ω\ | \ V(x) = m_0\}$. For $\e >0$ small we prove the existence of at least ${\cuplength}(K) + 1$ solutions to (\ref{eq:0.1}) concentrating, as $\e \to 0$ around $K$. We remark that, under our assumptions of $f$, the search of solutions to (\ref{eq:0.1}) cannot be reduced to the study of the critical points of a functional restricted to a Nehari manifold.

math.AP