A Tauberian theorem for ℓ-adic sheaves on \mathbb{A} 1

Let K ∈ L ¹(?) and let f ∈ L ^∞(?) be two functions on ?. The convolution $$ \left( {K*F} \right)\left( x \right) = \int_\mathbb{R} {K\left( {x - y} \right)f\left( y \right)dy} $$ can be considered as an average of f with weight defined by K. Wiener’s Tauberian theorem says that under suitable conditions, if $$ \mathop {\lim }\limits_{x \to \infty } \left( {K*F} \right)\left( x \right) = \mathop {\lim }\limits_{x \to \infty } \int_\mathbb{R} {\left( {K*A} \right)\left( x \right)} $$ for some constant A, then $$ \mathop {\lim }\limits_{x \to \infty } f\left( x \right) = A $$ We prove the following ?-adic analogue of this theorem: Suppose K, F, G are perverse ?-adic sheaves on the affine line $ \mathbb{A} $ over an algebraically closed field of characteristic p (p ≠ ?). Under suitable conditions, if $ \left( {K*F} \right)|_{\eta _\infty } \cong \left( {K*G} \right)|_{\eta _\infty } $ , then $ F|_{\eta _\infty } \cong G|_{\eta _\infty } $ , where η _∞ is the spectrum of the local field of $ \mathbb{A} $ at ∞.     

Short exponential sums with a non-integer power of a natural number

The following nontrivial estimate is obtained for short exponential sums: $$Sc\left( {\alpha ,x,y} \right) = \sum\limits_{x - y < n \leqslant x} {e\left( {\alpha \left[ {n^c } \right]} \right) < < y\ln ^A x,}$$ where $y \geqslant x^{\tfrac{1} {2}} \ln ^A x,x^{1 - c} y^{ - 1} \ln ^A x \leqslant \left| \alpha \right| \leqslant 0.5$ , c > 2 and ∥c∥ ≥ δ, A is a fixed positive number, and $\delta = \delta \left( {x,c,A} \right) = \left( {2^{\left[ c \right] + 1} - 1} \right)\left( {A + 2.5} \right) \cdot \frac{{\ln \ln x}} {{\ln x}}$ .     

Reelle Abstandsräume und hyperbolische Geometrie

Ein reeller Abstandsraum ist eine Menge S ≠ ø zusammen mit einer Abbildung d: S × S → ?. Für x,y ∈ S hei\t d(x,y) der Abstand von x und y. Für beliebige reelle Abstandsräume definieren wir Begriffe wie Gerade, sphärischer Teilraum, konvexe Teilmenge, Winkelma\e usf. derart, da\ diese Begriffe im Falle $$={\rm R}^{n}\ {\rm und}\ d(x,y)=\sqrt{x^{2}+y^{2}- 2xy}$$ klassische Objekte gleichen Namens ergeben. Sodann wenden wir unseren Begriffsapparat auf $$ S={\rm R}^{n}\ {\rm und}\ d(x,y)=\sqrt{1+x^{2}}\sqrt{1+y^{2}}- xy $$ an. Dabei entsteht dann die n-dimensionale hyperbolische Geometrie mit dem ?ⁿ als Punktmenge und geeigneten Geraden, Strecken usf. als dortige Grundobjekte.     

Integrability Conditions for Lotka-Volterra Planar Complex Quartic Systems Having Homogeneous Nonlinearities

In this paper we investigate the integrability problem for the two-dimensional Lotka-Volterra complex quartic systems which are linear systems perturbed by fourth degree homogeneous polynomials, that is, we consider systems of the form $\dot{x}=x(1-a_{30}x^{3}-a_{21} x^{2} y-a_{12}x y^{2} -a_{03}y^{3})$ , $\dot{y}=-y(1-b_{30}x^{3}-b_{21} x^{2} y-b_{12}x y^{2}-b_{03} y^{3})$ . Conditions for the integrability of this system are found. From them the center conditions for corresponding real system can be derived. The study relays on making use of algorithms of computational algebra based on the Groebner basis theory. To simplify laborious manipulations with polynomial modular arithmetics is involved.     

The Hopf–Lax formula in Carnot groups: a control theoretic approach

The purpose of this paper is to bring a new light on the state-dependent Hamilton–Jacobi equation and its connection with the Hopf–Lax formula in the framework of a Carnot group $(\mathbf G ,\circ ).$ The equation we shall consider is of the form $$\begin{aligned} \left\{ \begin{array}{l@{\quad }l} u_{t}+ \Psi (X_{1}u, \ldots , X_{m}u)=0\qquad &{}(x,t)\in \mathbf G \times (0,\infty ) \\ {u}(x,0)=g(x)&{}x\in \mathbf G , \end{array} \right. \end{aligned}$$ where $X_{1},\ldots , X_{m}$ are a basis of the first layer of the Lie algebra of the group $\mathbf G ,$ and $\Psi : \mathbb{R }^{m} \rightarrow \mathbb{R }$ is a superlinear, convex function. The main result shows that the unique viscosity solution of the Hamilton–Jacobi equation can be given by the Hopf–Lax formula $$\begin{aligned} u(x,t) = \inf _{y\in \mathbf G }\left\{ t \Psi ^\mathbf{G }\left( \delta _{\frac{1}{t}}(y^{-1}\circ x)\right) + g(y) \right\} , \end{aligned}$$ where $\Psi ^\mathbf{G }:\mathbf G \rightarrow \mathbb{R }$ is the $\mathbf G $ -Legendre–Fenchel transform of $\Psi ,$ defined by a control theoretical approach. We recover, as special cases, some known results like the classical Hopf–Lax formula in the Euclidean spaces $\mathbb{R }^n,$ showing that $\Psi ^{\mathbb{R }^n}$ is the Legendre–Fenchel transform $\Psi ^*$ of $\Psi ;$ moreover, we recover the result by Manfredi and Stroffolini in the Heisenberg group for particular Hamiltonian function $\Psi .$ In this paper we follow an optimal control problem approach and we obtain several properties for the value functions $u$ and $\Psi ^\mathbf G .$      

Stability of the Derivative of a Canonical Product

With each sequence \(\alpha =(\alpha _n)_{n\in \mathbb{N }}\) of pairwise distinct and non-zero points which are such that the canonical product $$\begin{aligned} P_\alpha (z) := \lim _{r\rightarrow \infty }\prod _{|\alpha _n|\le r}\left( 1-\frac{z}{\alpha _n}\right) \end{aligned}$$ converges, the sequence $$\begin{aligned} \alpha ^{\prime } := \bigl (P_\alpha ^{\prime }(\alpha _n)\bigr )_{n\in \mathbb{N }} \end{aligned}$$ is associated. We give conditions on the difference \(\beta -\alpha \) of two sequences which ensure that \(\beta ^{\prime }\) and \(\alpha ^{\prime }\) are comparable in the sense that $$\begin{aligned} \exists \,c,C>0:\quad c|\alpha ^{\prime }_n| \le |\beta ^{\prime }_n| \le C|\alpha ^{\prime }_n|, \quad n\in \mathbb{N }. \end{aligned}$$ The values \(\alpha ^{\prime }_n\) play an important role in various contexts. As a selection of applications we present: an inverse spectral problem, a class of entire functions and a continuation problem.     

Almost orthogonal operators on the bitorus II

We prove that the operator ${Tf(x,y)=\int^\pi_{-\pi}\int_{|x^{\prime}|<|y^{\prime}|} \frac{e^{iN(x,y) x^{\prime}}}{x^{\prime}}\frac{e^{iN(x,y) y^{\prime}}}{y^{\prime}}f(x-x^{\prime}, y-y^{\prime}) dx^{\prime} dy^{\prime}}$ , with ${x,y \in[0,2\pi]}$ and where the cut off ${|x^{\prime}|<|y^{\prime}|}$ is performed in a smooth and dyadic way, is bounded from L ² to weak- ${L^{2-\epsilon}}$ , any ${\epsilon > 0 }$ , under the basic assumption that the real-valued measurable function N(x, y) is “mainly” a function of y and the additional assumption that N(x, y) is non-decreasing in x, for every y fixed. This is an extension to 2D of C. Fefferman’s proof of a.e. convergence of Fourier series of L ² functions.     

The problem of differentiating an asymptotic expansion in real powers. Part I: Unsatisfactory or partial results by classical approaches

In two papers, the problem of formal differentiation of an asymptotic expansion in the real domain of type $$ f(x) - a_1 x^{\alpha _1 } + \cdots + a_n x^{\alpha _n } + o(x^{\alpha _n } ),x \to + \infty , $$ is amply studied. In Part I, we show that the classical viewpoints and techniques concerning formal differentiation of an asymptotic relation $$ f(x) - ax^\alpha + o(x^\alpha ),x \to + \infty , $$ give either unsatisfactory or partial results when applied to an asymptotic expansion with at least two meaningful terms. Simple examples show that some of these results are the best possible in the classical context. Hence a change of viewpoint is necessary to arrive at useful results.     

Approximate Weak Invariance and Relaxation for Fully Nonlinear Differential Inclusions

In this paper we prove that a given set K is approximately weakly invariant with respect to the fully nonlinear differential inclusion $${x^\prime (t) \in Ax (t) + F (x (t))}$$ , where A is an m-dissipative operator, and F is a given multi-function in a Banach space, if and only if the set ${F(\xi)}$ is A-quasi-tangent to the set K, for every ${{\xi \in K}}$ . As an application, we establish that the approximate solutions of the given differential inclusion approximate the solutions of the relaxed (convexified) nonlinear differential inclusion $${x^\prime (t) \in Ax (t) + \overline{co}F (x (t))}$$ , with no hypotheses of Lipschitz type for multi-function F.     

A sequential implicit function theorem for the chords iteration

In this paper we study the local convergence of the method $$0 \in f\left( {p,x_k } \right) + A\left( {x_{k + 1} - x_k } \right) + F\left( {x_{k + 1} } \right),$$ in order to find the solution of the generalized equation $$find x \in X such that 0 \in f\left( {p,x} \right) + F\left( x \right).$$ We first show that under the strong metric regularity of the linearization of the associated mapping and some additional assumptions regarding dependence on the parameter and the relation between the operator A and the Jacobian $\nabla _x f\left( {\bar p,\bar x} \right)$ , we prove linear convergence of the method which is uniform in the parameter p. Then we go a step further and obtain a sequential implicit function theorem describing the dependence of the set of sequences of iterates of the parameter.     

On some functional inequalities related to the logarithmic mean

We deal with some functional inequalities which are motivated by the following relation between the geometric mean G, the logarithmic mean L and the arithmetic mean A: $$ G^{\frac{2} {3}} \cdot A^{\frac{1} {3}} \leqq L \leqq \frac{2} {3}G + \frac{1} {3}A. $$      

Layer solutions for the fractional Laplacian on hyperbolic space: existence,uniqueness and qualitative properties

We investigate the equation $$\begin{aligned} (-\Delta _{\mathbb{H }^n})^{\gamma } w=f(w)\quad \text{ in } \mathbb{H }^{n}, \end{aligned}$$ where \((-\Delta _{\mathbb{H }^n})^\gamma \) corresponds to the fractional Laplacian on hyperbolic space for \(\gamma \in (0,1)\) and \(f\) is a smooth nonlinearity that typically comes from a double well potential. We prove the existence of heteroclinic connections in the following sense; a so-called layer solution is a smooth solution of the previous equation converging to \(\pm 1\) at any point of the two hemispheres \(S_\pm \subset \partial _\infty \mathbb{H }^n\) and which is strictly increasing with respect to the signed distance to a totally geodesic hyperplane \(\Pi \) . We prove that under additional conditions on the nonlinearity uniqueness holds up to isometry. Then we provide several symmetry results and qualitative properties of the layer solutions. Finally, we consider the multilayer case, at least when \(\gamma \) is close to one.     

On 1-isometries of affine quadrics over finite fields

Letq be a regular quadratic form on a vector space (V, $\mathbb{F}$ ) and assume $4 \leqslant dim V \leqslant \infty \wedge |\mathbb{F}| \in \mathbb{N}$ . A 1-isometry of the central quadric $\mathcal{F}: = \{ x \in V|q(x) = 1\}$ is a permutation ? of $\mathcal{F}$ such that (*) $$q(x - y) = \nu \Leftrightarrow q(x^\varphi - y^\varphi ) = \nu \forall x,y \in \mathcal{F}$$ holds true for a fixed element ν of $\mathbb{F}$ . For arbitraryν ∈ $\mathbb{F}$ we prove that? is induced (in a certain sense) by a semi-linear bijection $(\sigma ,\varrho ):(V,\mathbb{F}) \to (V,\mathbb{F})$ such thatq oσ =? oq, provided $\mathcal{F}$ contains lines and the exceptional case $(\nu = 2 \Lambda |\mathbb{F}| = 3 \Lambda \dim V = 4 \Lambda |\mathcal{F}| = 24)$ is excluded. In the exceptional case and as well in case of dim V = 3 there are counterexamples. The casesν ≠ 2 and v=2 require different techniques.     

Conic volume ratio of the packing cone associate to a convex body

Given a convex body ${K\subset\mathbb{R}^n}$ (n??? 1) which contains o in its interior and ${{\bf u} \in S^{n-1}}$ , we introduce conic volume ratio r(K, u) of K in the direction of u by $$r(K, {\bf u})=\frac{vol(cone(K,{\bf u})\cap B_2^n)}{vol(B_2^n)},$$ where cone(K, u) is the packing cone of K in the direction of u. We prove that if K is an o-symmetric convex body in ${\mathbb{R}^n}$ and r(K, u) is a constant function of u, then K must be a Euclidean ball.     

Asymptotic representations of solutions of two-term nonautonomous nth-order ordinary differential equations with exponential nonlinearity

We obtain necessary and sufficient conditions for the existence of a certain class of solutions of the differential equation $$ (|y^{(n - 1)} |^{\lambda - 1} y^{(n - 1)} )' = \alpha _0 p(t)e^{\sigma y} $$ , where α ₀ ∈ {?1, 1}, σ, λ ∈ R \ {0}, and p: [a, ω[→]0,+∞[(?∞ < a < ω ≤ + ∞) is a continuously differentiable function. We also establish asymptotic representations of such solutions.     

On a result of Hardy and Littlewood concerning Fourier series

Let f ∈ L ¹( $ \mathbb{T} $ ) and assume that $$ f\left( t \right) \sim \frac{{a_0 }} {2} + \sum\limits_{k = 1}^\infty {\left( {a_k \cos kt + b_k \sin kt} \right)} $$ Hardy and Littlewood [1] proved that the series $ \sum\limits_{k = 1}^\infty {\frac{{a_k }} {k}} $ converges if and only if the improper Riemann integral $$ \mathop {\lim }\limits_{\delta \to 0^ + } \int_\delta ^\pi {\frac{1} {x}} \left\{ {\int_{ - x}^x {f(t)dt} } \right\}dx $$ exists. In this paper we prove a refinement of this result.     

The Hardy–Rellich Inequality and Uncertainty Principle on the Sphere

Let \(\Delta _0\) be the Laplace–Beltrami operator on the unit sphere \(\mathbb {S}^{d-1}\) of \({\mathbb R}^d\) . We show that the Hardy–Rellich inequality of the form $$\begin{aligned} \mathop \int \limits _{\mathbb {S}^{d-1}} \left| f (x)\right| ^2 \mathrm{d}{\sigma }(x) \le c_d \min _{e\in \mathbb {S}^{d-1}} \mathop \int \limits _{\mathbb {S}^{d-1}} (1- {\langle }x, e {\rangle }) \left| (-\Delta _0)^{\frac{1}{2}}f(x) \right| ^2 \mathrm{d}{\sigma }(x) \end{aligned}$$ holds for \(d =2\) and \(d \ge 4\) but does not hold for \(d=3\) with any finite constant, and the optimal constant for the inequality is \(c_d = 8/(d-3)^2\) for \(d =2, 4, 5,\) and, under additional restrictions on the function space, for \(d\ge 6\) . This inequality yields an uncertainty principle of the form $$\begin{aligned} \min _{e\in \mathbb {S}^{d-1}} \mathop \int \limits _{\mathbb {S}^{d-1}} (1- {\langle }x, e {\rangle }) |f(x)|^2 \mathrm{d}{\sigma }(x) \mathop \int \limits _{\mathbb {S}^{d-1}}\left| \nabla _0 f(x)\right| ^2 \mathrm{d}{\sigma }(x) \ge c'_d \end{aligned}$$ on the sphere for functions with zero mean and unit norm, which can be used to establish another uncertainty principle without zero mean assumption, both of which appear to be new.     

On permutations of central quadrics which preserve an inner distance

Letq be a regular quadratic form on a vector space (V, $\mathbb{F}$ ) and assume dimV ≥ 4 and ¦ $\mathbb{F}$ ¦ ≥ 4. We consider a permutation ? of the central affine quadric $\mathcal{F}$ := {x εV ¦q(x) = 1} such that $$(*)x \cdot y = \mu \Leftrightarrow x^\varphi \cdot y^\varphi = \mu \forall x,y\varepsilon \mathcal{F}$$ holds true, where μ is a fixed element of $\mathbb{F}$ and where “·” is the scalar product associated withq. We prove that ? is induced (in a certain sense) by a semi-linear bijection (σ,?): (V, $\mathbb{F}$ ) → (V, $\mathbb{F}$ ) such thatq o ?o q, provided $\mathcal{F}$ contains lines and the pair (μ, $\mathbb{F}$ ) has additional properties if there ar no planes in $\mathcal{F}$ . The cases μ,≠ 0 and μ = 0 require different techniques.     

Inequalities for the beta function

We prove the following inequalities involving Euler’s beta function. (i) Let α and β be real numbers. The inequalities $\left( {\frac{{y^{z - x} }} {{x^{z - y} z^{y - x} }}} \right)^\alpha \leqslant \frac{{B(x,x)^{z - y} B(z,z)^{y - x} }} {{B(y,y)^{z - x} }} \leqslant \left( {\frac{{y^{z - x} }} {{x^{z - y} z^{y - x} }}} \right)^\beta $ hold for all x, y, z with 0 < x ≤ y ≤ z if and only if α ≤ 1/2 and β ≥ 1. (ii) Let a and b be non-negative real numbers. For all positive real numbers x and y we have $\delta (a,b) \leqslant \frac{{x^a B(x + b,y) + y^a B(x,y + b)}} {{(x + y)^a B(x,y)}} \leqslant \Delta (a,b) $ with the best possible bounds $\delta (a,b) = \min \{ 2^{ - a} ,2^{1 - a - b} \} and\Delta (a,b) = \max \{ 1,2^{1 - a - b} \} . $ .     

On oscillatory integral Hilbert transformation with trigonometric polynomial phase

Let $ \mathcal{P}_n $ denote the set of algebraic polynomials of degree n with the real coefficients. Stein and Wpainger [1] proved that $$ \mathop {\sup }\limits_{p( \cdot ) \in \mathcal{P}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{ip(x)} }} {x}dx} } \right| \leqslant C_n , $$ where C _n depends only on n. Later A. Carbery, S. Wainger and J. Wright (according to a communication obtained from I. R. Parissis), and Parissis [3] obtained the following sharp order estimate $$ \mathop {\sup }\limits_{p( \cdot ) \in \mathcal{P}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{ip(x)} }} {x}dx} } \right| \sim \ln n. $$ . Now let $ \mathcal{T}_n $ denote the set of trigonometric polynomials $$ t(x) = \frac{{a_0 }} {2} + \sum\limits_{k = 1}^n {(a_k coskx + b_k sinkx)} $$ with real coefficients a _k , b _k . The main result of the paper is that $$ \mathop {\sup }\limits_{t( \cdot ) \in \mathcal{T}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{it(x)} }} {x}dx} } \right| \leqslant C_n , $$ with an effective bound on C _n . Besides, an analog of a lemma, due to I. M. Vinogradov, is established, concerning the estimate of the measure of the set, where a polynomial is small, via the coefficients of the polynomial.