Related papers: A property of $C^{k,\alpha}$ functions

Let $f$ be function that is analytic in the unit disk ${\mathbb D}=\{z:|z|<1\}$, normalized such that $f(0)=f'(0)-1=0$, i.e., of type $f(z)=z+\sum_{n=2}^{\infty} a_n z^n$. If additionally, \[ \left| \left(\frac{z}{f(z)}\right)^2 f'(z)…

Let $U$ be a bounded open subset of the complex plane. Let $0<\alpha<1$ and let $A_{\alpha}(U)$ denote the space of functions that satisfy a Lipschitz condition with exponent $\alpha$ on the complex plane, are analytic on $U$ and are such…

Let $A$ be a selfadjoint operator in a separable Hilbert space, $K$ a selfadjoint Hilbert-Schmidt operator, and $f\in C^n(\mathbb{R})$. We establish that $\varphi(t)=f(A+tK)-f(A)$ is $n$-times continuously differentiable on $\mathbb{R}$ in…

Set $K=\mathbb{Q}(i)$ and suppose that $c\in \mathbb{Z}[i]$ is a square-free algebraic integer with $c\equiv 1 \imod{\langle16\rangle}$. Let $L(s,\chi_{c})$ denote the Hecke $L$-function associated with the quartic residue character modulo…

This is a conitunation of [1] and [2]. We prove that if function $f$ belongs to the class $\Lambda_{\omega} \overset{\text{def}}{=} \{f: \omega_{f}(\delta)\leq \text{const} \omega(\delta)\} $ for an arbitrary modulus of continuity $\omega$,…

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…

In this paper Euler shows how, if we have recursive functions f,g,h and an infinite sequence A,B,C,... which satisfies fA=gB+hC, f'B=g'C+h'D, f''C=g''D+h''E, f'''D=g'''E+h'''F, etc., where the primes denote an index not a derivative, then…

Let $f:\mathbb{R}^n\to\mathbb{R}$ be a function. Assume that for a measurable set $\Omega$ and almost every $x\in\Omega$ there exists a vector $\xi_x\in\mathbb{R}^n$ such that $$\liminf_{h\to 0}\frac{f(x+h)-f(x)-\langle \xi_x,…

Using the properties of the ideal of the coordinate Hermite interpolation on n-dimensional grid [4], we prove that the extension k in k[x1, x2, ..., xn] / (f1(x1), ..., fn(xn)) has a primitive element if and only if at most one of the…

If $\mu $ is a positive Borel measure on the interval $[0, 1)$ we let $\mathcal H_\mu $ be the Hankel matrix $\mathcal H_\mu =(\mu _{n, k})_{n,k\ge 0}$ with entries $\mu _{n, k}=\mu _{n+k}$, where, for $n\,=\,0, 1, 2, \dots $, $\mu_n$…

Let $\mathcal{M}$ be a semifinite von Neumann algebra equipped with a normal faithful semifinite trace $\tau$, and let $L_p(\mathcal{M})$ denote the associated noncommutative $L_p$-space for $1<p<\infty$. Let $n\in\mathbb{N}$ and let $a, b$…

Let $C$ be a subset of $\mathbb{R}^n$ (not necessarily convex), $f:C\to\mathbb{R}$ be a function, and $G:C\to\mathbb{R}^n$ be a uniformly continuous function, with modulus of continuity $\omega$. We provide a necessary and sufficient…

This note deals with some effective results in Mahler's method. In a recent work, we used a theorem of Philippon to show that given a Mahler function $f(z)$ in ${\bf k}\{z\}$, where ${\bf k}$ denotes a number field, and an algebraic number…

Rademacher theorem states that every Lipschitz function on the Euclidean space is differentiable almost everywhere, where "almost everywhere" refers to the Lebesgue measure. In this paper we prove a differentiability result of similar type,…

With the variational method introduced by J Mather, we construct a mechanical Hamiltonian system whose Alpha function has a flat F and is non-differentiable at the boundary of F. In the case of two degrees of freedom, we prove this…

Assume that $g(t)\geq 0$, and $$\dot{g}(t)\leq -\gamma(t)g(t)+\alpha(t,g(t))+\beta(t),\ t\geq 0;\quad g(0)=g_0;\quad \dot{g}:=\frac{dg}{dt}, $$ on any interval $[0,T)$ on which $g$ exists and has bounded derivative from the right,…

We prove two H\"older regularity results for solutions of generated Jacobian equations. First, that under the A3 condition and the assumption of nonnegative $L^p$ valued data solutions are $C^{1,\alpha}$ for an $\alpha$ that is sharp. Then,…

Let $\tau_k$ be the $k$-fold divisor function. By constructing an approximant of $\tau_k$, denoted as $\tau_k^*$, which is a normalized truncation of the $k$-fold divisor function, we prove that when $\exp\left(C\log^{1/2}X(\log\log…

By virtue of barrier arguments we prove $C^\alpha$-regularity up to the boundary for the weak solutions of a non-local nonlinear problem driven by the fractional $p$-Laplacian operator. The equation is boundedly inhomogeneous and the…

Suppose that $f$ belongs to a suitably defined complete metric space $ {{\cal C}}^{{\alpha}}$ of H\"older $ {\alpha}$-functions defined on $[0,1]$. We are interested in whether one can find large (in the sense of Hausdorff, or lower/upper…