Hölder continuity of solutions of supercritical dissipative hydrodynamic transport equations

We examine the regularity of weak solutions of quasi-geostrophic (QG) type equations with supercritical (α<1/2$\alpha <1/2$) dissipation α(−Δ)${(-\mathrm{\Delta })}^{\alpha }$. This study is motivated by a recent work of Caffarelli and Vasseur, in which they study the global regularity issue for the critical (α=1/2$\alpha =1/2$) QG equation [L. Caffarelli, A. Vasseur, Drift diffusion equations with fractional diffusion and the quasi-geostrophic equation, arXiv: math.AP/0608447, 2006]. Their approach successively increases the regularity levels of Leray–Hopf weak solutions: from L²$L^2$ to L^∞$L^{\infty }$, from L^∞$L^{\infty }$ to Hölder (Cδ$C^{\delta }$, δ>0$\delta >0$), and from Hölder to classical solutions. In the supercritical case, Leray–Hopf weak solutions can still be shown to be L^∞$L^{\infty }$, but it does not appear that their approach can be easily extended to establish the Hölder continuity of L^∞$L^{\infty }$ solutions. In order for their approach to work, we require the velocity to be in the Hölder space C1−2α$C^{1-2\alpha }$. Higher regularity starting from Cδ$C^{\delta }$ with δ>1−2α$\delta >1-2\alpha$ can be established through Besov space techniques and will be presented elsewhere [P. Constantin, J. Wu, Regularity of Hölder continuous solutions of the supercritical quasi-geostrophic equation, Ann. Inst. H. Poincaré Anal. Non Linéaire, in press].     

Gaussian bounds for higher-order elliptic differential operators with Kato type potentials

Let P(D)$P(D)$ be a nonnegative homogeneous elliptic operator of order 2m   with real constant coefficients on Rⁿ${\mathbb{R}}^n$ and V   be a suitable real measurable function. In this paper, we are mainly devoted to establish the Gaussian upper bound for Schrödinger type semigroup e^−tH$e^{-tH}$ generated by H=P(D)+V$H=P(D)+V$ with Kato type perturbing potential V  , which naturally generalizes the classical result for Schrödinger semigroup e^−t(Δ+V)$e^{-t(\mathrm{\Delta }+V)}$ as V∈_K2(Rⁿ)$V\in K_2({\mathbb{R}}^n)$, the famous Kato potential class. Our proof significantly depends on the analyticity of the free semigroup e^−tP(D)$e^{-tP(D)}$ on L¹(Rⁿ)$L^1({\mathbb{R}}^n)$. As a consequence of the Gaussian upper bound, the L^p$L^p$-spectral independence of H is concluded.     

Korn type inequalities in Orlicz spaces

We exhibit balance conditions between a Young function A and a Young function B   for a Korn type inequality to hold between the L^B$L^B$ norm of the gradient of vector-valued functions and the L^A$L^A$ norm of its symmetric part. In particular, we extend a standard form of the Korn inequality in L^p$L^p$, with 1<p<∞$1<p<\infty$, and an Orlicz version involving a Young function A   satisfying both the _Δ2${\mathrm{\Delta }}_2$ and the _∇2${\mathrm{\nabla }}_2$ condition.     

Concentration and multiplicity of solutions for a fourth-order equation with critical nonlinearity

In this paper, we consider the problem (_Pε)$(P_{\epsilon })$ : Δ²u=u^n+4/n-4+εu,u>0${\mathrm{\Delta }}^{2}u=u^{n+4/n-4}+\epsilon u,u>0$ in Ω,u=Δu=0$\Omega ,u=\mathrm{\Delta }u=0$ on ∂Ω$\mathrm{\partial }\Omega$, where Ω$\Omega$ is a bounded and smooth domain in Rⁿ,n>8${\mathbb{R}}^n,n>8$ and ε>0$\epsilon >0$. We analyze the asymptotic behavior of solutions of (_Pε)$(P_{\epsilon })$ which are minimizing for the Sobolev inequality as ε→0$\epsilon \to 0$ and we prove existence of solutions to (_Pε)$(P_{\epsilon })$ which blow up and concentrate around a critical point of the Robin's function. Finally, we show that for ε$\epsilon$ small, (_Pε)$(P_{\epsilon })$ has at least as many solutions as the Ljusternik–Schnirelman category of Ω$\Omega$.     

Reduced limit for semilinear boundary value problems with measure data

We study boundary value problems for semilinear elliptic equations of the form −Δu+g°u=μ$-\mathrm{\Delta }u+g°u=\mu$ in a smooth bounded domain Ω⊂R^N$\Omega \subset R^N$. Let {_μn}$\{{\mu }_n\}$ and {_νn}$\{{\nu }_n\}$ be sequences of measure in Ω and ∂Ω   respectively. Assume that there exists a solution _un$u_n$ with data (_μn,_νn)$({\mu }_n,{\nu }_n)$, i.e., _un$u_n$ satisfies the equation with μ=_μn$\mu ={\mu }_n$ and has boundary trace _νn${\nu }_n$. Further assume that the sequences of measures converge in a weak sense to μ and ν   respectively while {_un}$\{u_n\}$ converges to u   in L¹(Ω)$L^1(\Omega )$. In general u   is not a solution of the boundary value problem with data (μ,ν)$(\mu ,\nu )$. However there exists a pair of measures (μ^?,ν^?)$({\mu }^{?},{\nu }^{?})$ such that u   is a solution of the boundary value problem with this data. The pair (μ^?,ν^?)$({\mu }^{?},{\nu }^{?})$ is called the reduced limit of the sequence {(_μn,_νn)}$\{({\mu }_n,{\nu }_n)\}$. We investigate the relation between the weak limit and the reduced limit and the dependence of the latter on the sequence. A closely related problem was studied by Marcus and Ponce [3].     

A semilinear elliptic problem on unbounded domains with reverse penalty

In the well-known work of P.-L. Lions [The concentration–compactness principle in the calculus of variations, The locally compact case, part 1. Ann. Inst. H. Poincaré, Analyse Non Linéaire 1 (1984) 109–1453] existence of positive solutions to the equation -Δu+u=b(x)u^p-1$-\mathrm{\Delta }u+u=b(x)u^{p-1}$, u>0$u>0$, u∈H¹(R^N)$u\in H^1({\mathbb{R}}^N)$, p∈(2,2N/(N-2))$p\in (2,2N/(N-2))$ was proved under assumption b(x)?_b∞?_lim|x|→∞b(x)$b(x)?b_{\infty }?{\lim }_{\left|x\right|\to \infty }b(x)$. In this paper we prove the existence for certain functions b   satisfying the reverse inequality b(x)<_b∞$b(x)<b_{\infty }$. For any periodic lattice L   in R^N${\mathbb{R}}^N$ and for any b∈C(R^N)$b\in C({\mathbb{R}}^N)$ satisfying b(x)<_b∞$b(x)<b_{\infty }$, _b∞>0$b_{\infty }>0$, there is a finite set Y⊂L$Y\subset L$ and a convex combination b^Y$b^Y$ of b(·-y)$b(·-y)$, y∈Y$y\in Y$, such that the problem -Δu+u=b^Y(x)u^p-1$-\mathrm{\Delta }u+u=b^Y(x)u^{p-1}$ has a positive solution u∈H¹(R^N)$u\in H^1({\mathbb{R}}^N)$.     

Unbounded order convergence in dual spaces

A net (_xα)$(x_{\alpha })$ in a vector lattice X   is said to be unbounded order convergent (or uo-convergent, for short) to x∈X$x\in X$ if the net (|_xα−x|∧y)$(|x_{\alpha }-x|\wedge y)$ converges to 0 in order for all y∈_X+$y\in X_{+}$. In this paper, we study unbounded order convergence in dual spaces of Banach lattices. Let X   be a Banach lattice. We prove that every norm bounded uo-convergent net in X^?$X^{?}$ is w^?$w^{?}$-convergent iff X   has order continuous norm, and that every w^?$w^{?}$-convergent net in X^?$X^{?}$ is uo-convergent iff X is atomic with order continuous norm. We also characterize among σ  -order complete Banach lattices the spaces in whose dual space every simultaneously uo- and w^?$w^{?}$-convergent sequence converges weakly/in norm.     

Regularity of Hölder continuous solutions of the supercritical quasi-geostrophic equation

We present a regularity result for weak solutions of the 2D quasi-geostrophic equation with supercritical (α<1/2$\alpha <1/2$) dissipation α(−Δ)${(-\mathrm{\Delta })}^{\alpha }$: If a Leray–Hopf weak solution is Hölder continuous θ∈Cδ(R²)$\theta \in C^{\delta }({\mathbb{R}}^2)$ with δ>1−2α$\delta >1-2\alpha$ on the time interval [t₀,t]$[t_0,t]$, then it is actually a classical solution on (t₀,t]$(t_0,t]$.     

Semilinear fractional elliptic equations involving measures

We study the existence of weak solutions to (E) (−Δ)^αu+g(u)=ν${(-\mathrm{\Delta })}^{\alpha }u+g(u)=\nu$ in a bounded regular domain Ω   in R^N(N≥2)${\mathbb{R}}^N(N\ge 2)$ which vanish in R^N?Ω${\mathbb{R}}^N?\Omega$, where (−Δ)^α${(-\mathrm{\Delta })}^{\alpha }$ denotes the fractional Laplacian with α∈(0,1)$\alpha \in (0,1)$, ν is a Radon measure and g is a nondecreasing function satisfying some extra hypotheses. When g satisfies a subcritical integrability condition, we prove the existence and uniqueness of weak solution for problem (E) for any measure. In the case where ν   is a Dirac measure, we characterize the asymptotic behavior of the solution. When g(r)=|r|^k−1r$g(r)={|r|}^{k-1}r$ with k supercritical, we show that a condition of absolute continuity of the measure with respect to some Bessel capacity is a necessary and sufficient condition in order (E) to be solved.     

Hypergroups and invariant complemented subspaces

Let K   be a hypergroup with a Haar measure. The purpose of the present paper is to initiate a systematic approach to the study of the class of invariant complemented subspaces of _L∞(K)$L_{\infty }(K)$ and _C0(K)$C_0(K)$, the class of left translation invariant w^?$w^{?}$-subalgebras of _L∞(K)$L_{\infty }(K)$ and finally the class of non-zero left translation invariant C^?$C^{?}$-subalgebras of _C0(K)$C_0(K)$ in the hypergroup context with the goal of finding some relations between these function spaces. Among other results, we construct two correspondences: one, between closed Weil subhypergroups and certain left translation invariant w^?$w^{?}$-subalgebras of _L∞(K)$L_{\infty }(K)$, and another, between compact subhypergroups and a specific subclass of the class of left translation invariant C^?$C^{?}$-subalgebras of _C0(K)$C_0(K)$. By the help of these two characterizations, we extract some results about invariant complemented subspaces of _L∞(K)$L_{\infty }(K)$ and _C0(K)$C_0(K)$.     

On words that are concise in residually finite groups

A group-word w$w$ is called concise if whenever the set of w$w$-values in a group G$G$ is finite it always follows that the verbal subgroup w(G)$w\left(G\right)$ is finite. More generally, a word w$w$ is said to be concise in a class of groups X$X$ if whenever the set of w$w$-values is finite for a group G∈X$G\in X$, it always follows that w(G)$w\left(G\right)$ is finite. P. Hall asked whether every word is concise. Due to Ivanov the answer to this problem is known to be negative. Dan Segal asked whether every word is concise in the class of residually finite groups. In this direction we prove that if w$w$ is a multilinear commutator and q$q$ is a prime-power, then the word w^q$w^q$ is indeed concise in the class of residually finite groups. Further, we show that in the case where w=_γk$w={\gamma }_k$ the word w^q$w^q$ is boundedly concise in the class of residually finite groups. It remains unknown whether the word w^q$w^q$ is actually concise in the class of all groups.     

On the sum of two closed subspaces

If U,V$U,V$ are closed subspaces of a Fréchet space, then E$E$ is the direct sum of U$U$ and V$V$ if and only if E^′$E^{\prime }$ is the algebraic direct sum of the annihilators U^°$U^{°}$ and V^°$V^{°}$. We provide a simple proof of this (possibly well-known) result.     

Hardy and uncertainty inequalities on stratified Lie groups

We prove various Hardy-type and uncertainty inequalities on a stratified Lie group G  . In particular, we show that the operators _Tα:f?|⋅|^−αL^−α/2f$T_{\alpha }:f?{|\cdot |}^{-\alpha }{L}^{-\alpha /2}f$, where |⋅|$|\cdot |$ is a homogeneous norm, 0<α<Q/p$0<\alpha <Q/p$, and L   is the sub-Laplacian, are bounded on the Lebesgue space L^p(G)$L^p(G)$. As consequences, we estimate the norms of these operators sufficiently precisely to be able to differentiate and prove a logarithmic uncertainty inequality. We also deduce a general version of the Heisenberg–Pauli–Weyl inequality, relating the L^p$L^p$ norm of a function f   to the L^q$L^q$ norm of |⋅|^βf${|\cdot |}^{\beta }f$ and the L^r$L^r$ norm of L^δ/2f$L^{\delta /2}f$.     

A note on irreducible,infinite Coxeter groups

A new proof is given for the statement: For an irreducible, infinite Coxeter group (W,S)$(W,S)$ and w∈W$w\in W$, if wSw^-1=S${\mathit{wSw}}^{-1}=S$, then w=1$w=1$ (the identity element of W).     

An improvement for the Trudinger–Moser inequality and applications

In line with the Concentration–Compactness Principle due to P.-L. Lions [19], we study the lack of compactness of Sobolev embedding of W^1,n(Rⁿ)$W^{1,n}({\mathbb{R}}^n)$, n?2$n?2$, into the Orlicz space _LΦα$L_{{\Phi }_{\alpha }}$ determined by the Young function _Φα(s)${\Phi }_{\alpha }(s)$ behaving like e^{α|s|n/(n−1)}−1$e^{\alpha {|s|}^{n/(n-1)}}-1$ as |s|→+∞$|s|\to +\infty$. In the light of this result we also study existence of ground state solutions for a class of quasilinear elliptic problems involving critical growth of the Trudinger–Moser type in the whole space Rⁿ${\mathbb{R}}^n$.