Related papers: Generalization of Mrs. Gerber's Lemma

We prove a Hopf's lemma in the point-wise sense. The essential technique is to prove $(-\Delta)^s_p u(x)$ is uniformly bounded in the unit ball $B_1\subset\mathbb{R}^n$, where $u(x)=(1-|x|^2)^s_{+}$. Also we study the global H\"older…

We show that Lieb's concavity theorem holds more generally for any unitarily invariant matrix function $\phi:\mathbf{H}^n_+\rightarrow \mathbb{R}$ that is monotone and concave. Concretely, we prove the joint concavity of the function $(A,B)…

We prove an infinite-dimensional generalization of Zenger's lemma that was used in the proof of the fact that the convex hull of the point spectrum of a linear operator is contained in its numerical range. Two relevant examples are given,…

In the present paper, we generalize the well-known Hensel's lifting lemma to any continuous function $f : \mathbb{Z}_p\rightarrow \mathbb{Z}_p$. This answers a question posed by Axelsson and Khrennikov (2016) who showed the validity of…

Mrs. Gerber's Lemma lower bounds the entropy at the output of a binary symmetric channel in terms of the entropy of the input process. In this paper, we lower bound the output entropy via a different measure of input uncertainty, pertaining…

Heged\H{u}s's lemma is the following combinatorial statement regarding polynomials over finite fields. Over a field $\mathbb{F}$ of characteristic $p > 0$ and for $q$ a power of $p$, the lemma says that any multilinear polynomial $P\in…

We show that Lieb's concavity theorem holds more generally for any unitary invariant matrix function $\phi:\mathbf{H}_+^n\rightarrow \mathbb{R}_+^n$ that is concave and satisfies H\"older's inequality. Concretely, we prove the joint…

The General Curve Lemma is a tool of Infinite-Dimensional Analysis, which enables refined studies of differentiability properties of mappings between real locally convex spaces. In this article, we generalize the General Curve Lemma in two…

In its additive version, Bohr-Mollerup's remarkable theorem states that the unique (up to an additive constant) convex solution $f(x)$ to the equation $\Delta f(x)=\ln x$ on the open half-line $(0,\infty)$ is the log-gamma function…

We prove the inverse conjecture for the Gowers U^{s+1}[N]-norm for all s >= 3; this is new for s > 3, and the cases s<3 have also been previously established. More precisely, we establish that if f : [N] -> [-1,1] is a function with || f…

Let R+ = (0,infinity) and let M be the family of all mean values of two numbers in R+ (some examples are the arithmetic, geometric, and harmonic means). Given m1, m2 in M, we say that a function f : R+ to R+ is (m1,m2)-convex if f(m1(x,y))…

Sufficient conditions on associated parameters $p,b$ and $c$ are obtained so that the generalized and \textquotedblleft{normalized}\textquotedblright{} Bessel function $u_p(z)=u_{p,b,c}(z)$ satisfies $|(1+(zu''_p(z)/u'_p(z)))^2-1|<1$ or…

Consider a finite dimensional complex Hilbert space $\cH$, with $dim(\cH) \geq 3$, define $\bS(\cH):= \{x\in \cH \:|\: ||x||=1\}$, and let $\nu_\cH$ be the unique regular Borel positive measure invariant under the action of the unitary…

We consider the concept of a generalised manifold in the O(d,d) setting, i.e., in double geometry. The conjecture by Hohm and Zwiebach for the form of finite generalised diffeomorphisms is shown to hold. Transition functions on overlaps are…

For a measure space $(\Omega ,\Sigma ,\mu)$ and a bijective increasing function $\varphi :\left[ 0,\infty \right) \rightarrow \left[0,\infty \right)$ the $L^{p}$-like paranormed ($F$-normed) function space with the paranorm of the form…

In [1], Theorem 3, the authors proved, in one dimension, a generalization of the Hopf Lemma, and the question arose if it could be extended to higher dimensions. In this paper we present two conjectures as possible extensions, and give a…

We present a generalization of Stampacchia Lemma and give applications to regularity property of weak and entropy solutions of degenerate elliptic equations of the form $$ \left\{ \begin{array}{llll} -\mbox{div} (a(x,u(x)) Du (x)) =f(x), &…

Let $f$ and $g$ be normalized Hecke-Maass cusp forms for the full modular group having spectral parameters $t_f$ and $t_g$ respectively with $t_f,t_g\asymp T\rightarrow \infty $. In this paper we show that the Rankin Selberg $L$-function…

We prove the so-called inverse conjecture for the Gowers U^{s+1}-norm in the case s = 3 (the cases s < 3 being established in previous literature). That is, we establish that if f : [N] -> C is a function with |f(n)| <= 1 for all n and || f…

We study the Dirichlet problem for a graph $\Sigma$ in $\mathbb{R}^{n+1}$ with normalized constant mean curvature $H>0$ and planar boundary $\Gamma=\partial \Omega$. Our main result is that the optimal solvability condition, namely that the…