Analysis of PDEs · Cross-listed from math.PR
Papers
Fresh from arXiv, typeset properly. Highlighted words trade on the market.
Wednesday 13 May
We establish the existence of probabilistically weak, renormalized kinetic solutions to the Dean–Kawasaki equation with singular interaction kernels, including those of Biot–Savart and Keller–Segel type. Under a suitable regularization of the square-root noise coefficient, we further prove a restricted large deviation principle for probabilistically weak solutions to the regularized Dean–Kawasaki equation. The Biot–Savart and Keller–Segel type interactions introduce a scaling criticality within the $L^1$ framework of the Dean–Kawasaki equation and the associated skeleton equation, which gives rise to a significant new challenge. In contrast to [Fehrman, Gess; Invent. Math., 2023], our large deviation analysis relies on a novel exponential tightness argument specifically adapted to the Dean–Kawasaki noise. This approach, combined with a weak-strong uniqueness result for the associated skeleton equation, allows us to partially overcome the criticality induced by the singular interaction kernel.
Analysis of PDEs
Global Yudovich-type solutions to a reduced model for micropolar fluids with zero viscosity
In this paper, we study the well-posedeness at low regularity of a two-dimensional system obtained as a reduced model for micropolar fluid dynamics. At the mathematical level, the system presents a coupling between an Euler-type equation for the two-dimensional velocity field of the fluid and an advection-diffusion equation for the scalar microrotation field. For this model, we prove global existence and uniqueness of Yudovich-type solutions, namely weak solutions for which the vorticity is only bounded (with some additional integrability property) and the microrotation field remains bounded and of finite energy. To the best of our knowledge, this is the first result which extends the genuine Yudovich framework to a system obtained by perturbing the incompressible Euler equations with some sort of heterogeneity.
Read the full abstract
Analysis of PDEs
Classification of solutions to the singular Liouville's equation associated with the $N$ Finsler Laplacian
In this paper, we classify a class of singular Liouville's equation associated with the Finsler-$N$-Laplacian for any $\beta\in (0,N)$ \begin{align*} -\mathrm{div}\left(F^{N-1}(\nabla u)DF(\nabla u)\right)=\hat{F}^{o}(x)^{-\beta}e^u\ \ \text{in } \mathbb{R}^{N}\backslash \{0\}, \end{align*} under the finite mass condition $\int_{\mathbb{R}^{N}}\hat{F}^{o}(x)^{-\beta}e^u dx<+\infty$. Here $F$ is a convex function, which is positively homogeneous of degree 1, and its polar $F^{o}$ represents a Finsler metric on $\mathbb{R}^{N}$, $\hat{F}^{o}(x)=F^{o}(-x)$. Our result relaxes the mass condition required in the classification result in [39]
Read the full abstract
Analysis of PDEs
The evolution variational inequality for weighted Wasserstein metrics in non-convex bounded domains
In this paper, we establish the evolution variational inequality for the weighted Wasserstein distance, without assuming convexity of domains. Thanks to this evolution variational inequality, we can carry out some arguments with weighted Wasserstein metrics in not only convex but also non-convex domains. Therefore finally, we apply the evolution variational inequality to the minimizing movement in weighted Wasserstein metrics to obtain weak solutions of Keller–Segel systems and Cahn–Hilliard type equations in non-convex domains. The key point to remove the convexity assumption is a control of the boundary integral. To deal with the boundary integral, we use estimates for functions on the boundary, the Sobolev trace embedding and the variant of Kato's inequality. Then, the boundary integral can be absorbed by good known terms.
Read the full abstract
Analysis of PDEs
Ultracontractivity of Heat semigroups in $\mathrm{L}^{2}\left( \Omega \right)$ with non-local Robin boundary conditions using Nash's inequality
We study heat equations $\frac{\partial u}{\partial t} - \operatorname{div} \left( A \nabla u \right) = 0$ on bounded Lipschitz domains $\Omega$ in $\mathbb{R}^{d}$ for $d \in \mathbb{N}$, where $-\operatorname{div} \left( A \nabla \cdot \right)$ is a second-order uniformly elliptic operator with generalised Robin boundary conditions. These boundary conditions are formally given by $\nu \cdot A \nabla u + Bu = 0$ where $\nu$ is the outer unit normal on $\partial\Omega$ and $B \in \mathcal{L} \left( \mathrm{L}^{2}\left( \partial \Omega \right) \right)$ is a general operator which is allowed to destroy the positivity preserving property of the solution semigroup. Ultracontractivity of the solution semigroup is shown by using Nash's inequality on the Sobolev space $H^{1}( \Omega )$.
Read the full abstract
Analysis of PDEs
Optimal stability of complement value problems for p-Lévy operators
We establish the optimal convergence of solutions to integro-differential equations (IDEs) governed by symmetric integrodifferential $p$-Lévy operators, $1 < p < \infty$, in the presence of nonlocal Dirichlet or Neumann boundary conditions. For illustrative purposes, consider the particular case of the (fractional) $p$-Laplacian $(-\Delta)^s_p$ with $0 < s \le 1$. If $(-\Delta)^s_p u_s = f_s $ in $\Omega \subset \mathbb{R}^d,$ augmented with a Dirichlet or Neumann data $g_s$ then under suitable assumptions on $\Omega$, $f_s$ and $g_s$, we show that $(u_s)_s$ strongly converges as $s \to 1^-$ in the the optimal, that is, $\|u_s - u_1\|_{W^{s,p}(\Omega)} \to 0$. \smallskip Another subsequent goal underpinning our approach is the robustness of the nonlocal trace spaces; specifically, we also show that the nonlocal trace spaces converge, in an appropriate sense, to the local trace space.
Read the full abstract
Analysis of PDEs
Refined estimates of the propagation speed in porous medium equation of combustion type
We are concerned with the Cauchy problem $u_{t}=(u^{m})_{xx}+f(u)$, where the nonliearity $f(u)$ is of combustion type and the initial data is compactly supported. In \cite{lou2024convergence}, among other things, the authors prove that by considering a multiple of a given initial data, there is a critical value such that the corresponding transition solution spreads at the asymptotic speed $2y_{0}\sqrt{t}[1+o(1)]\ \text{as} \ t\rightarrow\infty$, while the lower order term $o(1)$ remains unknown. In this paper, for a family of functions of combustion type, we refine the estimates of the asymptotic speed of the transition solution and provide a precise characterization of the lower order term $o(1)$. Our result also reveals that there is no unified characterization of the lower order term for general combustion type functions $f$.
Read the full abstract
Analysis of PDEs · Cross-listed from math.NA
Galerkin Approximation of the Fractional Sobolev Constant
We establish sharp estimates for the discrete optimal constant of the fractional Sobolev inequality in dimension $N\geq 1$, with fractional exponent $s\in (0,\min\{1,N/2\})$. The convergence rates that we establish take place for the Galerkin approximation with piecewise linear elements, when the problem is posed in the unit ball, for which we employ a quasi-uniform and regular mesh. Since the infimum defining the fractional Sobolev constant is not attained on bounded domains, these estimates quantify how far a piecewise affine mesh of size $h$ can resolve the concentration of the optimizers: the discrete minimizers are close to bubbles concentrated at the scale $h^{2(2-s)/(N+4(1-s))}$, and the energy gap is exactly of order $h^{2(2-s)(N-2s)/(N+4(1-s))}$.
Read the full abstract
Analysis of PDEs
Forward and inverse problems for a time-fractional pseudo-parabolic equation with variable coefficients
In this work, forward and inverse problems for a time-fractional pseudo-parabolic equation $D_t^{\rho} [u(t) + \mu Au(t)] + \sigma(t) Au(t) = r(t)g$ are investigated in a Hilbert space, where $A$ is an unbounded, positive, self-adjoint operator. According to the known papers, the forward problem has been studied only in the case $\sigma(t) = const$. The main novelty of the forward problem in this work is that the model is further generalized and investigated for a time-dependent coefficient $\sigma(t)$. To determine the solution of the forward problem, the Fourier method is employed, and the global existence and uniqueness of the solution are proved. Moreover, when the operator $A$ is a second-order differential operator, a numerical scheme and an efficient computational algorithm are developed. The inverse problem of determining a time-dependent source function is considered under the overdetermination condition of the form $F[u(t)] = \Phi(t)$. The functional $F$ is taken in a general form, and such an inverse problem has not been considered before. The global existence of the solution to the inverse problem is proved by applying Schauder's fixed point theorem, and its uniqueness is established. Furthermore, several examples related to the operator $A$ and the functional $F$ are provided.
Read the full abstract
Analysis of PDEs · Cross-listed from cs.LG
Unified generalization analysis for physics informed neural networks
Physics-Informed Neural Networks (PINNs) and their variational counterparts (VPINNs) are neural networks that incorporate physical laws, making them useful for scientific problems. Existing generalization analyses for PINNs and VPINNs remain limited, often requiring restrictive assumptions such as stability conditions or linear ellipticity. In this paper, we derive generalization bounds for neural networks that involve differentiation with respect to input variables, covering PINNs and VPINNs under a unified framework. We apply Taylor expansion to represent nonlinear differential operators as linear operators on a high-dimensional space, enabling the use of Koopman-based analysis and showing that high-rank networks can generalize well even in settings involving differential operators. We also show that the nonlinearity of the differential operator exponentially enlarges the bound, highlighting its significant impact on generalization.
Read the full abstract
Analysis of PDEs
Nesterov acceleration for the Wasserstein minimization of displacement-convex free energies
We show that the mean-field underdamped Langevin process (associated to the non-linear Vlasov-Fokker-Planck equation) achieves a Nesterov acceleration with respect to the Wasserstein gradient flow of a displacement-convex free energy, in the sense that it converges at a rate of order given by the square-root of the Polyak-Łojasiewicz constant of the free energy (which is the optimal convergence rate for the corresponding gradient flow). This result has been made possible by the recent breakthrough [42] by Jianfeng Lu, which establishes such a diffusive-to-ballistic improvement in term of entropy in the linear case.
Read the full abstract
Analysis of PDEs
Asymptotic study of supercritical generalized SQG equations in critical Sobolev spaces
We study the long time behavior of regular solutions of the supercritical gSQG equations in the fully nonlinear regime. More precisely, under the assumption of small initial data in the critical Sobolev norm, we prove the existence of the unique global solution that satisfies the energy inequality (1.3) and for which the critical norm $||{\theta(t)}||_{H^{1+\beta-2\alpha}}$ decays to 0 as time goes to infinity.
Read the full abstract
Analysis of PDEs
Exact conservation as selection principle: discrete exterior calculus for the incompressible Navier-Stokes and Euler equations
We formulate a new discrete-exterior calculus based discretisation of the incompressible Euler and Navier-Stokes equations that preserves the geometric structure of the continuum, and establish a rigorous convergence and structure theory for a new discretisation. The discretisation operates on prismatic Delaunay-Voronoi meshes over closed Riemannian manifolds. The geometry of Euler and Navier-Stokes equations is maintained via a discrete Lie derivative that is built from an extrusion-based contraction for the nonlinear term in vector-invariant form. Conservation of energy and Kelvin circulation links the discrete scheme to the continuum: at the discrete level, energy conservation is a stability property, and in the vanishing-resolution limit it becomes both a constructive route into the conservative weak-solution theory of the continuum equations and a selection principle on the limits the scheme can reach. This correspondence appears in four regimes. Smooth solutions: convergence at rate $\mathcal{O}(h^{\min(r_{\rm rec},\,r_\star)}\,|\log h|)$ in dimensions $d=2,3$, uniformly in viscosity $\nu \ge 0$; first order on general meshes, second order under centroid proximity and reconstruction symmetry. Leray-Hopf weak regime: subsequential $L^2$ limits of the discrete Navier-Stokes system are weak solutions of the viscous equations. Inviscid measure-valued regime: limits are conservative measure-valued Euler solutions, with concentration defect vanishing above the Onsager threshold $\alpha > 1/3$ provided the discrete solutions admit a uniform $C^{0,\alpha}$ bound; the scheme reaches the energy-conserving side of the Onsager landscape but not the dissipative side. Dissipative regime: no subsequence converges to an energy-dissipating Euler solution at any Hölder regularity, an exclusion that follows from discrete energy conservation.
Read the full abstract
Analysis of PDEs
A new selection problem for degenerate viscous Hamilton-Jacobi equations
We study a selection problem for degenerate viscous Hamilton–Jacobi equations with convex Hamiltonians, in which the approximation procedure combines a nonlinear discounted approximation with a small potential perturbation. A key question is how their simultaneous effects influence the asymptotic selection of viscosity solutions of the associated ergodic problem. Based on the nonlinear adjoint method, we establish the uniform convergence of the approximating solutions to a distinguished solution of the ergodic problem and derive a formula for the selected limit in terms of generalized Mather measures and the potential. As an application, we show that this selection principle is sufficiently flexible to realize any prescribed solution of the ergodic problem, with an explicit convergence rate.
Read the full abstract
Analysis of PDEs · Cross-listed from math.FA
Variable Muckenhoupt $A_\infty$ Weights
In this article, with introducing concepts of variable scalar $\mathcal{A}_{p(\cdot),\infty}$ weights and variable matrix $\mathscr{A}_{p(\cdot),\infty}$ weights, we seek a comprehensive theory of $A_\infty$ weights within the framework of variable exponent spaces. We first show that a weight belongs to $\mathcal{A}_{p(\cdot),\infty}$ if and only if its $p(\cdot)$-th power is an $A_\infty$ weight. Using this, we characterize the $\mathcal{A}_{p(\cdot),\infty}$ condition by the minimal operator. Then we establish the reverse Hölder's inequality for $\mathcal{A}_{p(\cdot),\infty}$ weights in variable Lebesgue spaces with explicit constants and, combining this with the previously established relationship between $\mathcal{A}_{p(\cdot),\infty}$ weights and $A_\infty$ weights, we prove that, for any weight $w$, the reverse Hölder's inequality holds in variable Lebesgue spaces if and only if $w$ is an $\mathcal{A}_{p(\cdot),\infty}$ weight. For the matrix $\mathscr{A}_{p(\cdot),\infty}$ weights, we first show the existence of the reducing operators for matrix $\mathscr{A}_{p(\cdot),\infty}$ weights and then, combining the matrix $\mathscr{A}_{p(\cdot),\infty}$ weights with the scalar $\mathcal{A}_{p(\cdot),\infty}$ weights, we establish the reverse Hölder's inequality for $\mathscr{A}_{p(\cdot),\infty}$ weights in variable Lebesgue spaces. Finally, for further applications to variable matrix-weighted function spaces, we introduce the upper and the lower dimensions for $\mathscr{A}_{p(\cdot),\infty}$ weights and use these concepts to establish the sharp estimate involving reducing operators.
Read the full abstract
Analysis of PDEs
Half-space problem on the Boltzmann equation with zero Mach number at infinity
We study the long-time dynamics of the time-evolutionary Boltzmann equation with hard sphere collisions in the three-dimensional half-space \( \mathbb{R}^2 \times \mathbb{R}^+\), subject to diffuse reflection boundary conditions and small perturbations around a global Maxwellian equilibrium. The far-field velocity is assumed to be at rest; namely, we take the zero Mach number at infinity. In the first goal, we construct global-in-time low-regularity solutions near Maxwellians. We leverage time-decay properties along the two-dimensional tangential direction to establish polynomial decay rates of solutions matching the 2D heat equation. In the second goal, we further prove the propagation of Gevrey regularity: analyticity (Gevrey index 1) in the tangential spatial variable \(x_\parallel\), and Gevrey class with index 2 in the tangential velocity variable \(v_\parallel\), under suitably regular initial data. The proofs combine an \(L^1_k \cap L^p_k\) Fourier-space approach for decay estimates, macro-micro decomposition with \(L^2 - L^\infty\) frameworks adapted to unbounded domains, and weighted Gevrey norms to control regularity propagation, overcoming challenges from boundary effects and nonlinear interactions.
Read the full abstract
Analysis of PDEs
From Polynomial Stability to Periodic Well-posedness in Partially Dissipative Systems
The study of resonances (and well-posedness) for complex systems under time-periodic loading is of broad interest in application. The work of Galdi et al.~(2014) connects asymptotic stability of solutions to an unforced Cauchy problem to solvability of the time-periodic forced problem. Uniform stability of the solution semigroup gives periodic well-posedness for all forces in the natural mild forcing class, whereas strong stability yields only existence of a dense set of forcings for which resonance can be excluded. We address an intermediate regime for polynomial (also: rational or semiuniform) stability. Working with a Fourier decomposition in Hilbert space, we demonstrate that polynomial stability of the semigroup yields an explicit characterization of the dense forcing set on which periodic well-posedness holds. More precisely, resolvent bounds translate directly into certain losses of time derivatives on the forcing required to ensure well-posedness. Our result is motivated by partially dissipative models – including the famous heat-wave interaction problem idealizing fluid-structure interactions, as well as some thermoelastic, viscoelastic, and weakly damped hyperbolic systems – for which polynomial decay is the natural regime.
Read the full abstract
Analysis of PDEs
Mixing and Small-Scale Formation in a Passive Divergence-Free Vector Field
We study mixing for a divergence-free passive vector field $u$ transported by another divergence-free vector field $U$, where $u$ evolves according to $ \partial_t u + (U \cdot \nabla) u + \nabla p = 0.$ In recent years, a lot of attention has been given to the question of optimal mixing in the scalar case, where there is a Sobolev constraint on the advecting velocity. In the vector setting considered here, however, the pressure term introduces substantial difficulties, since the simple Lagrangian perspective available in the scalar case is no longer applicable. In this paper, we investigate mixing on a torus $\mathbb{T}^d$ under the assumption that the field $U$ satisfies $ \|U(t)\|_{W^{1,q}} \leq C $ and we quantify mixing through the decay of the homogeneous $ H^{-\alpha}$ norm of $u$. We start with establishing conditions on $U$ that guarantee existence and uniqueness of solutions. We then derive lower bounds on the mixing rate for various ranges of $q$ and $\alpha$. In addition, we carry out numerical simulations of mixing by choosing, at each time instant, a field $U$ that maximizes the instantaneous decay of the $ H^{-\alpha}$ norm. These simulations provide evidence that the optimal mixing rate is at least exponential in time. More broadly, we view the present model and its diffusive analogue, as a useful framework for probing mechanisms of small-scale formation in divergence-free vector fields and for formulating simplified versions of open questions related to the incompressible Euler and Navier–Stokes equations.
Read the full abstract
Tuesday 12 May
Analysis of PDEs
A Classical Analysis Counterpart of Viterbo's Symplectic Geometry Proof of ABP in the Plane
We first provide a classical analysis proof of a version of the Alexandroff-Bakelman-Pucci inequality (ABP) for compactly supported $C^2$ functions in dimension $2$, inspired by the symplectic geometry proof method of Viterbo, which avoids convexity or contact sets. We then show how the proof may be modified to remove the compact support hypothesis and recover the usual statement of ABP, which includes a boundary term. We also discuss the possibility (and difficulties) of extending a pure classical analysis proof to dimension $3$ and above.
Read the full abstract
Analysis of PDEs
Mean Field Games in Hilbert Spaces with Degenerate Diffusion: A Viscosity Solution Approach
We study a degenerate second order mean field game (MFG) system in a Hilbert space $H$ which couples a Fokker–Planck equation describing the evolution of probability measures on $H$ with a Hamilton–Jacobi–Bellman (HJB) equation for the value function. Our main result establishes existence and uniqueness of solutions to this coupled system. Solutions of the HJB equation are interpreted in the viscosity sense. For existence, we extend the classical fixed-point approach based on Tikhonov's theorem to our setting. A central difficulty in this approach is proving uniqueness for the corresponding linear degenerate Fokker–Planck equation. To address this issue, we introduce a class of suitable adjoint equations and employ viscosity solution techniques to construct sufficiently regular solutions. Uniqueness for the full MFG system is then obtained via an adaptation of the Lasry–Lions monotonicity method.
Read the full abstract
Analysis of PDEs · Cross-listed from math.DG
A min-max gap characterization of minimal foliations on the torus
We extend an energy introduced by Mather to the setting of Almgren-Pitts min-max theory and obtain a parametric, higher-dimensional analogue of Mather's variational barrier theory for twist maps and geodesics on tori. We use this energy to establish several criteria for the existence of foliations of the $n$-torus by minimal hypersurfaces. We show that for a generic metric, whenever a lamination by area-minimizing hypersurfaces of the $n$-torus contains a gap, there exists a minimal hypersurface inside the gap that is not area-minimizing. This hypersurface is a higher-dimensional analogue of the secondary minimax orbit appearing in Aubry-Mather theory.
Read the full abstract
Analysis of PDEs
Novel implementation of the extended sampling method for inverse biharmonic scattering
This paper considers an inverse shape problem for recovering an unknown clamped obstacle in two dimensions from far–field measurements generated by a single incident wave or just a few incident waves for the biharmonic (flexural) wave equation. Here we will develop a new extended sampling method (ESM) that is derived using the analysis of the well–known factorization method. We will also consider an ESM using both sound–soft and sound–hard sampling disks to identify sampling points where the reference disk intersects the unknown cavity. The use of a sound–hard sampling disk has not been studied in the literature whereas the sound–soft sampling disk has been used in most recent works. Traditionally the ESM seeks to find the location of the scatterer from limited incident directional data. Here, our method acts more like the factorization method to obtain the location as well as the size (and possibly the shape) of the obstacle. We present numerical experiments with synthetic data that demonstrate how effective this new implementation is with respect to noisy data and illustrate the influence of the reference disk radius on the reconstruction.
Read the full abstract
Analysis of PDEs · Cross-listed from math.DS
On solution of Diffusion Equation using Conformable Laplace Transform
The inversion theorem and convolution theorem of the conformable fractional Laplace transforms are developed. All the elementary properties of the classical Laplace transform are extended to the conformable fractional transform, and using these properties, we found analytical solutions to the initial-boundary value problems of the diffusion equation.
Read the full abstract
Analysis of PDEs · Cross-listed from math.FA
Implications of structured continuous maximal regularity
We study how maximal regularity estimates with respect to the continuous functions improve automatically in cases where the spatial norm is fundamentally different from the supremum norm. More precisely, we invoke properties such as weak compactness of convolution-type operators related to the mild solutions of the underlying linear evolution equations to sharpen the a priori estimates. These results have several applications: such as a new proof of Guerre-Delabriere's result on $\mathrm{L}^1$-maximal regularity and an extension of Baillon's theorem; a simplification for well-known perturbation theorems for generation of $\mathrm{C}_0$-semigroups; and we resolve an open problem on input-to-state stability from control theory for a general abstract class of systems.
Read the full abstract
Analysis of PDEs
Leak localisation with a measure source convection-diffusion model
Taking a variational approach, study the inverse problem of locating gas leaks from line-of-sight concentration measurements using a convection–diffusion model with the source term a Radon measure. By imposing sparsity-promoting regularisation on this measure, we recover point sources—identifying both their locations and intensities—rather than diffuse approximations. We jointly estimate the underlying physical convection (wind) and diffusion parameters. Our main theoretical contribution is the analysis of Lipschitz dependence of the forward solution of the convection–diffusion equation with respect to its parameters: the measure, and the convection and diffusion fields. Numerically, we employ a semi-grid-free optimisation approach for reconstructing the source measure. Our experiments demonstrate accurate localisation, highlighting the potential of the method for practical gas emission detection.
Read the full abstract
Analysis of PDEs
A new class of nonlocal operators: the fractional logarithmic $p$-Laplacian and its properties
In this paper, we introduce and investigate the fractional logarithmic $p$-Laplacian $(-\Delta)_{p}^{s+\log}$, defined as the first-order derivative with respect to the parameter $t$ of the fractional $p$-Laplacian $(-\Delta)_{p}^{t}$ evaluated at $t=s$. We establish that this operator admits the following integral representation \[ \begin{aligned} (-\Delta)_{p}^{s+\log} u(x) &= B(N,s,p)(-\Delta)_{p}^{s}u(x)\\ &\quad -p\, C(N,s,p)\mathrm{P.V.}\int_{\mathbb{R}^{N}}\frac{|u(x)-u(y)|^{p-2}(u(x)-u(y))\ln |x-y|}{|x-y|^{N+sp}}dy, \end{aligned} \] where $C(N,s,p)$ denotes the standard normalization constant associated with the fractional $p$-Laplacian, and $B(N,s,p)=\frac{d}{ds}\left(\ln C(N,s,p)\right)$. As a consequence of this representation, it follows that the operator is nonlocal and of logarithmic type, and may be viewed as a nonlinear analogue of the fractional logarithmic Laplace operator recently introduced by Chen et al. \cite{Chen-Chen-Hauer}. We further develop the associated functional framework in both $\mathbb{R}^{N}$ and bounded Lipschitz domains by introducing the natural energy spaces adapted to problems driven by $(-\Delta)_{p}^{s+\log}$. Within this framework, fundamental functional inequalities are established, in particular Pohozaev-type identities and Díaz-Saa inequalities, which are of independent interest and applicable to a broader class of problems. Moreover, we derive results concerning density, continuity, and compact embedding properties. We emphasize that the compactness of the embedding is proved at the critical exponent $p^{*}_{s}=\frac{Np}{N-sp}$, which distinguishes the present setting from the classical Sobolev and fractional Sobolev frameworks. Finally, as an application, we investigate the associated Dirichlet eigenvalue problem and derive existence, uniqueness, and boundedness results for the corresponding solutions.
Read the full abstract
Analysis of PDEs
An H-convergence-based implicit function theorem for homogenization of nonlinear non-smooth elliptic systems
We consider homogenization of Dirichlet problems for semilinear elliptic systems with non-smooth data. We suppose that the diffusion tensors H-converge if the homogenization parameter tends to zero. Our result is of implicit function theorem type: For small homogenization parameter there exists exactly one weak solution close to a given non-degenerate weak solution to the homogenized problem. For the proofs we use gradient estimates of Meyers (if the space dimension is two) or Morrey (if the diffusion tensors are triangular) type for solutions to linear elliptic systems.
Read the full abstract
Analysis of PDEs
A variational approach to the derivation of reduced models for bubbly flows
In this paper, we derive reduced models for the motion of gas bubbles in an ambient inviscid liquid, using Hamilton's least action principle. We first explain how to recover from this principle the classical sharp interface model, in which the pressure is continuous across the surfaces of the bubbles. We then show how to reduce the complexity of the model, by simplifying the description of those surfaces. Namely, we impose them to evolve within a subclass of hypersurfaces described by a finite number of parameters (the simplest example being spheres, that is neglecting deviation of the bubbles from sphericity). The difficulty from a mathematical and modeling point of view is to determine the interface conditions that substitute to pressure continuity. We complete the derivation of the reduced models by some well-posedness analysis, in the case of curl-free liquid flow and homogeneous pressure in the bubbles.
Read the full abstract
Analysis of PDEs
On the existence and nonexistence of global solutions of the semilinear heat equation
We consider the semilinear heat equation $$ u_t-\Delta u=|u|^{p-1}u,\ \ (t,x)\in\mathbb{R}^+\times\mathbb{R}^n. $$ The well-known difficulty with this problem is that the potential well method cannot be applied directly, due to the scaling invariance which leads to a potential well of zero depth. We employ the forward similarity transform to convert the equation into a new parabolic equation, so that we can apply the potential well method in weighted Sobolev spaces. As a result, we obtain a new criterion that establishes whether solutions to the heat equation blow up in finite time or exist globally. This work extends the partial results of Ikehata et al. (Ann. Inst. H. Poincaré Anal. Non Linéaire, 27 (2010) 877-900) from critical Sobolev exponent to the case $p_F<p<p_S$, where $p_F=1+2/n$ is the Fujita exponent and $p_S=(n+2)/(n-2)$ (for $n\ge3$) is the critical Sobolev exponent.
Read the full abstract
Analysis of PDEs
A degenerate reaction-diffusion SIR model in interconnected regions
This paper presents a novel time-space SIR (Susceptible-Infected-Recovered) model for simulating infectious disease dynamics in two interconnected regions. The model is formulated as a coupled reaction-diffusion system with boundary conditions that dynamically switch from Robin to Neumann types, effectively modelling policy-driven interventions such as lockdowns. A key innovation lies in the incorporation of degenerate diffusion, arising from vanishing population density, which significantly influences transmission behaviour near regional borders. The wellposedness of the model is rigorously established using the Faedo-Galerkin method, ensuring the existence, uniqueness, and positivity of weak solutions. Numerical simulations, performed using the Finite Volume Method, validate the theoretical findings and demonstrate the impact of migration and mobility restrictions on epidemic progression. This framework offers valuable insights for understanding and controlling disease spread in spatially heterogeneous and interconnected settings.