Analysis of PDEs (math.AP)

Abstract: In this note, we extend the detailed study of the linearized dynamics obtained for cnoidal waves of the Korteweg--de Vries equation in \cite{JFA-R} to small-amplitude periodic traveling waves of the generalized Korteweg-de Vries equations that are not subject to Benjamin--Feir instability. With the adapted notion of stability, this provides for such waves, global-in-time bounded stability in any Sobolev space, and asymptotic stability of dispersive type. When doing so, we actually prove that such results also hold for waves of arbitrary amplitude satisfying a form of spectral stability designated here as dispersive spectral stability.

Abstract: This work considers the Neumann eigenvalue problem for the weighted Laplacian on a Riemannian manifold $(M,g,\partial M)$ under the singular perturbation. This perturbation involves the imposition of vanishing Dirichlet boundary conditions on a small portion of the boundary. We derive a sharp asymptotic of the perturbed eigenvalues, as the Dirichlet part shrinks to a point $x^*\in \partial M$, in terms of the spectral parameters of the unperturbed system. This asymptotic demonstrates the impact of the geometric properties of the manifold at a specific point $x^*$. Furthermore, it becomes evident that the shape of the Dirichlet region holds significance as it impacts the first terms of the asymptotic. A crucial part of this work is the construction of the singularity structure of the restricted Neumann Green's function which may be of independent interest. We employ a fusion of layer potential techniques and pseudo-differential operators during this work.

Abstract: We consider the Vlasov--Poisson system both in the repulsive (electrostatic potential) and in the attractive (gravitational potential) cases. In our first main theorem, we prove the uniqueness and the quantitative stability of Lagrangian solutions $f=f(t,x,v)$ whose associated spatial density $\rho_f=\rho_f(t,x)$ is potentially unbounded but belongs to suitable uniformly-localized Yudovich spaces. This requirement imposes a condition of slow growth on the function $p \mapsto \|\rho_f(t,\cdot)\|_{L^p}$ uniformly in time. Previous works by Loeper, Miot and Holding--Miot have addressed the cases of bounded spatial density, i.e., $\|\rho_f(t,\cdot)\|_{L^p} \lesssim 1$, and spatial density such that $\|\rho_f(t,\cdot)\|_{L^p} \sim p^{1/\alpha}$ for $\alpha\in[1,+\infty)$. Our approach is Lagrangian and relies on an explicit estimate of the modulus of continuity of the electric field and on a second-order Osgood lemma. It also allows for iterated-logarithmic perturbations of the linear growth condition. In our second main theorem, we complement the aforementioned result by constructing solutions whose spatial density sharply satisfies such iterated-logarithmic growth. Our approach relies on real-variable techniques and extends the strategy developed for the Euler equations by the first and fourth-named authors. It also allows for the treatment of more general equations that share the same structure as the Vlasov--Poisson system. Notably, the uniqueness result and the stability estimates hold for both the classical and the relativistic Vlasov--Poisson systems.

Abstract: For the wave and the Schr\"odinger equations we show how observability can be deduced from the observability of solutions localized in frequency according to a dyadic scale.

Abstract: The first target of this article is the local well-posedness question for 1D quasilinear Schr\"odinger equations with cubic nonlinearities. The study of this class of problems, in all dimensions, was initiated in pioneering work of Kenig-Ponce-Vega for localized initial data, and then continued by Marzuola-Metcalfe-Tataru for initial data in Sobolev spaces. Our objective here is to fully redevelop the study of this problem in the 1D case, and to prove a \emph{sharp local well-posedness} result. The second goal of this article is to consider the long time/global existence of solutions for the same problem. This is motivated by a broad conjecture formulated by the authors in earlier work, which reads as follows: ``\emph{Cubic defocusing dispersive one dimensional flows with small initial data have global dispersive solutions}''; the conjecture was initially proved for a well chosen semilinear model of Schr\"odinger type. Our work here establishes the above conjecture for 1D quasilinear Schr\"{o}dinger flows. Precisely, we show that if the problem has \emph{phase rotation symmetry} and is \emph{conservative and defocusing}, then small data in Sobolev spaces yields global, scattering solutions. This is the first result of this type for 1D quasilinear dispersive flows. Furthermore, we prove it at the minimal Sobolev regularity in our local well-posedness result. The defocusing condition is essential in our global result. Without it, the authors have conjectured that \emph{small, $\epsilon$ size data yields long time solutions on the $\epsilon^{-8}$ time-scale}. A third goal of this paper is to also prove this second conjecture for 1D quasilinear Schr\"{o}dinger flows.

Abstract: We prove boundedness results on modulation and Wiener amalgam spaces concerning some spectral multipliers for the twisted Laplacian. Techniques of pseudo-differential calculus are inhibited due to the lack of global ellipticity of the special Hermite operator, therefore a phase space approach must rely on different pathways. In particular, we exploit the metaplectic equivalence relating the twisted Laplacian with a partial harmonic oscillator, leading to a general transference principle for spectral multipliers. We focus on a wide class of oscillating multipliers, including fractional powers of the twisted Laplacian and the corresponding dispersive flows of Schr\"odinger and wave type. On the other hand, elaborating on the twisted convolution structure of the eigenprojections and its connection with the Weyl product of symbols, we obtain a complete picture of the boundedness of the heat flow for the twisted Laplacian. Results of the same kind are established for fractional heat flows via subordination.

Abstract: In this paper, we mainly study the propagation properties of a nonlocal dispersal predator-prey system in a shifting environment. It is known that Choi et al. [J. Differ. Equ. 302 (2021), pp. 807-853] studied the persistence or extinction of the prey and the predator separately in various moving frames. In particular, they achieved a complete picture in the local diffusion case. However, the question of the persistence of the prey and the predator in some intermediate moving frames in the nonlocal diffusion case is left open in Choi et al.'s paper. By using some prior estimates, the Arzela-Ascoli theorem and a diagonal extraction process, we can extend and improve the main results of Choi et al. to achieve a complete picture in the nonlocal diffusion case.

Abstract: We consider the following slightly supercritical problem for the Lane-Emden system with Neumann boundary conditions: \begin{equation*} \begin{cases} -\Delta u_1=|u_2|^{p_\epsilon-1}u_2,\ &in\ \Omega,\\ -\Delta u_2=|u_1|^{q_\epsilon-1}u_1, \ &in\ \Omega,\\ \partial_\nu u_1=\partial_\nu u_2=0,\ &on\ \partial\Omega \end{cases} \end{equation*} where $\Omega=B_1(0)$ is the unit ball in $\mathbb{R}^n$ ($n\geq4$) centered at the origin, $p_\epsilon=p+\alpha\epsilon, q_\epsilon=q+\beta\epsilon$ with $\alpha,\beta>0$ and $\frac1{p+1}+\frac1{q+1}=\frac{n-2}n$. We show the existence and multiplicity of concentrated solutions based on the Lyapunov-Schmidt reduction argument incorporating the zero-average condition by certain symmetries. It is worth noting that we simultaneously consider two cases: $p>\frac n{n-2}$ and $p<\frac n{n-2}$. The coupling mechanisms of the system are completely different in these different cases, leading to significant changes in the behavior of the solutions. The research challenges also vary. Currently, there are very few papers that take both ranges into account when considering solution construction. Therefore, this is also the main feature and new ingredient of our work.

Abstract: In this paper, a ratio-dependent Holling-Tanner system with nonlocal diffusion is taken into account, where the prey is subject to a strong Allee effect. To be special, by applying Schauder's fixed point theorem and iterative technique, we provide a general theory on the existence of traveling waves for such system. Then appropriate upper and lower solutions and a novel sequence, similar to squeeze method, are constructed to demonstrate the existence of traveling waves for c>c*. Moreover, the existence of traveling wave for c=c* is also established by spreading speed theory and comparison principle. Finally, the nonexistence of traveling waves for c<c* is investigated, and the minimal wave speed then is determined.

Abstract: An extended multi-class Aw-Rascle (AR) model with pressure term described as a function of area occupancy defined in form of proportional densities is presented. Two vehicle classes that is; cars and motorcycles are considered based on an assumption that proportions of these form total traffic density. Qualitative properties of the proposed equilibrium velocity is established. Conditions under which the proposed model is stable are determine by linear stability analysis. To compute numerical flux, the model is discretized by the original Roe decomposition scheme, where Roe matrix, averaged data variables and wave strengths are explicitly derived. The Roe matrix is shown to be hyperbolic, consistent and conservative. From the numerical results, the effect of motorcycles proportion on the flow of vehicle classes is determined. Results obtained remain within limits therefore, the proposed model is realistic.

Abstract: The spreading phenomena in modified Leslie-Gower reaction-diffusion predator-prey systems are the topic of this paper. We mainly study the existence of two different types of traveling waves. Be specific, with the aid of the upper and lower solutions method, we establish the existence of traveling wave connecting the prey-present state and the coexistence state or the prey-present state and the prey-free state by constructing different and appropriate Lyapunov functions. Moreover, for traveling wave connecting the prey-present state and the prey-free state, we gain more monotonicity information on wave profile based on the asymptotic behavior at negative infinite. Finally, our results are applied to modified Leslie-Gower system with Holling II type or Lotka-Volterra type, and then a novel Lyapunov function is constructed for the latter, which further enhances our results. Meanwhile, some numerical simulations are carried to support our results.

Abstract: We establish the full justification of a "Whitham-Green-Naghdi" system modeling the propagation of surface gravity waves with bathymetry in the shallow water regime. It is an asymptotic model of the water waves equations with the same dispersion relation. The model under study is a nonlocal quasilinear symmetrizable hyperbolic system without surface tension. We prove the consistency of the general water waves equations with our system at the order of precision $O(\mu^2 (\varepsilon + \beta))$, where $\mu$ is the shallow water parameter, $\varepsilon$ the nonlinearity parameter, and $\beta$ the topography parameter. Then we prove the long time well-posedness on a time scale $O(\frac{1}{\max\{\varepsilon,\beta\}})$. Lastly, we show the convergence of the solutions of the Whitham-Green-Naghdi system to the ones of the water waves equations on the later time scale.

Abstract: In this paper, we provide a sufficient condition on successful invasion by the predator. Specially, we obtain the persistence of traveling wave solutions of predator-prey system, in which the predator can survive without the predation of the prey. This proof heavily depends on comparison principle of scalar monostable equation, the rescaling method and phase-plane analysis.

Abstract: We consider, for $h, E > 0$, resolvent estimates for the semiclassical Schr\"odinger operator $-h^2 \Delta + V - E$. The potential takes the form $V = V_L+ V_S$, where $V_L$ is a long range potential which is Lipschitz with respect to the radial variable, while $V_S = O(|x|^{-1} (\log |x|)^{-\rho})$ as $|x| \to \infty$ for some $\rho > 1$. Both $|V_L|$ and $|V_S|$ may behave like $|x|^{-\beta}$ as $|x| \to 0$, provided $0 \le \beta < 2(\sqrt{3} -1)$. We find that, as $h \to 0^+$, the resolvent bound is of the form $\exp(Ch^{-2} (\log(h^{-1}))^{1 + \rho})$ for some $C > 0$. The $h$-dependence of the bound improves if $V_S$ decays at a faster rate toward infinity.

Abstract: In this note we devise and analyze a well-posed variational formulation of the Neumann boundary value problem associated to the biharmonic operator $\Delta^2$.

Abstract: The coupling between the transport equation for the density and the Stokes equation is considered in a periodic channel. More precisely, the density is advected by pure transport by a velocity field given by the Stokes equation with source force coming from the gravity due to differences in the density. Dirichlet boundary conditions are taken for the velocity field on the bottom and top of the channel, and periodic conditions in the horizontal variable. We prove that the affine stratified density profile is stable under small perturbations in Sobolev spaces and prove convergence of the density to another limiting stratified density profile for large time with an explicit algebraic decay rate. Moreover, we are able to precisely identify the limiting profile as the decreasing vertical rearrangement of the initial density. Finally, we study boundary layers formation to precisely characterize the long-time behavior beyond the constant limiting profile and enlighten the optimal decay rate.

Abstract: We discuss inverse problems of determining the time-dependent source coefficient for a general class of subelliptic heat equations. We show that a single data at an observation point guarantees the existence of a (smooth) solution pair for the inverse problem. Moreover, additional data at the observation point implies an explicit formula for the time-dependent source coefficient. We also explore an inverse problem with nonlocal additional data, which seems a new approach even in the Laplacian case.

Abstract: We consider the following supercritical problem for the Lane-Emden system: \begin{equation}\label{eq00} \begin{cases} -\Delta u_1=|u_2|^{p-1}u_2\ &in\ D,\\ -\Delta u_2=|u_1|^{q-1}u_1 \ &in\ D,\\ u_1=u_2=0\ &on\ \partial D, \end{cases} \end{equation} where $D$ is a bounded smooth domain in $\mathbb R^N$, $N\geq4.$ What we mean by supercritical is that the exponent pair $(p,q)\in(1,\infty)\times(1,\infty)$ satisfies $\frac1{p+1}+\frac1{q+1}<\frac{N-2}N$. We prove that for some suitable domains $D\subset\mathbb R^N$, there exist positive solutions with layers concentrating along one or several $k$-dimensional sub-manifolds of $\partial D$ as $$\frac1{p+1}+\frac1{q+1}\rightarrow\frac{n-2}{n},\ \ \ \ \frac{n-2}{n}<\frac1{p+1}+\frac1{q+1}<\frac{N-2}N,$$ where $n:=N-k$ with $1\leq k\leq N-3$. By transforming the original problem into a lower $n$-dimensional weighted system, we carry out the reduction framework and apply the blow-up analysis. In this process, the properties of the ground state related to the limit problem make all the difference. The corresponding exponent pair $(p_0,q_0)$, which is the limit pair of $(p,q)$, is on the critical hyperbola $\frac n{p_0+1}+\frac n{q_0+1}=n-2$. It is well known that the range of the smaller exponent, say $p_0$, has a great influence on the solutions. It is worth noting that in this paper, we consider both two ranges, which is contained in $p_0>\frac n{n-2}$ and $p_0<\frac n{n-2}$ respectively. The coupling mechanism of the strongly indefinite problem in these two cases is totally different, which is the main feature and new ingredient here.

Abstract: We study the Possion problem with singular data given by a source supported on a one dimensional curve strictly contained in a three dimensional domain. We prove regularity results for the solution on isotropic and on anisotropic weighted spaces of Kondratiev type. Our technique is based on the study of a regularized problem. This allows us to exploit the local nature of the singularity. Our results hold with very few smoothness hypotheses on the domain and on the support of the data. We also discuss some extensions of our main results, including the two dimensional case, sources supported on closed curves and on polygonals.