The general optimal L-Euclidean logarithmic Sobolev inequality by Hamilton-Jacobi equations

We prove a general optimal L^p-Euclidean logarithmic Sobolev inequality by using Prékopa-Leindler inequality and a special Hamilton-Jacobi equation. In particular we generalize the inequality proved by Del Pino and Dolbeault in (J. Funt. Anal.).     

An optimal logarithmic Sobolev inequality with Lipschitz constants

In this paper, we give an optimal logarithmic Sobolev inequality on Rn with Lipschitz constants. This inequality is a limit case of the Lp-logarithmic Sobolev inequality of Gentil (2003) [7] as p→∞. As a result of our inequality, we show that if a Lipschitz continuous function f on Rn fulfills some condition, then its Lipschitz constant can be expressed by using the entropy of f. We also show that a hypercontractivity of exponential type occurs in the heat equation on Rn. This is due to the Lipschitz regularizing effect of the heat equation.     

General Sobolev type inequalities for symmetric forms

A general Sobolev type inequality is introduced and studied for general symmetric forms by defining a new type of Cheeger's isoperimetric constant. Finally, concentration of measure for the Lp type logarithmic Sobolev inequality is presented.     

On a parabolic logarithmic Sobolev inequality

In order to extend the blow-up criterion of solutions to the Euler equations, Kozono and Taniuchi [H. Kozono, Y. Taniuchi, Limiting case of the Sobolev inequality in BMO, with application to the Euler equations, Comm. Math. Phys. 214 (2000) 191-200] have proved a logarithmic Sobolev inequality by means of isotropic (elliptic) BMO norm. In this paper, we show a parabolic version of the Kozono-Taniuchi inequality by means of anisotropic (parabolic) BMO norm. More precisely we give an upper bound for the L^∞ norm of a function in terms of its parabolic BMO norm, up to a logarithmic correction involving its norm in some Sobolev space. As an application, we also explain how to apply this inequality in order to establish a long-time existence result for a class of nonlinear parabolic problems.     

Heat kernel analysis on semi-infinite Lie groups

This paper studies Brownian motion and heat kernel measure on a class of infinite dimensional Lie groups. We prove a Cameron-Martin type quasi-invariance theorem for the heat kernel measure and give estimates on the Lp norms of the Radon-Nikodym derivatives. We also prove that a logarithmic Sobolev inequality holds in this setting.     

A proof of Hessian Sobolev inequality

In this paper, taking the Hessian Sobolev inequality (0<p≤k) (X.-J. Wang, 1994 [2]) as the starting point, we give a proof of the Hessian Sobolev inequality when k<p≤k^∗, where k^∗ is the critical Sobolev embedding index of k-Hessian type. We also prove that k^∗ is optimal by one-dimensional Hardy’s inequality.     

Heat kernel analysis on infinite-dimensional Heisenberg groups

We introduce a class of non-commutative Heisenberg-like infinite-dimensional Lie groups based on an abstract Wiener space. The Ricci curvature tensor for these groups is computed and shown to be bounded. Brownian motion and the corresponding heat kernel measures, {νt}_t>0, are also studied. We show that these heat kernel measures admit: (1) Gaussian like upper bounds, (2) Cameron-Martin type quasi-invariance results, (3) good Lp-bounds on the corresponding Radon-Nikodym derivatives, (4) integration by parts formulas, and (5) logarithmic Sobolev inequalities. The last three results heavily rely on the boundedness of the Ricci tensor.     

The sharp quantitative Sobolev inequality for functions of bounded variation

The classical Sobolev embedding theorem of the space of functions of bounded variation BV(Rn) into Ln^′(Rn) is proved in a sharp quantitative form.     

Geometry of unbounded domains,poincaré inequalities and stability in semilinear parabolic equations

We investigate thc close relations existing between certain geometric properties of domains Ω of R^N, the validity of Poincark inequalities in Ω, and the behavior of solutions of semilinear parabolic equations. For the equation u_t-△u=|u|^p-1 we obtain a purely geometric, necessary and sufficient condition on Ω, for the 0 solution to be asymptotically (and exponentially) stable in L^r(ω)1<r<∞ when r is supercritical(r>N(p-1)/2 . The condition is that the inradius of Ω be finite. The result is different for r critical. For the equation u_t-△u=u^p-μ|u|^q,q≥p>1,μ>0 we prove that the finiteness of the inradius is a necessary and sufficient condition for global existence and boundedness of all nonnegative solutions.     

Linking solutions for p-Laplace equations with nonlinearity at critical growth

Under a suitable condition on n and p, the quasilinear equation at critical growth −Δpu=λ|u|^p−2u+|u|^p∗−2u is shown to admit a nontrivial weak solution for any λ?λ₁. Nonstandard linking structures, for the associated functional, are recognized.     

On global attractor for nonlinear parabolic equations of m-Laplacian type

Existence and some regularity results of global attractor in Lq, q?1, for m-Laplacian type quasilinear parabolic equation with a perturbation like a(x)(α|u|u−β|u|u)+f(x) with α>β?0, a(x)?0 are proved. For the proofs Moser's technique is used extensively.     

The shape of extremal functions for Poincaré-Sobolev-type inequalities in a ball

We study extremal functions for a family of Poincaré-Sobolev-type inequalities. These functions minimize, for subcritical or critical p?2, the quotient ‖∇u_‖2/‖up_‖ among all u∈H¹(B)?{0} with B_∫u=0. Here B is the unit ball in RN. We show that the minimizers are axially symmetric with respect to a line passing through the origin. We also show that they are strictly monotone in the direction of this line. In particular, they take their maximum and minimum precisely at two antipodal points on the boundary of B. We also prove that, for p close to 2, minimizers are antisymmetric with respect to the hyperplane through the origin perpendicular to the symmetry axis, and that, once the symmetry axis is fixed, they are unique (up to multiplication by a constant). In space dimension two, we prove that minimizers are not antisymmetric for large p.     

Gradient estimate for solutions to Poisson equations in metric measure spaces

Let (X,d) be a complete, pathwise connected metric measure space with a locally Ahlfors Q-regular measure μ, where Q>1. Suppose that (X,d,μ) supports a (local) (1,2)-Poincaré inequality and a suitable curvature lower bound. For the Poisson equation Δu=f on (X,d,μ), Moser-Trudinger and Sobolev inequalities are established for the gradient of u. The local Hölder continuity with optimal exponent of solutions is obtained.     

The L resolvents of elliptic operators with uniformly continuous coefficients

We consider the strongly elliptic operator A of order 2m in the divergence form with bounded measurable coefficients and assume that the coefficients of top order are uniformly continuous. For 1<p<∞, A is a bounded linear operator from the L^p Sobolev space H^m,p into H^−m,p. We will prove that (A−λ)⁻¹ exists in H^−m,p for some λ and estimate its operator norm.     

A sufficient condition for the existence of a “dead zone” for solutions of degenerate semilinear parabolic equations and inequalities

We consider the solutions of degenerate parabolic equations and inequalities of the formLu-u _t = |u| ^q sgnu and sgnu(Lu−u _t )−|u| ^q ≥0, 0<q<1, with the elliptic operatorL in divergent or nondivergent form. We establish a dependence of the maximum modulus of the solution on the domain and on the equation (inequality) such that this dependence guarantees the existence of a “dead zone” of the solution. In this case, the character of degeneracy is unessential. Translated fromMatematicheskie Zametki, Vol. 60, No. 6, pp. 824–831, December, 1996.     

A new criterion for the logarithmic Sobolev inequality and two applications

We give a criterion for the logarithmic Sobolev inequality (LSI) on the product space X₁×?×XN. We have in mind an N-site lattice, unbounded continuous spin variables, and Glauber dynamics. The interactions are described by the Hamiltonian H of the Gibbs measure. The criterion for LSI is formulated in terms of the LSI constants of the single-site conditional measures and the size of the off-diagonal entries of the Hessian of H. It is optimal for Gaussians with positive covariance matrix. To illustrate, we give two applications: one with weak interactions and one with strong interactions and a decay of correlations condition.     

Hypoelliptic heat kernel inequalities on the Heisenberg group

We study the existence of “L^p-type” gradient estimates for the heat kernel of the natural hypoelliptic “Laplacian” on the real three-dimensional Heisenberg Lie group. Using Malliavin calculus methods, we verify that these estimates hold in the case p>1. The gradient estimate for p=2 implies a corresponding Poincaré inequality for the heat kernel. The gradient estimate for p=1 is still open; if proved, this estimate would imply a logarithmic Sobolev inequality for the heat kernel.     

Computing Schrödinger propagators on Type-2 Turing machines

We study Turing computability of the solution operators of the initial-value problems for the linear Schrödinger equation u_t=iΔu+φ and the nonlinear Schrödinger equation of the form iu_t=-Δu+mu+|u|²u. We prove that the solution operators are computable if the initial data are Sobolev functions but noncomputable in the linear case if the initial data are L^p-functions and p≠2. The computations are performed on Type-2 Turing machines.     

Carleman Estimates for the Schrdinger Equation and Applications to an Inverse Problem and an Observability Inequality

The authors prove Carleman estimates for the Schrdinger equation in Sobolev spaces of negative orders, and use these estimates to prove the uniqueness in the inverse problem of determining Lp-potentials. An L2-level observability inequality and unique continuation results for the Schrdinger equation are also obtained.