Related papers: Constructing $\omega$-free Hardy fields
We study Hardy-type inequalities on infinite homogeneous trees. More precisely, we derive optimal Hardy weights for the combinatorial Laplacian in this setting and we obtain, as a consequence, optimal improvements for the Poincar\'e…
We prove that the decay of the eigenfunctions of harmonic oscillators, uniform electric or magnetic fields is not stable under 0-order complex perturbations, even if bounded, of these Hamiltonians, in the sense that we can produce solutions…
We further study the nonperturbative formulation of two-dimensional black holes. We find a nonlinear differential equation satisfied by the tachyon in the black hole background. We show that singularities in the tachyon field configurations…
We study the model theory of vector spaces with a bilinear form over a fixed field. For finite fields this can be, and has been, done in the classical framework of full first-order logic. For infinite fields we need different logical…
We prove a Hardy inequality for ultraspherical expansions by using a proper ground state representation. From this result we deduce some uncertainty principles for this kind of expansions. Our result also implies a Hardy inequality on…
We extend to curved backgrounds all flat-space scalar field models that obey purely second-order equations, while maintaining their second-order dependence on both field and metric. This extension simultaneously restores to second order…
Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We consider the expansion of $\mathbb{T}$ by the binary map that sends a real number $r$ and a positive transseries $f$ to the transseries $f^r$. Building on…
We construct a Hardy field that contains Ilyashenko's class of germs at infinity of almost regular functions as well as all log-exp-analytic germs. In addition, each germ in this Hardy field is uniquely characterized by an asymptotic…
We apply results proved in [Li19] to the linear order expansions of non-trivial free homogeneous structures and the universal n-linear order for $n\geq 2$, and prove the simplicity of their automorphism groups.
We introduce a canonical isomorphism from the space of pure-type complex differential forms on a compact complex manifold to the one on its infinitesimal deformations. By use of this map, we generalize an extension formula in a recent work…
We prove that smooth projective varieties with equivalent derived categories have isogenous (and sometimes isomorphic) Picard varieties. In particular their irregularity and number of independent vector fields are the same. This is turn…
All spaces are assumed to be separable and metrizable. We show that, assuming the Axiom of Determinacy, every zero-dimensional homogeneous space is strongly homogeneous (that is, all its non-empty clopen subspaces are homeomorphic), with…
The notion of symmetry in polynomial rings with several indeterminates is generalized to polynomial rings over finite fields. Families of extensions of the projective line over a finite field of constants possessing this property are…
Let $\Omega$ be a regular Koenigs domain in the complex plane $\mathbb{C}$. We prove that the Hardy number of $\Omega$ is greater or equal to $1/2$. That is, every holomorphic function in the unit disc $f \colon \mathbb{D} \to \Omega$…
This paper describes the known results on the projection from the most general holomorphic spaces $A^p_\omega$, which depend on a functional parameter $\omega$ and are over the unit disc, upper half-plane and the finite complex plane, to…
In this paper, we consider the first order Hardy inequalities using simple equalities. This basic setting not only permits to derive quickly many well-known Hardy inequalities with optimal constants, but also supplies improved or new…
The Horndeski theory is known as the most general scalar-tensor theory with second-order field equations. In this paper, we explore the bi-scalar extension of the Horndeski theory. Following Horndeski's approach, we determine all the…
We obtain optimal generalized versions of Hardy inequalities, which as special cases contain Hardy's inequality and Hardy's inequality involving the distance function to the boundary of $ \Omega$. In addition we obtain neccesary and…
It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in…
We introduce a notion of regular separation for solutions of systems of ODEs $y'=F(x,y)$, where F is definable in a polynomially bounded o-minimal structure and $y = (y_1,y_2)$. Given a pair of solutions with flat contact, we prove that, if…