Variational method for fractional Hamiltonian system in bounded domain

Weimin Zhang
2024-08-18
Abstract:Here we consider the following fractional Hamiltonian system \begin{equation*} \begin{cases} \begin{aligned} (-\Delta)^{s} u&=H_v(u,v) \;\;&&\text{in}~\Omega,\\ (-\Delta)^{s} v&=H_u(u,v) &&\text{in}~\Omega,\\ u &= v = 0 &&\text{in} ~ \mathbb{R}^N\setminus\Omega, \end{aligned} \end{cases} \end{equation*} where $s\in (0,1)$, $N>2s$, $H \in C^1(\mathbb{R}^2, \mathbb{R})$ and $\Omega \subset \mathbb{R}^N$ is a smooth bounded domain. %As the problem remains unchanged if $H(u, v)$ is replaced by $H(u, v)-H(0, 0)$, hence we always assume $H(0,0)=0$. To apply the variational method for this problem, the key question is to find a suitable functional setting. Instead of usual fractional Sobolev spaces, we use the solutions space of $(-\Delta)^{s}u=f\in L^r(\Omega)$ for $r\ge 1$, for which we show the (compact) embedding properties. When $H$ has subcritical and superlinear growth, we construct two frameworks, respectively with interpolation space method and dual method, to show the existence of nontrivial solution. As byproduct, we revisit the fractional Lane-Emden system, i.e. $H(u, v)=\frac{1}{p+1}|u|^{p+1}+\frac{1}{q+1}|v|^{q+1}$, and consider the existence, uniqueness of (radial) positive solutions under subcritical assumption.
Analysis of PDEs
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the existence of solutions of fractional - order Hamiltonian systems in bounded regions. Specifically, the paper considers the following fractional - order Hamiltonian system: \[ \begin{cases} (-\Delta)^s u = H_v(u, v) & \text{in } \Omega, \\ (-\Delta)^s v = H_u(u, v) & \text{in } \Omega, \\ u = v = 0 & \text{in } \mathbb{R}^N \setminus \Omega, \end{cases} \] where \( s\in(0, 1) \), \( N > 2s \), \( H\in C^1(\mathbb{R}^2,\mathbb{R}) \) and \( \Omega\subset\mathbb{R}^N \) is a smooth bounded region. In order to apply the variational method to solve this problem, the key lies in finding an appropriate function space setting. The paper proposes two frameworks to prove the existence of non - trivial solutions: 1. **Interpolation space method**: Use the interpolation space \( E_\alpha \) and the duality method to deal with the nonlinear term \( H \) with sub - critical and super - linear growth. 2. **Duality method**: Use the duality method and the Legendre - Fenchel transform to construct the energy functional and verify its differentiability and Palais - Smale condition. Through these methods, the paper proves that under certain conditions, this fractional - order Hamiltonian system has non - trivial classical solutions. Specific conditions include the sub - critical and super - linear growth properties of \( H \), as well as some technical assumptions, such as the Ambrosetti - Rabinowitz condition, etc. In addition, the paper also re - examines the fractional - order Lane - Emden system, that is, \( H(u, v)=\frac{1}{p + 1}|u|^{p+1}+\frac{1}{q+1}|v|^{q+1} \), and discusses the existence and uniqueness of positive solutions.