Related papers: Lieb-Thirring inequality on the four-dimensional s…

We present a formal verification of the classical isoperimetric inequality in the plane using the Lean 4 proof assistant and its mathematical library Mathlib. We follow Adolf Hurwitz's analytic approach to establish the inequality $L^2 \ge…

We study the small scale distribution of the $L^2$ mass of eigenfunctions of the Laplacian on the flat torus $\mathbb T^d$. Given an orthonormal basis of eigenfunctions, we show the existence of a density one subsequence whose $L^2$ mass…

Consider the constitutive law for an isotropic elastic solid with the strain-energy function expanded up to the fourth order in the strain, and the stress up to the third order in the strain. The stress-strain relation can then be inverted…

In any dimension $n\geq 3$, we prove an optimal stability estimate for the M\"obius group among maps $u\colon \mathbb S^{n-1} \to \mathbb R^n$, of the form $\inf_{\lambda>0,\phi\in \mathrm{M\"ob}(\mathbb S^{n-1})} \int_{\mathbb…

We consider the defocusing quintic nonlinear Schr\"odinger equation in four space dimensions. We prove that any solution that remains bounded in the critical Sobolev space must be global and scatter. We employ a space-localized interaction…

We explicitly solve a variational problem related to upper bounds on the optimal constants in the Cwikel--Lieb--Rozenblum (CLR) and Lieb--Thirring (LT) inequalities, which has recently been derived in [Invent. Math. 231 (2023), no.1,…

In this article, we studied the behavior of relativistic spherical objects considering Tolman IV spacetime in modified $f(R,\,T)$ gravity for the uncharged perfect fluid matter. We have chosen the matter Lagrangian as $\mathcal{L}_m=-p$ to…

We study two closely related problems stemming from the random wave conjecture for Maass forms. The first problem is bounding the $L^4$-norm of a Maass form in the large eigenvalue limit; we complete the work of Spinu to show that the…

We establish new orthonormal Strichartz estimates for the fractional Schr\"odinger equations on torus $\mathbb T$ and waveguide manifold $\mathbb R^n\times \mathbb T^m$. We generalizes the result of Nakamura [42] on torus; while this is the…

In this paper we prove a sharp trilinear inequality which is motivated by a program to obtain the sharp form of the $L^2 - L^6$ Tomas-Stein adjoint restriction inequality on the circle. Our method uses intricate estimates for integrals of…

We present some observations on the tau-function for the fourth Painlev\'e equation. By considering a Hirota bilinear equation of order four for this tau-function, we describe the general form of the Taylor expansion around an arbitrary…

We study the nonlinear Schr\"odinger equation with a competing cubic-quintic power law nonlinearity on the waveguide domain $\mathbb R_x \times \mathbb T_{L_y}$. This model is globally well-posed and admits line solitary wave solutions,…

In recent work, Etayo introduces a new Bombieri-type inequality for monic polynomials. Here we reinterpret this new inequality as a more general integral inequality involving the Green function for the sphere. This rather geometric…

This work focuses on an improved fractional Sobolev inequality with a remainder term involving the Hardy-Littlewood-Sobolev inequality which has been proved recently. By extending a recent result on the standard Laplacian to the fractional…

The nonlinear Schr\"odinger equation NLSE(p, \beta), -iu_t=-u_{xx}+\beta | u|^{p-2} u=0, arises from a Hamiltonian on infinite-dimensional phase space \Lp^2(\mT). For p\leq 6, Bourgain (Comm. Math. Phys. 166 (1994), 1--26) has shown that…

A filtered Lie splitting scheme is proposed for the time integration of the cubic nonlinear Schr\"odinger equation on the two-dimensional torus $\mathbb{T}^2$. The scheme is analyzed in a framework of discrete Bourgain spaces, which allows…

This paper is dedicated to the exploration of the conformal Willmore functional for surfaces within 4-dimensional conformal manifolds. We provide a detailed calculation of both the first and second variations, and present the Euler-Lagrange…

We introduce and analyze a symmetric low-regularity scheme for the nonlinear Schr\"odinger (NLS) equation beyond classical Fourier-based techniques. We show fractional convergence of the scheme in $L^2$-norm, from first up to second order,…

We are interested in the Logarithmic Sobolev Inequality for the infinite volume Gibbs measure with no quadratic interactions. We consider unbounded spin systems on the one dimensional Lattice with interactions that go beyond the usual…

Work of Ni and Zhang has shown that for the torus knot $T_{r,s}$ with $r>s>1$ every surgery slope $p/q \geq \frac{30}{67}(r^2-1)(s^2-1)$ is a characterizing slope. In this paper, we show that this can be lowered to a bound which is linear…