A gaussian estimate for the heat kernel on differential forms and application to the Riesz transform

Let $(M,g)$ be a complete Riemannian manifold which satisfies a Sobolev inequality of dimension $n$ , and on which the volume growth is comparable to the one of ${\mathbb{R }}^n$ for big balls; if there is no non-zero $L^2$ harmonic 1-form, and the Ricci tensor is in $L^{\frac{n}{2}-\varepsilon }\cap L^\infty $ for an $\varepsilon >0$ , then we prove a Gaussian estimate on the heat kernel of the Hodge Laplacian acting on 1-forms. This allows us to prove that, under the same hypotheses, the Riesz transform $d\varDelta ^{-1/2}$ is bounded on $L^p$ for all $1<p<\infty $ . Then, in presence of non-zero $L^2$ harmonic 1-forms, we prove that the Riesz transform is still bounded on $L^p$ for all $1<p<n$ , when $n>3$ .     

A T(1)-Theorem for non-integral operators

Let $X$ be a space of homogeneous type and let $L$ be a sectorial operator with bounded holomorphic functional calculus on $L^2(X)$ . We assume that the semigroup $\{e^{-tL}\}_{t>0}$ satisfies Davies–Gaffney estimates. Associated with $L$ are certain approximations of the identity. We call an operator $T$ a non-integral operator if compositions involving $T$ and these approximations satisfy certain weighted norm estimates. The Davies–Gaffney and the weighted norm estimates are together a substitute for the usual kernel estimates on $T$ in Calderón–Zygmund theory. In this paper, we show, under the additional assumption that a vertical Littlewood–Paley–Stein square function associated with $L$ is bounded on $L^2(X)$ , that a non-integral operator $T$ is bounded on $L^2(X)$ if and only if $T(1) \in BMO_L(X)$ and $T^{*}(1) \in BMO_{L^{*}}(X)$ . Here, $BMO_L(X)$ and $BMO_{L^{*}}(X)$ denote the recently defined $BMO(X)$ spaces associated with $L$ that generalize the space $BMO(X)$ of John and Nirenberg. Generalizing a recent result due to F. Bernicot, we show a second version of a $T(1)$ -Theorem under weaker off-diagonal estimates, which gives a positive answer to a question raised by him. As an application, we prove $L^2(X)$ -boundedness of a paraproduct operator associated with $L$ . We moreover study criterions for a $T(b)$ -Theorem to be valid.     

Strongly embedded subspaces of p-convex Banach function spaces

Let $X(\mu )$ be a p-convex ( $1\le p<\infty $ ) order continuous Banach function space over a positive finite measure  $\mu $ . We characterize the subspaces of  $X(\mu )$ which can be found simultaneously in  $X(\mu )$ and a suitable $L^1(\eta )$ space, where $\eta $ is a positive finite measure related to the representation of  $X(\mu )$ as an $L^p(m)$ space of a vector measure  $m$ . We provide in this way new tools to analyze the strict singularity of the inclusion of  $X(\mu )$ in such an $L^1$ space. No rearrangement invariant type restrictions on  $X(\mu )$ are required.     

Sobolev regularity of the \overline{\partial }-equation on the Hartogs triangle

The regularity of the $\overline{\partial }$ -problem on the domain $\{\left|{z_1}\right|\!<\!\left|{z_2}\right|\!<\!1\}$ in $\mathbb C ^2$ is studied using $L^2$ -methods. Estimates are obtained for the canonical solution in weighted $L^2$ -Sobolev spaces with a weight that is singular at the point $(0,0)$ . In particular, the singularity of the Bergman projection for the Hartogs triangle is contained at the singular point and it does not propagate.     

Optimal L^2, H^1 and L^\infty analysis of finite volume methods for the stationary Navier–Stokes equations with large data

Previous work on the stability and convergence analysis of numerical methods for the stationary Navier–Stokes equations was carried out under the uniqueness condition of the solution, which required that the data be small enough in certain norms. In this paper an optimal analysis for the finite volume methods is performed for the stationary Navier–Stokes equations, which relaxes the solution uniqueness condition and thus the data requirement. In particular, optimal order error estimates in the $H^1$ -norm for velocity and the $L^2$ -norm for pressure are obtained with large data, and a new residual technique for the stationary Navier–Stokes equations is introduced for the first time to obtain a convergence rate of optimal order in the $L^2$ -norm for the velocity. In addition, after proving a number of additional technical lemmas including weighted $L^2$ -norm estimates for regularized Green’s functions associated with the Stokes problem, optimal error estimates in the $L^\infty $ -norm are derived for the first time for the velocity gradient and pressure without a logarithmic factor $O(|\log h|)$ for the stationary Naiver–Stokes equations.     

Classical and Sobolev orthogonality of the nonclassical Jacobi polynomials with parameters \alpha =\beta =-1

In this paper, we consider the second-order differential expression $$\begin{aligned} \ell [y](x)=(1-x^{2})(-(y^{\prime }(x))^{\prime }+k(1-x^{2})^{-1} y(x))\quad (x\in (-1,1)). \end{aligned}$$ This is the Jacobi differential expression with nonclassical parameters $\alpha =\beta =-1$ in contrast to the classical case when $\alpha ,\beta >-1$ . For fixed $k\ge 0$ and appropriate values of the spectral parameter $\lambda ,$ the equation $\ell [y]=\lambda y$ has, as in the classical case, a sequence of (Jacobi) polynomial solutions $\{P_{n}^{(-1,-1)} \}_{n=0}^{\infty }.$ These Jacobi polynomial solutions of degree $\ge 2$ form a complete orthogonal set in the Hilbert space $L^{2}((-1,1);(1-x^{2})^{-1})$ . Unlike the classical situation, every polynomial of degree one is a solution of this eigenvalue equation. Kwon and Littlejohn showed that, by careful selection of this first-degree solution, the set of polynomial solutions of degree $\ge 0$ are orthogonal with respect to a Sobolev inner product. Our main result in this paper is to construct a self-adjoint operator $T$ , generated by $\ell [\cdot ],$ in this Sobolev space that has these Jacobi polynomials as a complete orthogonal set of eigenfunctions. The classical Glazman–Krein–Naimark theory is essential in helping to construct $T$ in this Sobolev space as is the left-definite theory developed by Littlejohn and Wellman.     

Induced and reduced unbounded operator algebras

The induction and reduction precesses of an O*-vector space ${{\mathfrak M}}$ obtained by means of a projection taken, respectively, in ${{\mathfrak M}}$ itself or in its weak bounded commutant ${{\mathfrak M}^\prime_{\rm w}}$ are studied. In the case where ${{\mathfrak M}}$ is a partial GW*-algebra, sufficient conditions are given for the induced and the reduced spaces to be partial GW*-algebras again.     

Positive kernel operators in L^{p(x)} spaces

A characterization of a weight $v$ governing the boundedness/compactness of the weighted kernel operator $K_v$ in variable exponent Lebesgue spaces $L^{p(\cdot )}$ is established under the log-Hölder continuity condition on exponents of spaces. The kernel operator involves, for example, weighted variable parameter fractional integral operators. The distance between $K_v$ and the class of compact integral operators acting from $L^{p(\cdot )}$ to $L^{q(\cdot )}$ (measure of non-compactness) is also estimated from above and below.     

Admissible closures of polynomial time computable arithmetic

We propose two admissible closures ${\mathbb{A}({\sf PTCA})}$ and ${\mathbb{A}({\sf PHCA})}$ of Ferreira??s system PTCA of polynomial time computable arithmetic and of full bounded arithmetic (or polynomial hierarchy computable arithmetic) PHCA. The main results obtained are: (i) ${\mathbb{A}({\sf PTCA})}$ is conservative over PTCA with respect to ${\forall\exists\Sigma^b_1}$ sentences, and (ii) ${\mathbb{A}({\sf PHCA})}$ is conservative over full bounded arithmetic PHCA for ${\forall\exists\Sigma^b_{\infty}}$ sentences. This yields that (i) the ${\Sigma^b_1}$ definable functions of ${\mathbb{A}({\sf PTCA})}$ are the polytime functions, and (ii) the ${\Sigma^b_{\infty}}$ definable functions of ${\mathbb{A}({\sf PHCA})}$ are the functions in the polynomial time hierarchy.     

Homology of Littlewood complexes

Let $V$ be a symplectic vector space of dimension $2n$ . Given a partition $\lambda $ with at most $n$ parts, there is an associated irreducible representation $\mathbf{{S}}_{[\lambda ]}(V)$ of $\mathbf{{Sp}}(V)$ . This representation admits a resolution by a natural complex $L^{\lambda }_{\bullet }$ , which we call the Littlewood complex, whose terms are restrictions of representations of $\mathbf{{GL}}(V)$ . When $\lambda $ has more than $n$ parts, the representation $\mathbf{{S}}_{[\lambda ]}(V)$ is not defined, but the Littlewood complex $L^{\lambda }_{\bullet }$ still makes sense. The purpose of this paper is to compute its homology. We find that either $L^{\lambda }_{\bullet }$ is acyclic or it has a unique nonzero homology group, which forms an irreducible representation of $\mathbf{{Sp}}(V)$ . The nonzero homology group, if it exists, can be computed by a rule reminiscent of that occurring in the Borel–Weil–Bott theorem. This result can be interpreted as the computation of the “derived specialization” of irreducible representations of $\mathbf{{Sp}}(\infty )$ and as such categorifies earlier results of Koike–Terada on universal character rings. We prove analogous results for orthogonal and general linear groups. Along the way, we will see two topics from commutative algebra: the minimal free resolutions of determinantal ideals and Koszul homology.     

True Poly-Bergman and Poly-Bergman Kernels for the Complement of a Closed Disk

Let $k$ and $j$ be positive integers. We prove that the action of the two-dimensional singular integral operators $(S_\Omega )^{j-1}$ and $(S_\Omega ^*)^{j-1}$ on a Hilbert base for the Bergman space $\mathcal{A }^2(\Omega )$ and anti-Bergman space $\mathcal{A }^2_{-1}(\Omega ),$ respectively, gives Hilbert bases $\{ \psi _{\pm j , k } \}_{ k }$ for the true poly-Bergman spaces $\mathcal{A }_{(\pm j)}^2(\Omega ),$ where $S_\Omega $ denotes the compression of the Beurling transform to the Lebesgue space $L^2(\Omega , dA).$ The functions $\psi _{\pm j,k}$ will be explicitly represented in terms of the $(2,1)$ -hypergeometric polynomials as well as by formulas of Rodrigues type. We prove explicit representations for the true poly-Bergman kernels and more transparent representations for the poly-Bergman kernels of $\Omega $ . We establish Rodrigues type formulas for the poly-Bergman kernels of $\mathbb{D }$ .     

Integrability of the general product Hardy operators on the product Hardy spaces

In this paper,we prove that the general product Hardy operators are bounded from the product Hardy space H1/n ( Rm1 ×…× Rmn ) to L 1 ( RΣni=1 mi).     

Sharp energy estimates for nonlinear fractional diffusion equations

We study the nonlinear fractional equation $(-\Delta )^su=f(u)$ in $\mathbb R ^n,$ for all fractions $0<s<1$ and all nonlinearities $f$ . For every fractional power $s\in (0,1)$ , we obtain sharp energy estimates for bounded global minimizers and for bounded monotone solutions. They are sharp since they are optimal for solutions depending only on one Euclidian variable. As a consequence, we deduce the one-dimensional symmetry of bounded global minimizers and of bounded monotone solutions in dimension $n=3$ whenever $1/2\le s<1$ . This result is the analogue of a conjecture of De Giorgi on one-dimensional symmetry for the classical equation $-\Delta u=f(u)$ in $\mathbb R ^n$ . It remains open for $n=3$ and $s<1/2$ , and also for $n\ge 4$ and all $s$ .     

f-algebras with a \sigma -bounded approximate unit

Let $X$ be a lattice ordered algebra ( $\ell $ -algebra). A positive element $x\in $ $X$ is said to be totally bounded if $x^{2}\le x$ . The $\ell $ -algebra $X$ is said to have a $\sigma $ -bounded approximate unit if for each positive linear functional $f$ on $X$ the set $\left\{ f(x)\text{: } x \text{ totally } \text{ bounded }\right\} $ is bounded in $\mathbb R $ . In this paper we study the class of $f$ -algebras with a $\sigma $ -bounded approximate unit which contains the class of all unital $f$ -algebras. In particular It is shown that an $f$ -algebra $X$ has a $\sigma $ -bounded approximate unit if and only if the order bidual $X^{\sim \sim }$ is a unital $f$ -algebra.     

A classification theorem for Helfrich surfaces

In this paper we study the functional $\mathcal W{} _{\lambda _1,\lambda _2}$ , which is the sum of the Willmore energy, $\lambda _1$ -weighted surface area, and $\lambda _2$ -weighted volume, for surfaces immersed in $\mathbb R ^3$ . This coincides with the Helfrich functional with zero ‘spontaneous curvature’. Our main result is a complete classification of all smooth immersed critical points of the functional with $\lambda _1\ge 0$ and small $L^2$ norm of tracefree curvature, with no assumption on the growth of the curvature in $L^2$ at infinity. This not only improves the gap lemma due to Kuwert and Schätzle for Willmore surfaces immersed in $\mathbb R ^3$ but also implies the non-existence of critical points of the functional satisfying the energy condition for which the surface area and enclosed volume are positively weighted.     

Remarks on the existence of solutions to some quasilinear elliptic problems involving the Hardy-Leray potential

We study the solvability of the quasilinear problem $$\begin{aligned} -\Delta _p u =\frac{u^q }{|x|^p}+g(\lambda , x, u) \quad u>0 \quad \text{ in}\;\Omega , \end{aligned}$$ with $u=0$ on $\partial \Omega $ , where $-\Delta _p(\cdot )$ is the $p$ -Laplacian operator, $q>0, 1<p<N$ and $\Omega $ a smooth bounded domain in $\mathbb R ^N$ . We consider the following cases:

1. $g(\lambda ,x,u)\equiv 0$ ;
2. $g(\lambda ,x,u)=\lambda f(x)u^r$ , with $\lambda >0$ and $f(x) \gneq 0$ belonging to $L^{\infty }(\Omega )$ and $0 \le r<p-1$ .

In the case $(i)$ , the existence of solutions depends on the location of the origin in the domain, on the geometry of the domain and on the exponent $q$ . On the other hand, in the case $(ii)$ , the existence of solutions only depends on the position of the origin and on the coefficient $\lambda $ , but does not depend either on the exponent $q$ or on the geometry of $\Omega $ .     

Planar Beurling Transform and Bergman Type Spaces

In this paper we describe the actions of the operator $S_\mathbb{D }$ or its adjoint $S_\mathbb{D }^*$ on the poly-Bergman spaces of the unit disk $\mathbb{D }.$ Let $k$ and $j$ be positive integers. We prove that $(S_\mathbb{D })^{j}$ is an isometric isomorphism between the true poly-Bergman subspace $\mathcal{A }_{(k)}^2(\mathbb{D })\ominus N_{(k),j}$ onto the true poly-Bergman space $\mathcal{A }_{(j+k)}^2(\mathbb{D }),$ where the linear space $N_{(k),j}$ have finite dimension $j.$ The action of $(S_\mathbb{D })^{j-1}$ on the canonical Hilbert base for the Bergman subspace $\mathcal{A }^2(\mathbb{D })\ominus \mathcal{P }_{j-1},$ gives a Hilbert base $\{ \phi _{ j , k } \}_{ k }$ for $\mathcal{A }_{(j)}^2(\mathbb{D }).$ It is shown that $\{ \phi _{ j , k } \}_{ j, k }$ is a Hilbert base for $L^2(\mathbb{D },d A)$ such that whenever $j$ and $k$ remain constant we obtain a Hilbert base for the true poly-Bergman space $\mathcal{A }_{(j)}^2(\mathbb{D })$ and $\mathcal{A }_{(-k)}^2(\mathbb{D }),$ respectively. The functions $\phi _{ j , k }$ are polynomials in $z$ and $\overline{z}$ and are explicitly given in terms of the $(2,1)$ -hypergeometric polynomials. We prove explicit representations for the true poly-Bergman kernels and the Koshelev representation for the poly-Bergman kernels of $\mathbb{D }.$ The action of $S_\Pi $ on the true poly-Bergman spaces of the upper half-plane $\Pi $ allows one to introduce Hilbert bases for the true poly-Bergman spaces, and to give explicit representations of the true poly-Bergman and poly-Bergman kernels.     

Local maximal function and weights in a general setting

For a proper open set $\Omega $ immersed in a metric space with the weak homogeneity property, and given a measure $\mu $ doubling on a certain family of balls lying “well inside” of $\Omega $ , we introduce a local maximal function and characterize the weights $w$ for which it is bounded on $L^p(\Omega ,w d\mu )$ when $1<p<\infty $ and of weak type $(1,1)$ . We generalize previous known results and we also present an application to interior Sobolev’s type estimates for appropriate solutions of the differential equation $\Delta ^m u=f$ , satisfied in an open proper subset $\Omega $ of $\mathbb R ^n$ . Here, the data $f$ belongs to some weighted $L^p$ space that could allow functions to increase polynomially when approaching the boundary of $\Omega $ .     

A uniformly stable Fortin operator for the Taylor–Hood element

We construct a new Fortin operator for the lowest order Taylor–Hood element, which is uniformly stable both in $L^2$ and $H^1$ . The construction, which is restricted to two space dimensions, is based on a tight connection between a subspace of the Taylor–Hood velocity space and the lowest order Nedelec edge element. General shape regular triangulations are allowed for the $H^1$ -stability, while some mesh restrictions are imposed to obtain the $L^2$ -stability. As a consequence of this construction, a uniform inf–sup condition associated the corresponding discretizations of a parameter dependent Stokes problem is obtained, and we are able to verify uniform bounds for a family of preconditioners for such problems, without relying on any extra regularity ensured by convexity of the domain.