The lower semicontinuity of functionals of the type ${\int }_{\Omega }f(x,u,v,\nabla u)dx$ with respect to the $\left(W^{1,1}\times L^p\right)$-weak* topology is studied. Moreover, in absence of lower semicontinuity, an integral representation in $W^{1,1}\times L^p$ for the lower semicontinuous envelope is also provided.

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X,d,\mu )$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B(x,r)$ converge to $f\left(x\right)$ when $r$ converges to $0$. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

Consider the family uₜ = Δu + G(u), t > 0, $x\in {\Omega }_{\epsilon }$, ${\partial }_{{\nu }_{\epsilon }}u=0$, t > 0, $x\in \partial {\Omega }_{\epsilon }$, $\left(E_{\epsilon }\right)$ of semilinear Neumann boundary value problems, where, for ε > 0 small, the set ${\Omega }_{\epsilon }$ is a thin domain in ${ℝ}^l$, possibly with holes, which collapses, as ε → 0⁺, onto a (curved) k-dimensional submanifold of ${ℝ}^l$. If G is dissipative, then equation $\left(E_{\epsilon }\right)$ has a global attractor ${}_{\epsilon }$. We identify a “limit” equation for the family $\left(E_{\epsilon }\right)$, prove convergence of trajectories and establish an upper semicontinuity result for the family ${}_{\epsilon }$ as ε → 0⁺. ...

Abstract. We study a Neumann problem for the heat equation in a cylindrical domain with $C^1$-base and data in $h_c^1$, a subspace of $L$1. We derive our results, considering the action of an adjoint operator on $B_{T}MOC$, a predual of $h_c^1$, and using known properties of this last space.

We prove an interpolatory estimate linking the directional Haar projection $P^{\left(\epsilon \right)}$ to the Riesz transform in the context of Bochner-Lebesgue spaces $L^p(ℝⁿ;X)$, 1 < p < ∞, provided X is a UMD-space. If ${\epsilon }_{i₀}=1$, the result is the inequality $\left|\right|P^{\left(\epsilon \right)}{u\left|\right|}_{L^p(ℝⁿ;X)}{\le C\left|\right|u\left|\right|}_{L^p(ℝⁿ;X)}^{1/}\left|\right|R_{i₀}u{\left|\right|}_{L^p(ℝⁿ;X)}^{1-1/}$, (1) where the constant C depends only on n, p, the UMD-constant of X and the Rademacher type of $L^p(ℝⁿ;X)$. In order to obtain the interpolatory result (1) we analyze stripe operators $S_{\lambda }$, λ ≥ 0, which are used as basic building blocks to dominate the directional Haar projection....

We study questions related to exceptional sets of pluri-Green potentials $V_{\mu }$ in the unit ball B of ℂⁿ in terms of non-isotropic Hausdorff capacity. For suitable measures μ on the ball B, the pluri-Green potentials $V_{\mu }$ are defined by $V_{\mu }\left(z\right)={\int }_{B}log(1/|{\varphi }_z\left(w\right)\left|\right)d\mu \left(w\right)$, where for a fixed z ∈ B, ${\varphi }_z$ denotes the holomorphic automorphism of B satisfying ${\varphi }_z\left(0\right)=z$, ${\varphi }_z\left(z\right)=0$ and $\left({\varphi }_z\circ {\varphi }_z\right)\left(w\right)=w$ for every w ∈ B. If dμ(w) = f(w)dλ(w), where f is a non-negative measurable function of B, and λ is the measure on B, invariant under all holomorphic automorphisms of...

We take another approach to the well known theorem of Korovkin, in the following situation: X, Y are compact Hausdorff spaces, M is a unital subspace of the Banach space C(X) (respectively, $C_{ℝ}\left(X\right)$) of all complex-valued (resp., real-valued) continuous functions on X, S ⊂ M a complex (resp., real) function space on X, ϕₙ a sequence of unital linear contractions from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$), and ${\varphi }_{\infty }$ a linear isometry from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$). We show, under the assumption that ${\Pi }_N\subset {\Pi }_T$, where ${\Pi }_N$ is...

In this paper we study some potential theoretical properties of solutions and super-solutions of some PDE systems (S) of type $L_{1}u=-{\mu }_{1}v$, $L_{2}v=-{\mu }_{2}u$, on a domain $D$ of ${ℝ}^d$, where ${\mu }_1$ and ${\mu }_2$ are suitable measures on $D$, and $L_1$, $L_2$ are two second order linear differential elliptic operators on $D$ with coefficients of class ${𝒞}^{\infty }$. We also obtain the integral representation of the nonnegative solutions and supersolutions of the system (S) by means of the Green kernels and Martin boundaries associated with $L_1$ and $L_2$, and...

We consider functionals of a potential energy ${\mathbb{P}}_{\psi }\left(u\right)$ corresponding to $\mathrm{𝑎𝑛}\mathrm{𝑎𝑥𝑖𝑠𝑦𝑚𝑚𝑒𝑡𝑟𝑖𝑐}\mathrm{𝑏𝑜𝑢𝑛𝑑𝑎𝑟𝑦}-\mathrm{𝑣𝑎𝑙𝑢𝑒}\mathrm{𝑝𝑟𝑜𝑏𝑙𝑒𝑚}$. We are dealing with $𝑎\mathrm{𝑑𝑒𝑓𝑙𝑒𝑐𝑡𝑖𝑜𝑛}\mathrm{𝑜𝑓}𝑎\mathrm{𝑡ℎ𝑖𝑛}\mathrm{𝑎𝑛𝑛𝑢𝑙𝑎𝑟}\mathrm{𝑝𝑙𝑎𝑡𝑒}$ with $\mathrm{𝑁𝑒𝑢𝑚𝑎𝑛𝑛}\mathrm{𝑏𝑜𝑢𝑛𝑑𝑎𝑟𝑦}\mathrm{𝑐𝑜𝑛𝑑𝑖𝑡𝑖𝑜𝑛𝑠}$. Various types of the subsoil of the plate are described by various types of the $\mathrm{𝑛𝑜𝑛𝑑𝑖𝑓𝑓𝑒𝑟𝑒𝑛𝑡𝑖𝑎𝑏𝑙𝑒}$ nonlinear term $\psi \left(u\right)$. The aim of the paper is to find a suitable computational algorithm.

The distributional $k$-dimensional Jacobian of a map $u$ in the Sobolev space $W^{1,k-1}$ which takes values in the sphere $S^{k-1}$ can be viewed as the boundary of a rectifiable current of codimension $k$ carried by (part of) the singularity of $u$ which is topologically relevant. The main purpose of this paper is to investigate the range of the Jacobian operator; in particular, we show that any boundary $M$ of codimension $k$ can be realized as Jacobian of a Sobolev map valued in $S^{k-1}$. In case $M$ is polyhedral, the...

We establish an explicit connection between the perimeter measure of an open set $E$ with $C^1$ boundary and the spherical Hausdorff measure $S^{Q-1}$ restricted to $\partial E$, when the ambient space is a stratified group endowed with a left invariant sub-Riemannian metric and $Q$ denotes the Hausdorff dimension of the group. Our formula implies that the perimeter measure of $E$ is less than or equal to $S^{Q-1}\left(\partial E\right)$ up to a dimensional factor. The validity of this estimate positively answers a conjecture raised by Danielli,...

Let $D_j$ be a bounded hyperconvex domain in ${ℂ}^{n_j}$ and set $D=D₁\times \cdots \times D_s$, j=1,...,s, s≥ 3. Also let ₙ be the symmetrized polydisc in ℂⁿ, n ≥ 3. We characterize those real-valued continuous functions defined on the boundary of D or ₙ which can be extended to the inside to a pluriharmonic function. As an application a complete characterization of the compliant functions is obtained.

We consider the integral functional $J\left(u\right)={\int }_{\Omega }\left[f\right(\left|Du\right|\left)-u\right]dx$, $u\in W_0^{1,1}\left(\Omega \right)$, where $\Omega \subset {ℝ}^n$, $n\ge 2$, is a nonempty bounded connected open subset of ${ℝ}^n$ with smooth boundary, and $ℝ\ni s\mapsto f\left(\right|s\left|\right)$ is a convex, differentiable function. We prove that if $J$ admits a minimizer in $W_0^{1,1}\left(\Omega \right)$ depending only on the distance from the boundary of $\Omega$, then $\Omega$ must be a ball.

Let ${ℳ}^d$ be a d-dimensional normed space with norm ||·|| and let B be the unit ball in ${ℳ}^d$. Let us fix a Lebesgue measure $V_B$ in ${ℳ}^d$ with $V_B\left(B\right)=1$. This measure will play the role of the volume in ${ℳ}^d$. We consider an arbitrary simplex T in ${ℳ}^d$ with prescribed edge lengths. For the case d = 2, sharp upper and lower bounds of $V_B\left(T\right)$ are determined. For d ≥ 3 it is noticed that the tight lower bound of $V_B\left(T\right)$ is zero.

We present two results on existence of infinitely many positive solutions to the Neumann problem ⎧ $-{\Delta }_{p}u+\lambda \left(x\right){\left|u\right|}^{p-2}u=\mu f(x,u)$ in Ω, ⎨ ⎩ ∂u/∂ν = 0 on ∂Ω, where $\Omega \subset {ℝ}^N$ is a bounded open set with sufficiently smooth boundary ∂Ω, ν is the outer unit normal vector to ∂Ω, p > 1, μ > 0, $\lambda \in L^{\infty }\left(\Omega \right)$ with $essin{f}_{x\in \Omega }\lambda \left(x\right)>0$ and f: Ω × ℝ → ℝ is a Carathéodory function. Our results ensure the existence of a sequence of nonzero and nonnegative weak solutions to the above problem.

We prove some results in the context of isoperimetric inequalities with quantitative terms. In the $2$-dimensional case, our main contribution is a method for determining the optimal coefficients $c_1,...,c_m$ in the inequality $\delta P\left(E\right)\ge {\sum }_{k=1}^m{c}_k\alpha {\left(E\right)}^k+o\left(\alpha {\left(E\right)}^m\right)$, valid for each Borel set $E$ with positive and finite area, with $\delta P\left(E\right)$ and $\alpha \left(E\right)$ being, respectively, the $\mathrm{𝑖𝑠𝑜𝑝𝑒𝑟𝑖𝑚𝑒𝑡𝑟𝑖𝑐𝑑𝑒𝑓𝑖𝑐𝑖𝑡}$ and the $\mathrm{𝐹𝑟𝑎𝑒𝑛𝑘𝑒𝑙𝑎𝑠𝑦𝑚𝑚𝑒𝑡𝑟𝑦}$ of $E$. In $n$ dimensions, besides proving existence and regularity properties of minimizers for a wide class of $\mathrm{𝑞𝑢𝑎𝑛𝑡𝑖𝑡𝑎𝑡𝑖𝑣𝑒𝑖𝑠𝑜𝑝𝑒𝑟𝑖𝑚𝑒𝑡𝑟𝑖𝑐𝑞𝑢𝑜𝑡𝑖𝑒𝑛𝑡𝑠}$ including the lower semicontinuous extension of $\frac{\delta P\left(E\right)}{\alpha {\left(E\right)}^2}$, we...

We consider the perturbed Neumann problem ⎧ -Δu + α(x)u = α(x)f(u) + λg(x,u) a.e. in Ω, ⎨ ⎩ ∂u/∂ν = 0 on ∂Ω, where Ω is an open bounded set in ${ℝ}^N$ with boundary of class C², $\alpha \in L^{\infty }\left(\Omega \right)$ with $essin{f}_{\Omega }\alpha >0$, f: ℝ → ℝ is a continuous function and g: Ω × ℝ → ℝ, besides being a Carathéodory function, is such that, for some p > N, $su{p}_{\left|s\right|\le t}\left|g(\cdot ,s)\right|\in L^p\left(\Omega \right)$ and $g(\cdot ,t)\in L^{\infty }\left(\Omega \right)$ for all t ∈ ℝ. In this setting, supposing only that the set of global minima of the function $1/2\xi ²-{\int }_0^{\xi }f\left(t\right)dt$ has M ≥ 2 bounded connected components, we prove that, for all λ ∈ ℝ small enough,...

We prove an upper bound for the Aviles–Giga problem, which involves the minimization of the energy $E_{\epsilon }\left(v\right)=\epsilon {\int }_{\Omega }|{\nabla }^2{v|}^{2}dx+{\epsilon }^{-1}{\int }_{\Omega }{\left(1-\right|\nabla v|}^2{)}^{2}dx$ over $v\in H^2\left(\Omega \right)$, where $\epsilon >0$ is a small parameter. Given $v\in W^{1,\infty }\left(\Omega \right)$ such that $\nabla v\in BV$ and $\left|\nabla v\right|=1$ a.e., we construct a family $\left\{v_{\epsilon }\right\}$ satisfying: $v_{\epsilon }\to v$ in $W^{1,p}\left(\Omega \right)$ and $E_{\epsilon }\left(v_{\epsilon }\right)\to \frac{1}{3}{\int }_{J_{\nabla v}}{\left|{\nabla }^{+}v-{\nabla }^{-}v\right|}^{3}d{\mathscr{H}}^{N-1}$ as $\epsilon$ goes to 0.

Let $\Omega \subset {ℝ}^n,n\ge 3$, and let $p,1<p<\infty ,p\ne 2$, be given. In this paper we study the dimension of $p$-harmonic measures that arise from non-negative solutions to the $p$-Laplace equation, vanishing on a portion of $\partial \Omega$, in the setting of $\delta$-Reifenberg flat domains. We prove, for $p\ge n$, that there exists $\tilde{\delta }=\tilde{\delta }(p,n)>0$ small such that if $\Omega$ is a $\delta$-Reifenberg flat domain with $\delta <\tilde{\delta }$, then $p$-harmonic measure is concentrated on a set of $\sigma$-finite $H^{n-1}$-measure. We prove, for $p\ge n$, that for sufficiently flat Wolff snowflakes the Hausdorff dimension of $p$-harmonic...

Let $H\subseteq Z\subseteq 2^{\omega }$. For n ≥ 2, we prove that if Selivanovski measurable functions from $2^{\omega }$ to Z give as preimages of H all Σₙ¹ subsets of $2^{\omega }$, then so do continuous injections.

Let n be a nonnegative integer and let u ∈ (n,n+1]. We say that f is u-times Peano bounded in the approximate (resp. $L^p$, 1 ≤ p ≤ ∞) sense at $x\in {ℝ}^m$ if there are numbers $f_{\alpha }\left(x\right)$, |α| ≤ n, such that $f(x+h)-{\sum }_{\left|\alpha \right|\le n}{f}_{\alpha }\left(x\right)h^{\alpha }/\alpha !$ is $O\left(h^u\right)$ in the approximate (resp. $L^p$) sense as h → 0. Suppose f is u-times Peano bounded in either the approximate or $L^p$ sense at each point of a bounded measurable set E. Then for every ε > 0 there is a perfect set Π ⊂ E and a smooth function g such that the Lebesgue measure of E∖Π is less than ε and...

Let ${\alpha }_i,{\beta }_i>0$, 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t•x=(t^{\alpha ₁}x₁,...,t^{\alpha ₙ}xₙ)$, $t\circ x=(t^{\beta ₁}x₁,...,t^{\beta ₙ}xₙ)$ and $\left|\right|x\left|\right|={\sum }_{i=1}^n{\left|x_i\right|}^{1/{\alpha }_i}$. Let φ₁,...,φₙ be real functions in $C^{\infty }(ℝⁿ-0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on ${ℝ}^{2n}$ given by $\mu \left(E\right)={\int }_{ℝⁿ}{\chi }_E{(x,\phi \left(x\right))\left|\right|x\left|\right|}^{\gamma -\alpha }dx$, where $\alpha ={\sum }_{i=1}^n{\alpha }_i$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{\mu }f=\mu \ast f$ and let $\left|\right|T_{\mu }{\left|\right|}_{p,q}$ be the operator norm of $T_{\mu }$ from $L^p\left({ℝ}^{2n}\right)$ into $L^q\left({ℝ}^{2n}\right)$, where the $L^p$ spaces are taken with respect to the Lebesgue measure. The type set $E_{\mu }$ is defined by $E_{\mu }=(1/p,1/q):\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty ,1\le p,q\le \infty$. In the case ${\alpha }_i\ne {\beta }_k$ for 1 ≤ i,k ≤ n we characterize the...