English
Related papers

Related papers: On the density at infinity of definable functions

200 papers

We conjecture that whenever $M$ is a metric space of density at most continuum, then the space of Lipschitz functions is $w^*$-separable. We prove the conjecture for several classes of metric spaces including all the Banach spaces with a…

Functional Analysis · Mathematics 2025-03-14 Leandro Candido , Marek Cuth , Benjamin Vejnar

By using a selective filtration argument, we prove that the satisfiability problem of the unimodal logic of density is in $EXPTIME$. By using a tableau-like approach, we prove that the satisfiability problem of the bimodal logic of weak…

Logic in Computer Science · Computer Science 2025-07-16 Philippe Balbiani , Olivier Gasquet

We prove an upper bound on the density of zeros very close to the critical line of the family of Dirichlet $L$-functions of modulus $q$ at height $T$. To do this, we derive an asymptotic for the twisted second moment of Dirichlet…

Number Theory · Mathematics 2022-11-14 George Dickinson

In this paper, we prove a definable version of Kirszbraun's theorem in a non-Archimedean setting for definable families of functions in one variable. More precisely, we prove that every definable function $f : X \times Y \to…

Logic · Mathematics 2014-04-17 Tristan Kuijpers

We prove higher differentiability of bounded local minimizers to some widely degenerate functionals, verifying superquadratic anisotropic growth conditions. In the two dimensional case, we prove that local minimizers to a model functional…

Analysis of PDEs · Mathematics 2016-04-15 Lorenzo Brasco , Chiara Leone , Giovanni Pisante , Anna Verde

We solve two main questions on linear structures of (non-)norm-attaining Lipschitz functions. First, we show that for every infinite metric space $M$, the set consisting of Lipschitz functions on $M$ which do not strongly attain their norm…

Functional Analysis · Mathematics 2024-04-12 Geunsu Choi , Mingu Jung , Han Ju Lee , Oscar Roldan

For any non-trivial convex and bounded subset $C$ of a Banach space, we show that outside of a $\sigma$-porous subset of the space of non-expansive mappings $C\to C$, all mappings have the maximal Lipschitz constant one witnessed locally at…

Functional Analysis · Mathematics 2022-05-04 Michael Dymond

We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function, namely, that it cannot be covered by countably many sets, each of which is closed and purely…

Functional Analysis · Mathematics 2020-11-11 Michael Dymond , Olga Maleva

Let $T$ be a topological space admitting a compatible proper metric, that is, a locally compact, separable and metrisable space. Let $\mathcal{M}^T$ be the non-empty set of all proper metrics $d$ on $T$ compatible with its topology, and…

Functional Analysis · Mathematics 2023-11-17 Richard J. Smith , Filip Talimdjioski

We provide sufficient conditions for a locally lipschitz mapping to be invertible . We use classical local invertibility conditions together with the non-smooth critical point theory.

Classical Analysis and ODEs · Mathematics 2017-04-17 M. Galewski , M. Radulescu

We prove some new log-free density theorems for zeros of Dirichlet L-functions (which accordingly are more sharp than earlier ones near to the boundary line of the critical strip). The results can be applied in several problems of prime…

Number Theory · Mathematics 2018-04-17 Janos Pintz

On any metric space, I provide an intrinsic characterization of those complex-valued functions which are uniform limits of Lipschitz functions. There are applications to function theory on complete Riemannian manifolds and, in particular,…

Functional Analysis · Mathematics 2021-05-18 L. A. Coburn

A note connecting arguments scattered in the extant literature proving that, in any o-minimal expansion of the real field, a definable family of sets has the property that the set of parameters corresponding to finite-volume fibers is…

Logic · Mathematics 2025-08-14 L. C. Brown

We study the flexibility of the pressure function of a continuous potential (observable) with respect to a parameter regarded as the inverse temperature. The points of non-differentiability of this function are of particular interest in…

Dynamical Systems · Mathematics 2023-03-02 Tamara Kucherenko , Anthony Quas

Let G be a finitely generated group with a given word metric. The asymptotic density of elements in G that have a particular property P is defined to be the limit, as r goes to infinity, of the proportion of elements in the ball of radius r…

Group Theory · Mathematics 2007-05-23 Pallavi Dani

We study a method for calculating the utility function from a candidate of a demand function that is not differentiable, but is locally Lipschitz. Using this method, we obtain two new necessary and sufficient conditions for a candidate of a…

Theoretical Economics · Economics 2024-04-02 Yuhki Hosoya

We prove that for continuous Lorentz-Finsler spaces timelike completeness implies inextendibility. Furthermore, we prove that under suitable locally Lipschitz conditions on the Finsler fundamental function the continuous causal curves that…

General Relativity and Quantum Cosmology · Physics 2019-09-30 E. Minguzzi , S. Suhr

We consider a nonlocal equation set in an unbounded domain with the epigraph property. We prove symmetry, monotonicity and rigidity results. In particular, we deal with halfspaces, coercive epigraphs and epigraphs that are flat at infinity.

Analysis of PDEs · Mathematics 2016-10-26 Serena Dipierro , Nicola Soave , Enrico Valdinoci

We study Lusin-measurable functions with values in locally convex spaces. In particular, the behavior of pointwise limits of sequences of Lusin-measurable functions and exhibit pathological phenomena arising in the nonmetrizable setting.…

Functional Analysis · Mathematics 2026-05-29 Matthieu F. Pinaud , Humberto Prado

In this paper, we show that the density in energy of Lipschitz functions in a Sobolev space $N^{1,p}(X)$ holds for all $p\in [1,\infty)$ whenever the space $X$ is complete and separable and the measure is Radon and finite on balls.…

Classical Analysis and ODEs · Mathematics 2022-07-19 Sylvester Eriksson-Bique