One-radius results for supermedian functions on {\mathbb R^d} , d ≤ 2

A classical result states that every lower bounded superharmonic function on ${\mathbb{R}^{2}}$ is constant. In this paper the following (stronger) one-circle version is proven. If ${f : \mathbb{R}^{2} \to (-\infty,\infty]}$ is lower semicontinuous, lim inf_|x|→∞ f (x)/ ln |x| ≥ 0, and, for every ${x \in \mathbb{R}^{2}}$ , ${1/(2\pi) \int_0^{2\pi} f(x + r(x)e^{it}) \, dt \le f(x)}$ , where ${r : \mathbb{R}^{2} \to (0,\infty)}$ is continuous, ${{\rm sup}_{x \in \mathbb{R}^{2}} (r(x) - |x|) < \infty},$ , and ${{\rm inf}_{x \in \mathbb{R}^{2}} (r(x)-|x|)=-\infty}$ , then f is constant. Moreover, it is shown that, assuming r ≤ c| · | + M on ${\mathbb{R}^d}$ , d ≤ 2, and taking averages on ${\{y \in \mathbb{R}^{d} : |y-x| \le r(x)\}}$ , such a result of Liouville type holds for supermedian functions if and only if c ≤ c ₀, where c ₀ = 1, if d = 2, whereas 2.50 < c ₀ < 2.51, if d = 1.     

Spatially monotone homoclinic orbits in nonlinear parabolic equations of super-fast diffusion type

This work deals with positive classical solutions of the degenerate parabolic equation $$u_t=u^p u_{xx} \quad \quad (\star)$$ when p > 2, which via the substitution v = u ^1?p transforms into the super-fast diffusion equation ${v_t=(v^{m-1}v_x)_x}$ with ${m=-\frac{1}{p-1} \in (-1,0)}$ . It is shown that ( ${\star}$ ) possesses some entire positive classical solutions, defined for all ${t \in \mathbb {R}}$ and ${x \in \mathbb {R}}$ , which connect the trivial equilibrium to itself in the sense that u(x, t) → 0 both as t → ?∞ and as t → + ∞, locally uniformly with respect to ${x \in \mathbb {R}}$ . Moreover, these solutions have quite a simple structure in that they are monotone increasing in space. The approach is based on the construction of two types of wave-like solutions, one of them being used for ?∞ < t ≤  0 and the other one for 0 < t <  + ∞. Both types exhibit wave speeds that vary with time and tend to zero as t → ?∞ and t → + ∞, respectively. The solutions thereby obtained decay as x → ?∞, uniformly with respect to ${t \in \mathbb {R}}$ , but they are unbounded as x → + ∞. It is finally shown that within the class of functions having such a behavior as x → ?∞, there does not exist any bounded homoclinic orbit.     

High Frequency Resolvent Estimates for Perturbations by Large Long-range Magnetic Potentials and Applications to Dispersive Estimates

We prove optimal high-frequency resolvent estimates for self-adjoint operators of the form ${G=\left(i\nabla+b(x)\right)^2+V(x)}$ on ${L^2({\bf R}^n), n\ge 3}$ , where the magnetic potential b(x) and the electric potential V(x) are long-range and large. As an application, we prove dispersive estimates for the wave group ${{\rm e}^{it\sqrt{G}}}$ in the case n = 3 for potentials b(x), V(x) = O(|x|^?2-δ ) for ${|x|\gg 1}$ , where δ > 0.     

Existence and asymptotic behaviour of solutions of the very fast diffusion equation

Let n ≥ 3, 0 < m ≤ (n ? 2)/n, p > max(1, (1 ? m)n/2), and ${0 \le u_0 \in L_{loc}^p(\mathbb{R}^n)}$ satisfy ${{\rm lim \, inf}_{R\to\infty}R^{-n+\frac{2}{1-m}} \int_{|x|\le R}u_0\,dx = \infty}$ . We prove the existence of unique global classical solution of u _t = Δu ^m , u > 0, in ${\mathbb{R}^n \times (0, \infty), u(x, 0) = u_0(x)}$ in ${\mathbb{R}^n}$ . If in addition 0 < m < (n ? 2)/n and u ₀(x) ≈ A|x|^?q as |x| → ∞ for some constants A > 0, q < n/p, we prove that there exist constants α, β, such that the function v(x, t) = t ^α u(t ^β x, t) converges uniformly on every compact subset of ${\mathbb{R}^n}$ to the self-similar solution ψ(x, 1) of the equation with ψ(x, 0) = A|x|^?q as t → ∞. Note that when m = (n ? 2)/(n + 2), n ≥ 3, if ${g_{ij} = u^{\frac{4}{n+2}}\delta_{ij}}$ is a metric on ${\mathbb{R}^n}$ that evolves by the Yamabe flow ?g _ij /?t = ?Rg _ij with u(x, 0) = u ₀(x) in ${\mathbb{R}^n}$ where R is the scalar curvature, then u(x, t) is a global solution of the above fast diffusion equation.     

A note on the reducibility of binary affine polynomials

Stickelberger–Swan Theorem is an important tool for determining parity of the number of irreducible factors of a given polynomial. Based on this theorem, we prove in this note that every affine polynomial A(x) over ${\mathbb{F}_2}$ with degree >1, where A(x) = L(x) + 1 and ${L(x)=\sum_{i=0}^{n}{x^{2^i}}}$ is a linearized polynomial over ${\mathbb{F}_2}$ , is reducible except x ² + x + 1 and x ⁴ + x + 1. We also give some explicit factors of some special affine pentanomials over ${\mathbb{F}_2}$ .     

On the Laplace equation with a supercritical nonlinear Robin boundary condition in the half-space

We study the Laplace equation in the half-space ${\mathbb{R}_{+}^{n}}$ with a nonlinear supercritical Robin boundary condition ${\frac{\partial u}{\partial\eta }+\lambda u=u\left\vert u\right\vert^{\rho-1}+f(x)}$ on ${\partial \mathbb{R}_{+}^{n}=\mathbb{R}^{n-1}}$ , where n ≥ 3 and λ ≥ 0. Existence of solutions ${u \in E_{pq}= \mathcal{D}^{1, p}(\mathbb{R}_{+}^{n}) \cap L^{q}(\mathbb{R}_{+}^{n})}$ is obtained by means of a fixed point argument for a small data $f \in {L^{d}(\mathbb{R}^{n-1})}$ . The indexes p, q are chosen for the norm ${\Vert\cdot\Vert_{E_{pq}}}$ to be invariant by scaling of the boundary problem. The solution u is positive whether f(x) > 0 a.e. ${x\in\mathbb{R}^{n-1}}$ . When f is radially symmetric, u is invariant under rotations around the axis {x _n  = 0}. Moreover, in a certain L ^q -norm, we show that solutions depend continuously on the parameter λ ≥ 0.     

A residual existence theorem for linear equations

A residual existence theorem for linear equations is proved: if ${A \in \mathbb{R}^{m\times n}}$ , ${b \in \mathbb{R}^{m}}$ and if X is a finite subset of ${\mathbb{R}^{n}}$ satisfying ${{\rm max}_{x \in X}p^T(Ax-b) \geq 0}$ for each ${p \in \mathbb{R}^{m}}$ , then the system of linear equations Ax = b has a solution in the convex hull of X. An application of this result to unique solvability of the absolute value equation Ax + B|x| = b is given.     

On the Schröder equation and iterative sequences of C r diffeomorphisms in {\mathbb{R}^{N}} space

Let ${U \subset \mathbb{R}^{N}}$ be a neighbourhood of the origin and a function ${F:U\rightarrow U}$ be of class C ^r , r ≥ 2, F(0) = 0. Denote by F ⁿ the n-th iterate of F and let ${0<|s_1|\leq \cdots \leq|s_N| <1 }$ , where ${s_1, \ldots , s_N}$ are the eigenvalues of dF(0). Assume that the Schröder equation ${\varphi(F(x))=S\varphi(x)}$ , where S: = dF(0) has a C ² solution φ such that dφ(0) = id. If ${\frac{log|s_1|}{log|s_N|} <2 }$ then the sequence {S ^?n F ⁿ (x)} converges for every point x from the basin of attraction of F to a C ² solution φ of (1). If ${2\leq\frac{log|s_1|}{log|s_N|} }$ then this sequence can be diverging. In this case we give some sufficient conditions for the convergence and divergence of the sequence {S ^?n F ⁿ (x)}. Moreover, we show that if F is of class C ^r and ${r>\big[\frac{log|s_1|}{log|s_N|} \big ]:=p \geq 2}$ then every C ^r solution of the Schröder equation such that dφ(0) = id is given by the formula $$\begin{array}{ll}\varphi (x)={\lim\limits_{n \rightarrow \infty}} (S^{-n}F^n(x) + {\sum\limits _{k=2}^{p}} S^{-n}L_k (F^n(x))),\end{array}$$ where ${L_k:\mathbb{R}^{N} \rightarrow \mathbb{R}^{N}}$ are some homogeneous polynomials of degree k, which are determined by the differentials d ^(j) F(0) for 1 < j ≤  p.     

Sets Computing the Symmetric Tensor Rank

Let ${\nu_{d} : \mathbb{P}^{r} \rightarrow \mathbb{P}^{N}, N := \left( \begin{array}{ll} r + d \\ \,\,\,\,\,\, r \end{array} \right)- 1,}$ denote the degree d Veronese embedding of ${\mathbb{P}^{r}}$ . For any ${P\, \in \, \mathbb{P}^{N}}$ , the symmetric tensor rank sr(P) is the minimal cardinality of a set ${\mathcal{S} \subset \nu_{d}(\mathbb{P}^{r})}$ spanning P. Let ${\mathcal{S}(P)}$ be the set of all ${A \subset \mathbb{P}^{r}}$ such that ${\nu_{d}(A)}$ computes sr(P). Here we classify all ${P \,\in\, \mathbb{P}^{n}}$ such that sr(P) <  3d/2 and sr(P) is computed by at least two subsets of ${\nu_{d}(\mathbb{P}^{r})}$ . For such tensors ${P\, \in\, \mathbb{P}^{N}}$ , we prove that ${\mathcal{S}(P)}$ has no isolated points.     

Blow-up rates and uniqueness of large solutions for elliptic equations with nonlinear gradient term and singular or degenerate weights

This paper deals with the blow-up rate and uniqueness of large solutions of the elliptic equation ${\Delta u = b(x)f(u)+c(x)g(u)|\nabla u|^q}$ in ${\Omega \subset \mathbb{R}^N}$ , where q > 0, f(u) and g(u) are regularly varying functions at infinity, and the weight functions ${b(x),\,c(x) \in C^\alpha(\Omega,\,\mathbb{R}^+)}$ , 0 < α < 1, may be singular or degenerate on the boundary ${\partial\Omega}$ . Combining the regular variation theoretic approach of Cîrstea–R?dulescu and the systematic approach of Bandle–Giarrusso, we are able to improve and generalize most of the previously available results in the literature.     

A class of integral equations and approximation of p-Laplace equations

Let ${\Omega\subset\mathbb{R}^n}$ be a bounded domain, and let 1 < p < ∞ and σ < p. We study the nonlinear singular integral equation $$ M[u](x) = f_0(x)\quad {\rm in}\,\Omega$$ with the boundary condition u = g ₀ on ?Ω, where ${f_0\in C(\overline\Omega)}$ and ${g_0\in C(\partial\Omega)}$ are given functions and M is the singular integral operator given by $$M[u](x)={\rm p.v.} \int\limits_{B(0,\rho(x))} \frac{p-\sigma}{|z|^{n+\sigma}}|u(x+z)-u(x)|^{p-2} (u(x+z)-u(x))\,{\rm dz},$$ with some choice of ${\rho\in C(\overline\Omega)}$ having the property, 0 < ρ(x) ≤ dist (x, ?Ω). We establish the solvability (well-posedness) of this Dirichlet problem and the convergence uniform on ${\overline\Omega}$ , as σ → p, of the solution u _σ of the Dirichlet problem to the solution u of the Dirichlet problem for the p-Laplace equation νΔ _p u = f ₀ in Ω with the Dirichlet condition u = g ₀ on ?Ω, where the factor ν is a positive constant (see (7.2)).     

Infinitely many small solutions for the p(x)-Laplacian operator with nonlinear boundary conditions

In this paper, we prove the existence of infinitely many small solutions to the following quasilinear elliptic equation ?Δ _p(x) u +  |u| ^p(x)-2 u =  f (x, u) in a smooth bounded domain Ω of ${\mathbb{R}^N}$ with nonlinear boundary conditions ${|\nabla u|^{p-2}\frac{\partial u}{\partial\nu} = |u|^{{q(x)-2}}u}$ . We also assume that ${\{q(x) = p^\ast(x)\}\neq \emptyset}$ , where p*(x) =  Np(x)/(N ? p(x)) is the critical Sobolev exponent for variable exponents. The proof is based on a new version of the symmetric mountain-pass lemma due to Kajikiya, and property of these solutions is also obtained.     

On functions whose symmetric part of gradient agree and a generalization of Reshetnyak’s compactness theorem

We consider the following question: Given a connected open domain ${\Omega \subset \mathbb{R}^n}$ , suppose ${u, v : \Omega \rightarrow \mathbb{R}^n}$ with det ${(\nabla u) > 0}$ , det ${(\nabla v) > 0}$ a.e. are such that ${\nabla u^T(x)\nabla u(x) = \nabla v(x)^T \nabla v(x)}$ a.e. , does this imply a global relation of the form ${\nabla v(x) = R\nabla u(x)}$ a.e. in Ω where ${R \in SO(n)}$ ? If u, v are C ¹ it is an exercise to see this true, if ${u, v\in W^{1,1}}$ we show this is false. In Theorem 1 we prove this question has a positive answer if ${v \in W^{1,1}}$ and ${u \in W^{1,n}}$ is a mapping of L ^p integrable dilatation for p > n ? 1. These conditions are sharp in two dimensions and this result represents a generalization of the corollary to Liouville’s theorem that states that the differential inclusion ${\nabla u \in SO(n)}$ can only be satisfied by an affine mapping. Liouville’s corollary for rotations has been generalized by Reshetnyak who proved convergence of gradients to a fixed rotation for any weakly converging sequence ${v_k \in W^{1,1}}$ for which $$\int \limits_{\Omega} {\rm dist}(\nabla v_k, SO(n))dz \rightarrow 0 \, {\rm as} \, k \rightarrow \infty.$$ Let S(·) denote the (multiplicative) symmetric part of a matrix. In Theorem 3 we prove an analogous result to Theorem 1 for any pair of weakly converging sequences ${v_k \in W^{1,p}}$ and ${u_k \in W^{1,\frac{p(n-1)}{p-1}}}$ (where ${p \in [1, n]}$ and the sequence (u _k ) has its dilatation pointwise bounded above by an L ^r integrable function, r > n ? 1) that satisfy ${\int_{\Omega} |S(\nabla u_k) - S(\nabla v_k)|^p dz \rightarrow 0}$ as k → ∞ and for which the sign of the det ${(\nabla v_k)}$ tends to 1 in L ¹. This result contains Reshetnyak’s theorem as the special case (u _k ) ≡ Id, p = 1.     

Derived semidistributive lattices

For L a finite lattice, let ${\mathbb {C}(L) \subseteq L^2}$ denote the set of pairs γ = (γ ₀, γ ₁) such that ${\gamma_0 \prec \gamma_1}$ and order it as followsγ ≤ δ iff γ ₀ ≤ δ ₀, ${\gamma_{1} \nleq \delta_0,}$ and γ ₁ ≤ δ ₁. Let ${\mathbb {C}(L, \gamma)}$ denote the connected component of γ in this poset. Our main result states that, for any ${\gamma, \mathbb {C}(L, \gamma)}$ is a semidistributive lattice if L is semidistributive, and that ${\mathbb {C}(L, \gamma)}$ is a bounded lattice if L is bounded. Let ${\mathcal{S}_{n}}$ be the Permutohedron on n letters and let ${\mathcal{T}_{n}}$ be the Associahedron on n + 1 letters. Explicit computations show that ${\mathbb {C}(\mathcal{S}_{n}, \alpha) = \mathcal{S}_{n-1}}$ and ${\mathbb {C}(\mathcal {T}_n, \alpha) = \mathcal {T}_{n-1}}$ , up to isomorphism, whenever α1 is an atom of ${\mathcal{S}_{n}}$ or ${\mathcal{T}_{n}}$ . These results are consequences of new characterizations of finite join-semidistributive and of finite lower bounded lattices: (i) a finite lattice is join-semidistributive if and only if the projection sending ${\gamma \in \mathbb {C}(L)}$ to ${\gamma_0 \in L}$ creates pullbacks, (ii) a finite join-semidistributive lattice is lower bounded if and only if it has a strict facet labelling. Strict facet labellings, as defined here, are a generalization of the tools used by Caspard et al. to prove that lattices of finite Coxeter groups are bounded.     

Continuity of solutions of a problem in the calculus of variations

We study the problem of minimizing ${\int_{\Omega} L(x,u(x),Du(x))\,{\rm d}x}$ over the functions ${u\in W^{1,p}(\Omega)}$ that assume given boundary values ${\phi}$ on ???. We assume that L(x, u, Du)?=?F(Du)?+?G(x, u) and that F is convex. We prove that if ${\phi}$ is continuous and ?? is convex, then any minimum u is continuous on the closure of ??. When ?? is not convex, the result holds true if F(Du)?=?f(|Du|). Moreover, if ${\phi}$ is Lipschitz continuous, then u is H?lder continuous.     

Continuity of solutions to n-harmonic equations

In this paper, we study the nonhomogeneous n-harmonic equation $$-{\rm div}\,(|{\nabla} u|^{n-2}{\nabla} u)=f$$ in domains ${\Omega\subset {\mathbb {R}^n}}$ (n?≥?2), where ${f\in W^{-1,\frac{n}{n-1}}(\Omega)}$ . We derive a sharp condition to guarantee the continuity of solutions u. In particular, we show that when n?≥ 3, the condition that, for some ${\epsilon >0 ,}$ f belongs to $${\mathfrak{L}}({\rm log}\,{\mathfrak{L}})^{n-1}({\rm log}\,{\rm log}\,{\mathfrak{L}})^{n-2}\cdots({\rm log}\cdots{\rm log}\,{\mathfrak{L}})^{n-2}({\rm log}\cdots{\rm log}\,{\mathfrak{L}})^{n-2+\epsilon}(\Omega)$$ is sufficient for continuity of u, but not for ${\epsilon=0}$ .     

Uniqueness of diffusion operators and capacity estimates

Let Ω be a connected open subset of R ^d . We analyse L ₁-uniqueness of real second-order partial differential operators ${H = - \sum^d_{k,l=1} \partial_k c_{kl} \partial_l}$ and ${K = H + \sum^d_{k=1}c_k \partial_k + c_0}$ on Ω where ${c_{kl} = c_{lk} \in W^{1,\infty}_{\rm loc}(\Omega), c_k \in L_{\infty,{\rm loc}}(\Omega), c_0 \in L_{2,{\rm loc}}(\Omega)}$ and C(x) = (c _kl (x)) > 0 for all ${x \in \Omega}$ . Boundedness properties of the coefficients are expressed indirectly in terms of the balls B(r) associated with the Riemannian metric C ^?1 and their Lebesgue measure |B(r)|. First, we establish that if the balls B(r) are bounded, the Täcklind condition ${\int^\infty_R dr r({\rm log}|B(r)|)^{-1} = \infty}$ is satisfied for all large R and H is Markov unique then H is L ₁-unique. If, in addition, ${C(x) \geq \kappa (c^{T} \otimes c)(x)}$ for some ${\kappa > 0}$ and almost all ${x \in \Omega}$ , ${{\rm div} c \in L_{\infty,{\rm loc}}(\Omega)}$ is upper semi-bounded and c ₀ is lower semi-bounded, then K is also L ₁-unique. Secondly, if the c _kl extend continuously to functions which are locally bounded on ?Ω and if the balls B(r) are bounded, we characterize Markov uniqueness of H in terms of local capacity estimates and boundary capacity estimates. For example, H is Markov unique if and only if for each bounded subset A of ${\overline\Omega}$ there exist ${\eta_n \in C_c^\infty(\Omega)}$ satisfying , where ${\Gamma(\eta_n) = \sum^d_{k,l=1}c_{kl} (\partial_k \eta_n) (\partial_l \eta_n)}$ , and for each ${\varphi \in L_2(\Omega)}$ or if and only if cap(?Ω) = 0.