Vanishing exponential integrability for functions whose gradients belong to \(L^n(\log(e+L))^{\alpha}\)
type: Item
instance of: scholarly article
title: Vanishing exponential integrability for functions whose gradients belong to \(L^n(\log(e+L))^{\alpha}\)
zbMATH Open document ID: 1029.46021
DOI: 10.1016/S0022-1236(02)00092-7
author: David R. Adams
author: Ritva Hurri-Syrjänen
published in: Journal of Functional Analysis
publication date: 2003-04-09T00:00:00Z
review text: Recently, there has been considerable interest in extending the classical Trudinger exponential-type inequality to other situations. One such extension appears in the paper by \textit{D. E. Edmunds} and \textit{R. Hurri-Svrjanen} [Isr. J. Math. 123, 61-92 (2001; Zbl 0991.46019)] showing that if \(u = u(x) \) is a weakly differentiable function on \(\mathbb R^n\) which satisfies \[ \int_B \Phi_{\alpha}(\nabla u) da \leq 1, \] where \(\Phi_{\alpha}(t) = t^n(\log(e + t))^\alpha \), \(t > 0\) and \(0 \leq \alpha \leq n -1\), then there are positive constants \(a\) and \(c_{\alpha}\) independent of \(u\) such that \[ \oint_B \exp (a u(x) - u_B ^{n/(n-1-\alpha)})dx \leq c_{\alpha} \tag{1.1} \] for any ball \(B \subset \mathbb R^n\) when \(\alpha < n-1\). When \(\alpha = n -1\), there is an additional constant \(b > 0\) independent of \(u\) such that \[ \oint_B \exp(a\exp(b u(x) - u_B ^{n/(n-1)}))dx \leq c_{n-1}. \tag{1.2} \] One problem with estimates (1.1) and (1.2) is that they give very little information as to the behavior of these averages when the radius of the ball \(B\) tends to zero. In the paper under review, the authors ask whether is it possible to refine these estimates so that the constants \(c_{\alpha}\) are independent of both \(u\) and \(B\). When \(\alpha = 0\), it is proven in Proposition 3.3 of the first author's notes [Lectures on \(L^p\)-Potential Theory, University of Umea] that \[ \oint_{B(x_0,r)} \left[ \exp(a u(x) - u(x_0) ^{p/(p-1)}) - 1 \right]dx = o(1) \tag{1.3} \] as \(r\) tends to zero, for almost every \(x_0\), modulus \(C_{\beta,p}\), the Bessel capacity, \(\beta p = n\), some constant \(a> 0\) independent of \(u\) and \(r\), with \(u = G_{\beta} \ast f\), a Bessel potential of order \(\beta > 0\), and \(f\) an \(L^p\)-integrable function on \(R^n\). In particular, when \(\beta = 1\), \[ \oint_{B(x_0,r)} \left[ \exp(a u(x) - u(x_0) ^{n/(n-1)}) - 1 \right]dx = o(1) \tag{1.4} \] \(C_{1,n}\)- a.e. \(x_0\) when \(\int \bigtriangledown u ^n dx …
Mathematics Subject Classification ID: 46E30
Mathematics Subject Classification ID: 31B15
zbMATH DE Number: 1895819
zbMATH Keywords: Trudinger exponential-type inequality
reviewed by: Fernando Pérez-González
MaRDI profile type: Publication
cites work: Q4858060
cites work: Q4039801
cites work: An extension of Hedberg's convolution inequality and applications
cites work: Double exponential integrability of convolution operators in generalized Lorentz-Zygmund spaces
cites work: Sobolev inequalities of exponential type
cites work: Q4002299
cites work: Q4693168
cites work: Q5614914
cites work: Isoperimetric Inequalities in Mathematical Physics. (AM-27)
cites work: Q5607484
cites work: Q3142876
cites work: Weakly Differentiable Functions
description: scientific article; zbMATH DE number 1895819