Search results for " Classical"

showing 10 items of 301 documents

Multisummability for generalized power series

2022

We develop multisummability, in the positive real direction, for generalized power series with natural support, and we prove o-minimality of the expansion of the real field by all multisums of these series. This resulting structure expands both $\mathbb{R}_{\mathcal{G}}$ and the reduct of $\mathbb{R}_{\mathrm{an}^*}$ generated by all convergent generalized power series with natural support; in particular, its expansion by the exponential function defines both the Gamma function on $(0,\infty)$ and the Zeta function on $(1,\infty)$.

Mathematics - Classical Analysis and ODEsGeneral MathematicsClassical Analysis and ODEs (math.CA)FOS: Mathematics[MATH] Mathematics [math]Mathematics - LogicLogic (math.LO)Primary 40C10 03C64 26E10 Secondary 30D60
researchProduct

Additive properties of fractal sets on the parabola

2023

Let $0 \leq s \leq 1$, and let $\mathbb{P} := \{(t,t^{2}) \in \mathbb{R}^{2} : t \in [-1,1]\}$. If $K \subset \mathbb{P}$ is a closed set with $\dim_{\mathrm{H}} K = s$, it is not hard to see that $\dim_{\mathrm{H}} (K + K) \geq 2s$. The main corollary of the paper states that if $0 0$. This information is deduced from an $L^{6}$ bound for the Fourier transforms of Frostman measures on $\mathbb{P}$. If $0 0$, then there exists $\epsilon = \epsilon(s) > 0$ such that $$ \|\hat{\mu}\|_{L^{6}(B(R))}^{6} \leq R^{2 - (2s + \epsilon)} $$ for all sufficiently large $R \geq 1$. The proof is based on a reduction to a $\delta$-discretised point-circle incidence problem, and eventually to the $(s,2s)$-…

Mathematics - Classical Analysis and ODEsGeneral MathematicsFurstenberg setsClassical Analysis and ODEs (math.CA)FOS: MathematicsFourier'n sarjatadditive energiesMathematics - Combinatorics28A80 11B30Combinatorics (math.CO)ArticlesFourier transformsFrostman measuresAnnales Fennici Mathematici
researchProduct

Loomis-Whitney inequalities in Heisenberg groups

2021

This note concerns Loomis-Whitney inequalities in Heisenberg groups $\mathbb{H}^n$: $$|K| \lesssim \prod_{j=1}^{2n}|\pi_j(K)|^{\frac{n+1}{n(2n+1)}}, \qquad K \subset \mathbb{H}^n.$$ Here $\pi_{j}$, $j=1,\ldots,2n$, are the vertical Heisenberg projections to the hyperplanes $\{x_j=0\}$, respectively, and $|\cdot|$ refers to a natural Haar measure on either $\mathbb{H}^n$, or one of the hyperplanes. The Loomis-Whitney inequality in the first Heisenberg group $\mathbb{H}^1$ is a direct consequence of known $L^p$ improving properties of the standard Radon transform in $\mathbb{R}^2$. In this note, we show how the Loomis-Whitney inequalities in higher dimensional Heisenberg groups can be deduced…

Mathematics - Classical Analysis and ODEsSobolev inequalityClassical Analysis and ODEs (math.CA)FOS: Mathematicsmittateoria28A75 52C99 46E35 35R03isoperimetric inequalityepäyhtälötfunktionaalianalyysiLoomis–Whitney inequalityHeisenberg groupRadon transformmatemaattinen analyysi
researchProduct

Bicycle paths, elasticae and sub-Riemannian geometry

2020

We relate the sub-Riemannian geometry on the group of rigid motions of the plane to `bicycling mathematics'. We show that this geometry's geodesics correspond to bike paths whose front tracks are either non-inflectional Euler elasticae or straight lines, and that its infinite minimizing geodesics (or `metric lines') correspond to bike paths whose front tracks are either straight lines or `Euler's solitons' (also known as Syntractrix or Convicts' curves).

Mathematics - Differential GeometryGeodesicGeneral Physics and AstronomyGeometryRiemannian geometry01 natural sciencessymbols.namesakeMathematics - Metric GeometryClassical Analysis and ODEs (math.CA)FOS: Mathematics0101 mathematicsMathematical PhysicsMathematics53C17 (Primary) 53A17 53A04 (Secondary)Group (mathematics)Plane (geometry)Applied Mathematics010102 general mathematicsMetric Geometry (math.MG)Statistical and Nonlinear Physics010101 applied mathematicsDifferential Geometry (math.DG)Mathematics - Classical Analysis and ODEsMetric (mathematics)Euler's formulasymbolsNonlinearity
researchProduct

Gradient estimates for heat kernels and harmonic functions

2020

Let $(X,d,\mu)$ be a doubling metric measure space endowed with a Dirichlet form $\E$ deriving from a "carr\'e du champ". Assume that $(X,d,\mu,\E)$ supports a scale-invariant $L^2$-Poincar\'e inequality. In this article, we study the following properties of harmonic functions, heat kernels and Riesz transforms for $p\in (2,\infty]$: (i) $(G_p)$: $L^p$-estimate for the gradient of the associated heat semigroup; (ii) $(RH_p)$: $L^p$-reverse H\"older inequality for the gradients of harmonic functions; (iii) $(R_p)$: $L^p$-boundedness of the Riesz transform ($p<\infty$); (iv) $(GBE)$: a generalised Bakry-\'Emery condition. We show that, for $p\in (2,\infty)$, (i), (ii) (iii) are equivalent, wh…

Mathematics - Differential GeometryPure mathematicsPoincaré inequality01 natural sciencesMeasure (mathematics)Sobolev inequalitydifferentiaaligeometriaRiesz transformsymbols.namesakeMathematics - Analysis of PDEsMathematics - Metric GeometryLi-Yau estimates0103 physical sciencesClassical Analysis and ODEs (math.CA)FOS: Mathematics0101 mathematicsMathematicsRiesz transformosittaisdifferentiaaliyhtälötSemigroupDirichlet form010102 general mathematicsMetric Geometry (math.MG)harmoninen analyysiheat kernelsDifferential Geometry (math.DG)Harmonic functionMathematics - Classical Analysis and ODEssymbolspotentiaaliteoria010307 mathematical physicsIsoperimetric inequalityharmonic functionsAnalysisAnalysis of PDEs (math.AP)Journal of Functional Analysis
researchProduct

Area of intrinsic graphs and coarea formula in Carnot Groups

2020

AbstractWe consider submanifolds of sub-Riemannian Carnot groups with intrinsic $$C^1$$ C 1 regularity ($$C^1_H$$ C H 1 ). Our first main result is an area formula for $$C^1_H$$ C H 1 intrinsic graphs; as an application, we deduce density properties for Hausdorff measures on rectifiable sets. Our second main result is a coarea formula for slicing $$C^1_H$$ C H 1 submanifolds into level sets of a $$C^1_H$$ C H 1 function.

Mathematics - Differential GeometrySubmanifoldsGeneral MathematicsCarnot groups Area formula Coarea formula Hausdorff measures SubmanifoldsryhmäteoriaCoarea formulaMetric Geometry (math.MG)Area formulaHausdorff measuressubmanifoldsdifferentiaaligeometriacoarea formulaMathematics - Metric GeometryDifferential Geometry (math.DG)Mathematics - Classical Analysis and ODEsCarnot groupsClassical Analysis and ODEs (math.CA)FOS: MathematicsMathematics::Metric Geometryarea formulamittateoriaMathematics::Differential Geometry53C17 28A75 22E30
researchProduct

Nonexistence of Quasiconformal Maps Between Certain Metric Measure Spaces

2013

We provide new conditions that ensure that two metric measure spaces are not quasiconformally equivalent. As an application, we deduce that there exists no quasiconformal map between the sub-Riemannian Heisenberg and roto-translation groups.

Mathematics - Differential Geometrymetric measure spacesPure mathematicsMathematics::Dynamical SystemsMathematics::Complex VariablesGeneral MathematicsExistential quantificationta111010102 general mathematicsMetric Geometry (math.MG)01 natural sciencesMeasure (mathematics)quasiconformal equivalenceDifferential Geometry (math.DG)Mathematics - Metric Geometryquasiconformal mappingsMathematics - Classical Analysis and ODEs0103 physical sciencesMetric (mathematics)Classical Analysis and ODEs (math.CA)FOS: MathematicsMathematics (all)010307 mathematical physics0101 mathematicsMathematicsInternational Mathematics Research Notices
researchProduct

Existence and uniqueness to several kinds of differential equations using the Coincidence Theory

2014

The purpose of this article is to study the existence of a coincidence point for two mappings defined on a nonempty set and taking values on a Banach space using the fixed point theory for nonexpansive mappings. Moreover, this type of results will be applied to obtain the existence of solutions for some classes of ordinary differential equations.

Mathematics - Functional Analysis34A10 34A08 47H09Mathematics - Classical Analysis and ODEsClassical Analysis and ODEs (math.CA)FOS: MathematicsFunctional Analysis (math.FA)
researchProduct

Bi-Lipschitz invariance of planar BV- and W1,1-extension domains

2021

We prove that a bi-Lipschitz image of a planar $BV$-extension domain is also a $BV$-extension domain, and that a bi-Lipschitz image of a planar $W^{1,1}$-extension domain is again a $W^{1,1}$-extension domain.

Mathematics - Functional AnalysisMathematics - Classical Analysis and ODEsBV-extensionClassical Analysis and ODEs (math.CA)FOS: MathematicsSobolev extension46E35funktionaalianalyysiFunctional Analysis (math.FA)
researchProduct

Radial Maximal Function Characterizations of Hardy Spaces on RD-Spaces and Their Applications

2009

Let ${\mathcal X}$ be an RD-space with $\mu({\mathcal X})=\infty$, which means that ${\mathcal X}$ is a space of homogeneous type in the sense of Coifman and Weiss and its measure has the reverse doubling property. In this paper, we characterize the atomic Hardy spaces $H^p_{\rm at}(\{\mathcal X})$ of Coifman and Weiss for $p\in(n/(n+1),1]$ via the radial maximal function, where $n$ is the "dimension" of ${\mathcal X}$, and the range of index $p$ is the best possible. This completely answers the question proposed by Ronald R. Coifman and Guido Weiss in 1977 in this setting, and improves on a deep result of Uchiyama in 1980 on an Ahlfors 1-regular space and a recent result of Loukas Grafakos…

Mathematics - Functional AnalysisMathematics - Classical Analysis and ODEsMathematics::Classical Analysis and ODEsClassical Analysis and ODEs (math.CA)FOS: Mathematics42B30 (Primary) 42B25 (Secondary) 42B35Functional Analysis (math.FA)
researchProduct