Date: Fri, 9 Aug 2024 | Total: 12

In this paper, we prove the compact embedding from the variable-order Sobolev space $W^{s(x,y),p(x,y)}_0 (\Omega)$ to the Nakano space $L^{q(x)}(\Omega)$ with a critical exponent $q(x)$ satisfying some conditions. It is noteworthy that the embedding can be compact even when $q(x)$ reaches the critical Sobolev exponent $p_s^*(x)$. As an application, we obtain a nontrivial solution of the Choquard equation \begin{equation*} \displaystyle (-\Delta)_{p(\cdot,\cdot)}^{s(\cdot,\cdot)}u+|u|^{p(x,x)-2}u=\left(\int_{\Omega}\frac{|u(y)|^{r(y)}}{|x-y|^{\frac{\alpha(x)+\alpha(y)}{2}}}dy\right) |u(x)|^{r(x)-2}u(x)\quad\text{in $\Omega$} \end{equation*} with variable upper critical exponent in the sense of Hardy-Littlewood-Sobolev inequality under an appropriate boundary condition.

In this paper, we are concerned with the local and global existence for the stochastic Prandtl equation in two and three dimensions, which governs the velocity field inside the boundary layer that appears in the inviscid limit of the stochastic Navier-Stokes equation with non-slip boundary condition. New problem arises when establishing the well-posedness in the stochastic regime: one can never derive a pathwise control of the energy functional which is used to describe the analytic radius of the solution in the deterministic setting. To this end, we establish higher-order estimates in the conormal Sobolev spaces in order to get rid of the dependence of the analytic radius on the unknown. Three approximate schemes are constructed for solving the stochastic Prandtl equation, and a local well-posedness is obtained in a tangentially analytic and normally Sobolev-type space. Furthermore, we study the stochastic Prandtl equation driven by a tangential random diffusion, and find that the noise regularizes the equation in the sense that in both two and three dimensions, there exists a global Gevrey-2 solution with high probability and the radius growing linearly in time.

We establish the first extension results for divergence-free (or solenoidal) elements of $\mathrm{L}^{1}$-based function spaces. Here, the key point is to preserve the solenoidality constraint while simultaneously keeping the underlying $\mathrm{L}^{1}$-boundedness. While previous results as in Kato et al. [Extension and representation of divergence-free vector fields on bounded domains, Math. Res. Lett., 2000] for $\mathrm{L}^{p}$-based function spaces, $1<p<\infty$, rely on PDE approaches, basic principles from harmonic analysis rule out such strategies in the $\mathrm{L}^{1}$-context. By means of a novel method adapted to the divergence-free constraint via differential forms, we establish the existence of such extension operators in the $\mathrm{L}^{1}$-based situation. This applies both to the case of convex domains, where a global extensions can be achieved, as well as to the Lipschitz case, where a local extension can be achieved. Being applicable to $1<p<\infty$ too, our method provides a unifying approach to the cases $p\in\{1,\infty\}$ and $1<p<\infty$. Specifically, covering the exponents $p\in\{1,\infty\}$, this answers a borderline case left open by Kato et al. [Extension and representation of divergence-free vector fields on bounded domains, Math. Res. Lett., 2000] in the affirmative. By use of explicit examples, the assumptions on the underlying domains are shown to be almost optimal.

In this paper we consider the $N$-dimensional Euclidean Onofri inequality proved by del Pino and Dolbeault for smooth compactly supported functions in $\mathbb{R}^N$, $N \geq 2$. We extend the inequality to a suitable weighted Sobolev space, although no clear connection with standard Sobolev spaces on $\mathbb{S}^N$ through stereographic projection is present, except for the planar case. Moreover, in any dimension $N \geq 2$, we show that the Euclidean Onofri inequality is equivalent to the logarithmic Moser-Trudinger inequality with sharp constant proved by Carleson and Chang for balls in $\mathbb{R}^N$.

We prove finite-time vorticity blowup in the compressible Euler equations in $\mathbb{R}^d$ for any $d \geq 3$, starting from smooth, localized, and non-vacuous initial data. This is achieved by lifting the vorticity blowup result from [CCSV24] in $\mathbb{R}^2$ to $\mathbb{R}^d$ and utilizing the axisymmetry in $\mathbb{R}^d$. At the time of the first singularity, both vorticity blowup and implosion occur on a sphere $S^{d-2}$. Additionally, the solution exhibits a non-radial implosion, accompanied by a stable swirl velocity that is sufficiently strong to initially dominate the non-radial components and to generate the vorticity blowup.

In this paper, we consider the Cauchy problem for the three-dimensional barotropic compressible Navier-Stokes equations with density-dependent viscosities. By considering the system as an elliptic-dominated structure and defining suitable energy functionals, after the elaborate index analysis, we establish the global existence of strong solutions as long as the initial data is large enough. This is a big contrast to the classical results where the initial data is a small perturbation of some resting states.

We consider a total variation type energy which measures the jump discontinuities different from usual total variation energy. Such a type of energy is obtained as a singular limit of the Kobayashi-Warren-Carter energy with minimization with respect to the order parameter. We consider the Rudin-Osher-Fatemi type energy by replacing relaxation term by this type of total variation energy. We show that all minimizers are piecewise constant if the data is continuous in one-dimensional setting. Moreover, the number of jumps is bounded by an explicit constant involving a constant related to the fidelity. This is quite different from conventional Rudin-Osher-Fatemi energy where a minimizer must have no jump if the data has no jumps. The existence of a minimizer is guaranteed in multi-dimensional setting when the data is bounded.

We prove the stability of $L^{1}$ self-similar profiles under the hard-to-Maxwell potential limit for the one-dimensional inelastic Boltzmann equation with moderately hard potentials which, in turn, leads to the uniqueness of such profiles for hard potentials collision kernels of the form $|\cdot|^{\gamma}$ with $\gamma >0$ sufficiently small (explicitly quantified). Our result provides the first uniqueness statement for self-similar profiles of inelastic Boltzmann models allowing for strong inelasticity besides the explicitly solvable case of Maxwell interactions (corresponding to $\gamma=0$). Our approach relies on a perturbation argument from the corresponding Maxwell model and a careful study of the associated linearized operator recently derived in the companion paper \cite{maxwel}. The results can be seen as a first step towards a complete proof, in the one-dimensional setting, of a conjecture in \cite{ernst} regarding the determination of the long-time behaviour of solutions to inelastic Boltzmann equation, at least, in a regime of moderately hard potentials.

Given two curves bounding a region of area $A$ that evolve under curve shortening flow, we propose the principle that the regularity of one should be controllable in terms of the regularity of the other, starting from time $A/\pi$. We prove several results of this form and demonstrate that no estimate can hold before that time. As an example application, we construct solutions to graphical curve shortening flow starting with initial data that is merely an $L^1$ function.

In this paper, we aim to develop a new weak formulation that ensures well-posedness for a broad range of stochastic partial differential equations with pseudo-differential operators whose symbols depend only on time and spatial frequencies. The main focus of this paper is to relax the conditions on the symbols of pseudo-differential operators and data while still ensuring that the stochastic partial differential equations remain well-posed in a weak sense. Specifically, we allow symbols to be random and remove all regularity and ellipticity conditions on them. As a result, our main operators include many interesting rough operators that cannot generate any regularity gain or integrability improvement from the equations. In addition, our data do not need to be regular or possess finite stochastic moments.

We extend the semigroup approach used in [19, 17] to provide shorter proofs of the reconstruction theorem and the multilevel Schauder estimate for singular modelled distributions.

Linear programs with quadratic regularization are attracting renewed interest due to their applications in optimal transport: unlike entropic regularization, the squared-norm penalty gives rise to sparse approximations of optimal transport couplings. It is well known that the solution of a quadratically regularized linear program over any polytope converges stationarily to the minimal-norm solution of the linear program when the regularization parameter tends to zero. However, that result is merely qualitative. Our main result quantifies the convergence by specifying the exact threshold for the regularization parameter, after which the regularized solution also solves the linear program. Moreover, we bound the suboptimality of the regularized solution before the threshold. These results are complemented by a convergence rate for the regime of large regularization. We apply our general results to the setting of optimal transport, where we shed light on how the threshold and suboptimality depend on the number of data points.