Pub Date : 2024-09-19DOI: 10.1016/j.jde.2024.09.022
We study the blow-up phenomena for some integrable Camassa-Holm type equations on the line. For the two-component Camassa-Holm system, we give a sufficient condition on the initial data that leads to a blow-up. For the Degasperis-Procesi equation, we establish a local-in-space blow-up criterion which improves considerably the early criterion based on the sign-changing momentum. Besides, we obtain some new blow-up criteria for the Novikov equation and the modified Camassa-Holm equation.
{"title":"Improved blow-up criteria for some Camassa-Holm type equations","authors":"","doi":"10.1016/j.jde.2024.09.022","DOIUrl":"10.1016/j.jde.2024.09.022","url":null,"abstract":"<div><p>We study the blow-up phenomena for some integrable Camassa-Holm type equations on the line. For the two-component Camassa-Holm system, we give a sufficient condition on the initial data that leads to a blow-up. For the Degasperis-Procesi equation, we establish a local-in-space blow-up criterion which improves considerably the early criterion based on the sign-changing momentum. Besides, we obtain some new blow-up criteria for the Novikov equation and the modified Camassa-Holm equation.</p></div>","PeriodicalId":15623,"journal":{"name":"Journal of Differential Equations","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142274258","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-19DOI: 10.1016/j.jde.2024.09.016
<div><p>In this paper, we study the existence of solutions for the following nonlocal superlinear elliptic problem<span><span><span>(0.1)</span><span><math><mrow><mrow><mo>{</mo><mtable><mtr><mtd><msup><mrow><mo>(</mo><mo>−</mo><mi>Δ</mi><mo>)</mo></mrow><mrow><mi>s</mi></mrow></msup><mi>u</mi><mo>=</mo><mi>β</mi><mo>(</mo><mi>x</mi><mo>)</mo><msup><mrow><mi>u</mi></mrow><mrow><mi>p</mi><mo>−</mo><mi>ε</mi></mrow></msup><mspace></mspace></mtd><mtd><mtext>in </mtext><mi>Ω</mi><mo>,</mo></mtd></mtr><mtr><mtd><mi>u</mi><mo>=</mo><mn>0</mn><mspace></mspace></mtd><mtd><mtext>in </mtext><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>﹨</mo><mi>Ω</mi><mo>,</mo></mtd></mtr></mtable></mrow></mrow></math></span></span></span> where <span><math><mi>s</mi><mo>∈</mo><mo>(</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>)</mo><mo>,</mo><mi>n</mi><mo>></mo><mn>2</mn><mi>s</mi><mo>,</mo><mi>p</mi><mo>:</mo><mo>=</mo><mfrac><mrow><mi>n</mi><mo>+</mo><mn>2</mn><mi>s</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>2</mn><mi>s</mi></mrow></mfrac></math></span> is the Sobolev critical exponent, <span><math><mi>Ω</mi><mo>⊂</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> is a smooth bounded domain with Lipschitz boundary, <span><math><msup><mrow><mo>(</mo><mo>−</mo><mi>Δ</mi><mo>)</mo></mrow><mrow><mi>s</mi></mrow></msup></math></span> is the fractional Laplace operator and <span><math><mi>β</mi><mo>∈</mo><msup><mrow><mi>C</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mover><mrow><mi>Ω</mi></mrow><mo>‾</mo></mover><mo>)</mo></math></span> is a bounded positive continuous function. We assume that there exists a nondegenerate critical point <span><math><msup><mrow><mi>ξ</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>∈</mo><mo>∂</mo><mi>Ω</mi></math></span> of the restriction of <em>β</em> to the boundary ∂Ω such that<span><span><span><math><mrow><mi>∇</mi><mo>(</mo><mi>β</mi><msup><mrow><mo>(</mo><msup><mrow><mi>ξ</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>)</mo></mrow><mrow><mo>−</mo><mfrac><mrow><mi>n</mi><mo>−</mo><mn>2</mn><mi>s</mi></mrow><mrow><mn>2</mn><mi>s</mi></mrow></mfrac></mrow></msup><mo>)</mo><mo>⋅</mo><mi>η</mi><mo>(</mo><msup><mrow><mi>ξ</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>)</mo><mo>></mo><mn>0</mn><mo>.</mo></mrow></math></span></span></span> Given any integer <span><math><mi>k</mi><mo>≥</mo><mn>1</mn></math></span>, we show that for <span><math><mi>ε</mi><mo>></mo><mn>0</mn></math></span> small enough, problem <span><span>(0.1)</span></span> has a positive solution, which is a sum of <em>k</em> bubbles which concentrate at <span><math><msup><mrow><mi>ξ</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span> as <em>ε</em> tends to zero. Also, we prove the existence of nodal (sign changing) solution whose shape resembles a sum of a positive bubble and a negative bubble near the point <span><math><msub><mrow><mi>ξ</mi></mrow><mrow><mo>⁎</mo></mrow></msub></math></span>. This work can be seen as a nonloca
{"title":"Nonlocal Hénon type problem with nonlinearities involving slightly subcritical growth","authors":"","doi":"10.1016/j.jde.2024.09.016","DOIUrl":"10.1016/j.jde.2024.09.016","url":null,"abstract":"<div><p>In this paper, we study the existence of solutions for the following nonlocal superlinear elliptic problem<span><span><span>(0.1)</span><span><math><mrow><mrow><mo>{</mo><mtable><mtr><mtd><msup><mrow><mo>(</mo><mo>−</mo><mi>Δ</mi><mo>)</mo></mrow><mrow><mi>s</mi></mrow></msup><mi>u</mi><mo>=</mo><mi>β</mi><mo>(</mo><mi>x</mi><mo>)</mo><msup><mrow><mi>u</mi></mrow><mrow><mi>p</mi><mo>−</mo><mi>ε</mi></mrow></msup><mspace></mspace></mtd><mtd><mtext>in </mtext><mi>Ω</mi><mo>,</mo></mtd></mtr><mtr><mtd><mi>u</mi><mo>=</mo><mn>0</mn><mspace></mspace></mtd><mtd><mtext>in </mtext><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>﹨</mo><mi>Ω</mi><mo>,</mo></mtd></mtr></mtable></mrow></mrow></math></span></span></span> where <span><math><mi>s</mi><mo>∈</mo><mo>(</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>)</mo><mo>,</mo><mi>n</mi><mo>></mo><mn>2</mn><mi>s</mi><mo>,</mo><mi>p</mi><mo>:</mo><mo>=</mo><mfrac><mrow><mi>n</mi><mo>+</mo><mn>2</mn><mi>s</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>2</mn><mi>s</mi></mrow></mfrac></math></span> is the Sobolev critical exponent, <span><math><mi>Ω</mi><mo>⊂</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> is a smooth bounded domain with Lipschitz boundary, <span><math><msup><mrow><mo>(</mo><mo>−</mo><mi>Δ</mi><mo>)</mo></mrow><mrow><mi>s</mi></mrow></msup></math></span> is the fractional Laplace operator and <span><math><mi>β</mi><mo>∈</mo><msup><mrow><mi>C</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mover><mrow><mi>Ω</mi></mrow><mo>‾</mo></mover><mo>)</mo></math></span> is a bounded positive continuous function. We assume that there exists a nondegenerate critical point <span><math><msup><mrow><mi>ξ</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>∈</mo><mo>∂</mo><mi>Ω</mi></math></span> of the restriction of <em>β</em> to the boundary ∂Ω such that<span><span><span><math><mrow><mi>∇</mi><mo>(</mo><mi>β</mi><msup><mrow><mo>(</mo><msup><mrow><mi>ξ</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>)</mo></mrow><mrow><mo>−</mo><mfrac><mrow><mi>n</mi><mo>−</mo><mn>2</mn><mi>s</mi></mrow><mrow><mn>2</mn><mi>s</mi></mrow></mfrac></mrow></msup><mo>)</mo><mo>⋅</mo><mi>η</mi><mo>(</mo><msup><mrow><mi>ξ</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>)</mo><mo>></mo><mn>0</mn><mo>.</mo></mrow></math></span></span></span> Given any integer <span><math><mi>k</mi><mo>≥</mo><mn>1</mn></math></span>, we show that for <span><math><mi>ε</mi><mo>></mo><mn>0</mn></math></span> small enough, problem <span><span>(0.1)</span></span> has a positive solution, which is a sum of <em>k</em> bubbles which concentrate at <span><math><msup><mrow><mi>ξ</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span> as <em>ε</em> tends to zero. Also, we prove the existence of nodal (sign changing) solution whose shape resembles a sum of a positive bubble and a negative bubble near the point <span><math><msub><mrow><mi>ξ</mi></mrow><mrow><mo>⁎</mo></mrow></msub></math></span>. This work can be seen as a nonloca","PeriodicalId":15623,"journal":{"name":"Journal of Differential Equations","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142272359","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-19DOI: 10.1016/j.jde.2024.09.017
In this paper, we establish and study a stochastic mosquito population suppression model incorporating the release of Wolbachia-infected males and time switching, where stochastic noises are given by independent standard Brownian motions. By combining the actual mosquito control strategy in Guangzhou, we assume that the waiting release period T between two consecutive releases of Wolbachia-infected males is less than the sexually active lifespan of them. The existence and uniqueness of global positive solutions and stochastically ultimate boundedness for the stochastic model are obtained. Some sufficient conditions for the extinction and the existence of stochastic non-trivial periodic solutions are established. Furthermore, we assume that the release function is a general periodic function and some stochastic dynamical behaviors are obtained. Numerical examples are presented to illustrate the theoretical results.
{"title":"A stochastic mosquito population suppression model based on incomplete cytoplasmic incompatibility and time switching","authors":"","doi":"10.1016/j.jde.2024.09.017","DOIUrl":"10.1016/j.jde.2024.09.017","url":null,"abstract":"<div><p>In this paper, we establish and study a stochastic mosquito population suppression model incorporating the release of <em>Wolbachia</em>-infected males and time switching, where stochastic noises are given by independent standard Brownian motions. By combining the actual mosquito control strategy in Guangzhou, we assume that the waiting release period <em>T</em> between two consecutive releases of <em>Wolbachia</em>-infected males is less than the sexually active lifespan <span><math><mover><mrow><mi>T</mi></mrow><mo>‾</mo></mover></math></span> of them. The existence and uniqueness of global positive solutions and stochastically ultimate boundedness for the stochastic model are obtained. Some sufficient conditions for the extinction and the existence of stochastic non-trivial periodic solutions are established. Furthermore, we assume that the release function is a general periodic function and some stochastic dynamical behaviors are obtained. Numerical examples are presented to illustrate the theoretical results.</p></div>","PeriodicalId":15623,"journal":{"name":"Journal of Differential Equations","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142274257","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-19DOI: 10.1016/j.jde.2024.08.065
This paper is concerned with the convergence of invariant measures in the Wasserstein sense for the stochastic Schrödinger delay lattice systems as delay parameter ρ or parameter β approaches zero. Through pth-order moment estimates of solutions to systems, as well as the Hölder continuity estimates of solutions with respect to time, we obtain the convergence of solutions about initial data and the above parameters. Then together with high-order moment estimates of invariant measures, we prove that the unique invariant measure of such delay lattice system converges to the invariant measure of limiting system in the Wasserstein sense as delay parameter ρ or parameter β approaches zero, and the corresponding convergence rate is also obtained.
{"title":"Wasserstein convergence rate of invariant measures for stochastic Schrödinger delay lattice systems","authors":"","doi":"10.1016/j.jde.2024.08.065","DOIUrl":"10.1016/j.jde.2024.08.065","url":null,"abstract":"<div><p>This paper is concerned with the convergence of invariant measures in the Wasserstein sense for the stochastic Schrödinger delay lattice systems as delay parameter <em>ρ</em> or parameter <em>β</em> approaches zero. Through <em>p</em>th-order moment estimates of solutions to systems, as well as the Hölder continuity estimates of solutions with respect to time, we obtain the convergence of solutions about initial data and the above parameters. Then together with high-order moment estimates of invariant measures, we prove that the unique invariant measure of such delay lattice system converges to the invariant measure of limiting system in the Wasserstein sense as delay parameter <em>ρ</em> or parameter <em>β</em> approaches zero, and the corresponding convergence rate is also obtained.</p></div>","PeriodicalId":15623,"journal":{"name":"Journal of Differential Equations","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142274255","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-19DOI: 10.1016/j.jde.2024.09.028
The Ladyzhenskaya-Prodi-Serrin type criteria for the regularity of solutions to the incompressible Navier-Stokes equations are fundamental in the study of the millennium problem posted by the Clay Mathematical Institute about the incompressible N-S equations. This global norm is usually large and hence hard to control. Replacing the global norm with some kind of local norm is interesting. In this article, we introduce a local space and establish some localized criteria for the regularity of solutions to the equations. In fact, we obtain some a priori estimates of solutions to the equations depend only on some local type norms. These local norms, are small for reasonable initial value and shall remain to be small for global regular solutions. Thus, deriving the smallness or even the boundedness of the local type norms is necessary and sufficient to affirmatively answer the millennium problem.
{"title":"A localized criterion for the regularity of solutions to Navier-Stokes equations","authors":"","doi":"10.1016/j.jde.2024.09.028","DOIUrl":"10.1016/j.jde.2024.09.028","url":null,"abstract":"<div><p>The Ladyzhenskaya-Prodi-Serrin type <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>r</mi></mrow></msup></math></span> criteria for the regularity of solutions to the incompressible Navier-Stokes equations are fundamental in the study of the millennium problem posted by the Clay Mathematical Institute about the incompressible N-S equations. This global <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>r</mi></mrow></msup></math></span> norm is usually large and hence hard to control. Replacing the global <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>r</mi></mrow></msup></math></span> norm with some kind of local norm is interesting. In this article, we introduce a local <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>r</mi></mrow></msup></math></span> space and establish some localized criteria for the regularity of solutions to the equations. In fact, we obtain some a priori estimates of solutions to the equations depend only on some local <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>r</mi></mrow></msup></math></span> type norms. These local norms, are small for reasonable initial value and shall remain to be small for global regular solutions. Thus, deriving the smallness or even the boundedness of the local <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>r</mi></mrow></msup></math></span> type norms is necessary and sufficient to affirmatively answer the millennium problem.</p></div>","PeriodicalId":15623,"journal":{"name":"Journal of Differential Equations","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142274256","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-18DOI: 10.1016/j.jde.2024.09.011
New results on the behaviour of the fast motion in slow-fast systems of ODEs with dependence on the fast time are given in terms of tracking of nonautonomous attractors. Under quite general assumptions, including the uniform ultimate boundedness of the solutions of the layer problems, inflated pullback attractors are considered. In general, one cannot disregard the inflated version of the pullback attractor, but it is possible under the continuity of the fiber projection map of the attractor. The problem of the limit of the solutions of the slow-fast system at each fixed positive value of the slow time is also treated and in this formulation the critical set is given by the union of the fibers of the pullback attractors. The results can be seen as extensions of the classical Tikhonov theorem to the nonautonomous setting.
{"title":"Tracking nonautonomous attractors in singularly perturbed systems of ODEs with dependence on the fast time","authors":"","doi":"10.1016/j.jde.2024.09.011","DOIUrl":"10.1016/j.jde.2024.09.011","url":null,"abstract":"<div><p>New results on the behaviour of the fast motion in slow-fast systems of ODEs with dependence on the fast time are given in terms of tracking of nonautonomous attractors. Under quite general assumptions, including the uniform ultimate boundedness of the solutions of the layer problems, inflated pullback attractors are considered. In general, one cannot disregard the inflated version of the pullback attractor, but it is possible under the continuity of the fiber projection map of the attractor. The problem of the limit of the solutions of the slow-fast system at each fixed positive value of the slow time is also treated and in this formulation the critical set is given by the union of the fibers of the pullback attractors. The results can be seen as extensions of the classical Tikhonov theorem to the nonautonomous setting.</p></div>","PeriodicalId":15623,"journal":{"name":"Journal of Differential Equations","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142242188","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-18DOI: 10.1016/j.jde.2024.09.019
In this paper, we study the Cauchy problem of the inhomogeneous Landau equation with hard potentials under the perturbation framework to global equilibrium. We prove that the solution to the Cauchy problem enjoys the analytic Gelfand-Shilov regularizing effect with a Sobolev initial datum for positive time.
{"title":"The analytic Gelfand-Shilov smoothing effect of the Landau equation with hard potential","authors":"","doi":"10.1016/j.jde.2024.09.019","DOIUrl":"10.1016/j.jde.2024.09.019","url":null,"abstract":"<div><p>In this paper, we study the Cauchy problem of the inhomogeneous Landau equation with hard potentials under the perturbation framework to global equilibrium. We prove that the solution to the Cauchy problem enjoys the analytic Gelfand-Shilov regularizing effect with a Sobolev initial datum for positive time.</p></div>","PeriodicalId":15623,"journal":{"name":"Journal of Differential Equations","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142242189","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-17DOI: 10.1016/j.jde.2024.09.010
This work focuses on the Laplace approximation for the rough differential equation (RDE) driven by mixed rough path with as . Firstly, based on geometric rough path lifted from mixed fractional Brownian motion (fBm), the Schilder-type large deviation principle (LDP) for the law of the first level path of the solution to the RDE is given. Due to the particularity of mixed rough path, the main difficulty in carrying out the Laplace approximation is to prove the Hilbert-Schmidt property for the Hessian matrix of the Itô map restricted on the Cameron-Martin space of the mixed fBm. To this end, we embed the Cameron-Martin space into a larger Hilbert space, then the Hessian is computable. Subsequently, the probability representation for the Hessian is shown. Finally, the Laplace approximation is constructed, which asserts the more precise asymptotics in the exponential scale.
{"title":"Precise Laplace approximation for mixed rough differential equation","authors":"","doi":"10.1016/j.jde.2024.09.010","DOIUrl":"10.1016/j.jde.2024.09.010","url":null,"abstract":"<div><p>This work focuses on the Laplace approximation for the rough differential equation (RDE) driven by mixed rough path <span><math><mo>(</mo><msup><mrow><mi>B</mi></mrow><mrow><mi>H</mi></mrow></msup><mo>,</mo><mi>W</mi><mo>)</mo></math></span> with <span><math><mi>H</mi><mo>∈</mo><mo>(</mo><mn>1</mn><mo>/</mo><mn>3</mn><mo>,</mo><mn>1</mn><mo>/</mo><mn>2</mn><mo>)</mo></math></span> as <span><math><mi>ε</mi><mo>→</mo><mn>0</mn></math></span>. Firstly, based on geometric rough path lifted from mixed fractional Brownian motion (fBm), the Schilder-type large deviation principle (LDP) for the law of the first level path of the solution to the RDE is given. Due to the particularity of mixed rough path, the main difficulty in carrying out the Laplace approximation is to prove the Hilbert-Schmidt property for the Hessian matrix of the Itô map restricted on the Cameron-Martin space of the mixed fBm. To this end, we embed the Cameron-Martin space into a larger Hilbert space, then the Hessian is computable. Subsequently, the probability representation for the Hessian is shown. Finally, the Laplace approximation is constructed, which asserts the more precise asymptotics in the exponential scale.</p></div>","PeriodicalId":15623,"journal":{"name":"Journal of Differential Equations","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142239258","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-13DOI: 10.1016/j.jde.2024.09.015
In this paper, we present a methodology for establishing constructive proofs of existence of smooth, stationary, non-radial localized patterns in the planar Swift-Hohenberg equation. Specifically, given an approximate solution , we construct an approximate inverse for the linearization around , enabling the development of a Newton-Kantorovich approach. Consequently, we derive a sufficient condition for the existence of a unique localized pattern in the vicinity of . The verification of this condition is facilitated through a combination of analytic techniques and rigorous numerical computations. Moreover, an additional condition is derived, establishing that the localized pattern serves as the limit of a family of periodic solutions (in space) as the period tends to infinity. The integration of analytical tools and meticulous numerical analysis ensures a comprehensive validation of this condition. To illustrate the efficacy of the proposed methodology, we present computer-assisted proofs for the existence of three distinct unbounded branches of periodic solutions in the planar Swift-Hohenberg equation, all converging towards a localized planar pattern, whose existence is also proven constructively. All computer-assisted proofs, including the requisite codes, are accessible on GitHub at [1].
{"title":"Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: Constructive proofs of existence","authors":"","doi":"10.1016/j.jde.2024.09.015","DOIUrl":"10.1016/j.jde.2024.09.015","url":null,"abstract":"<div><p>In this paper, we present a methodology for establishing constructive proofs of existence of smooth, stationary, non-radial localized patterns in the planar Swift-Hohenberg equation. Specifically, given an approximate solution <span><math><msub><mrow><mi>u</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>, we construct an approximate inverse for the linearization around <span><math><msub><mrow><mi>u</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>, enabling the development of a Newton-Kantorovich approach. Consequently, we derive a sufficient condition for the existence of a unique localized pattern in the vicinity of <span><math><msub><mrow><mi>u</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>. The verification of this condition is facilitated through a combination of analytic techniques and rigorous numerical computations. Moreover, an additional condition is derived, establishing that the localized pattern serves as the limit of a family of periodic solutions (in space) as the period tends to infinity. The integration of analytical tools and meticulous numerical analysis ensures a comprehensive validation of this condition. To illustrate the efficacy of the proposed methodology, we present computer-assisted proofs for the existence of three distinct unbounded branches of periodic solutions in the planar Swift-Hohenberg equation, all converging towards a localized planar pattern, whose existence is also proven constructively. All computer-assisted proofs, including the requisite codes, are accessible on GitHub at <span><span>[1]</span></span>.</p></div>","PeriodicalId":15623,"journal":{"name":"Journal of Differential Equations","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142230648","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-13DOI: 10.1016/j.jde.2024.09.013
This paper considers the Keller-Segel model coupled to stochastic Navier-Stokes equations (KS-SNS, for short), which describes the dynamics of oxygen and bacteria densities evolving within a stochastically forced 2D incompressible viscous flow. Our main goal is to investigate the existence and uniqueness of global solutions (strong in the probabilistic sense and weak in the PDE sense) to the KS-SNS system. A novel approximate KS-SNS system with proper regularization and cut-off operators in is introduced, and the existence of approximate solution is proved by some a priori uniform bounds and a careful analysis on the approximation scheme. Under appropriate assumptions, two types of stochastic entropy-energy inequalities that seem to be new in their forms are derived, which together with the Prohorov theorem and Jakubowski-Skorokhod theorem enables us to show that the sequence of approximate solutions converges to a global martingale weak solution. In addition, when , we prove that the solution is pathwise unique, and hence by the Yamada-Wantanabe theorem that the KS-SNS system admits a unique global pathwise weak solution.
{"title":"On the Keller-Segel models interacting with a stochastically forced incompressible viscous flow in R2","authors":"","doi":"10.1016/j.jde.2024.09.013","DOIUrl":"10.1016/j.jde.2024.09.013","url":null,"abstract":"<div><p>This paper considers the Keller-Segel model coupled to stochastic Navier-Stokes equations (KS-SNS, for short), which describes the dynamics of oxygen and bacteria densities evolving within a stochastically forced 2D incompressible viscous flow. Our main goal is to investigate the existence and uniqueness of global solutions (strong in the probabilistic sense and weak in the PDE sense) to the KS-SNS system. A novel approximate KS-SNS system with proper regularization and cut-off operators in <span><math><msup><mrow><mi>H</mi></mrow><mrow><mi>s</mi></mrow></msup><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> is introduced, and the existence of approximate solution is proved by some a priori uniform bounds and a careful analysis on the approximation scheme. Under appropriate assumptions, two types of stochastic entropy-energy inequalities that seem to be new in their forms are derived, which together with the Prohorov theorem and Jakubowski-Skorokhod theorem enables us to show that the sequence of approximate solutions converges to a global martingale weak solution. In addition, when <span><math><mi>χ</mi><mo>(</mo><mo>⋅</mo><mo>)</mo><mo>≡</mo><mtext>const.</mtext><mo>></mo><mn>0</mn></math></span>, we prove that the solution is pathwise unique, and hence by the Yamada-Wantanabe theorem that the KS-SNS system admits a unique global pathwise weak solution.</p></div>","PeriodicalId":15623,"journal":{"name":"Journal of Differential Equations","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142230647","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}