Search results for "funktio"

showing 10 items of 319 documents

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

Open and Discrete Maps with Piecewise Linear Branch Set Images are Piecewise Linear Maps

2018

The image of the branch set of a piecewise linear (PL)‐branched cover between PL 𝑛n‐manifolds is a simplicial (𝑛−2)(n−2)‐complex. We demonstrate that the reverse implication also holds: an open and discrete map 𝑓:𝕊𝑛→𝕊𝑛f:Sn→Sn with the image of the branch set contained in a simplicial (𝑛−2)(n−2)‐complex is equivalent up to homeomorphism to a PL‐branched cover. peerReviewed

Mathematics - Complex VariablesGeneral MathematicsImage (category theory)010102 general mathematicsGeometric Topology (math.GT)01 natural sciencesHomeomorphismPiecewise linear functionSet (abstract data type)CombinatoricsfunktioteoriaMathematics - Geometric TopologyCover (topology)0103 physical sciencesFOS: MathematicsHigh Energy Physics::Experiment010307 mathematical physicsComplex Variables (math.CV)0101 mathematicstopologiaMathematics
researchProduct

X-ray Tomography of One-forms with Partial Data

2021

If the integrals of a one-form over all lines meeting a small open set vanish and the form is closed in this set, then the one-form is exact in the whole Euclidean space. We obtain a unique continuation result for the normal operator of the X-ray transform of one-forms, and this leads to one of our two proofs of the partial data result. Our proofs apply to compactly supported covector-valued distributions.

Mathematics - Differential Geometry46F12 44A12 58A10Open set01 natural sciencesinversio-ongelmatintegraaliyhtälötSet (abstract data type)vector field tomographytomografiaFOS: MathematicsNormal operator0101 mathematicsMathematicsx-ray tomographyinverse problemsEuclidean spaceApplied MathematicsMathematical analysisInverse problemunique continuationnormal operatorFunctional Analysis (math.FA)Mathematics - Functional Analysis010101 applied mathematicsComputational MathematicsDifferential Geometry (math.DG)röntgenkuvausTomographyfunktionaalianalyysiAnalysisSIAM Journal on Mathematical Analysis
researchProduct

Conformal equivalence of visual metrics in pseudoconvex domains

2017

We refine estimates introduced by Balogh and Bonk, to show that the boundary extensions of isometries between smooth strongly pseudoconvex domains in $\C^n$ are conformal with respect to the sub-Riemannian metric induced by the Levi form. As a corollary we obtain an alternative proof of a result of Fefferman on smooth extensions of biholomorphic mappings between pseudoconvex domains. The proofs are inspired by Mostow's proof of his rigidity theorem and are based on the asymptotic hyperbolic character of the Kobayashi or Bergman metrics and on the Bonk-Schramm hyperbolic fillings.

Mathematics - Differential GeometryComputer Science::Machine LearningPure mathematicsGeneral Mathematics32T15 32Q45 32H40 53C23 53C17Rigidity (psychology)Conformal mapMathematical proofComputer Science::Digital Libraries01 natural sciencesdifferentiaaligeometriaStatistics::Machine LearningCorollaryMathematics - Metric Geometry0103 physical sciencesFOS: MathematicsMathematics::Metric GeometryComplex Variables (math.CV)0101 mathematicsEquivalence (formal languages)kompleksifunktiotMathematicsMathematics - Complex VariablesMathematics::Complex Variables010102 general mathematicsMetric Geometry (math.MG)16. Peace & justiceDifferential Geometry (math.DG)Bounded functionComputer Science::Mathematical Software010307 mathematical physicsMathematische Annalen
researchProduct

Approximation by mappings with singular Hessian minors

2018

Let $\Omega\subset\mathbb R^n$ be a Lipschitz domain. Given $1\leq p<k\leq n$ and any $u\in W^{2,p}(\Omega)$ belonging to the little H\"older class $c^{1,\alpha}$, we construct a sequence $u_j$ in the same space with $\operatorname{rank}D^2u_j<k$ almost everywhere such that $u_j\to u$ in $C^{1,\alpha}$ and weakly in $W^{2,p}$. This result is in strong contrast with known regularity behavior of functions in $W^{2,p}$, $p\geq k$, satisfying the same rank inequality.

Mathematics - Differential GeometryHessian matrix35B99 46T10Monge-Ampère equationRank (differential topology)Space (mathematics)01 natural sciencesHessian minorssymbols.namesakeMathematics - Analysis of PDEsLipschitz domainFOS: MathematicsMathematics::Metric GeometryAlmost everywhere0101 mathematicsMathematicsosittaisdifferentiaaliyhtälötDiscrete mathematicsSequenceApplied Mathematicsta111010102 general mathematics16. Peace & justiceFunctional Analysis (math.FA)nonlinear approximationMathematics - Functional Analysis010101 applied mathematicsDifferential Geometry (math.DG)symbolsfunktionaalianalyysiAnalysisAnalysis of PDEs (math.AP)Nonlinear Analysis
researchProduct

Infinitesimal Hilbertianity of Weighted Riemannian Manifolds

2018

AbstractThe main result of this paper is the following: anyweightedRiemannian manifold$(M,g,\unicode[STIX]{x1D707})$,i.e., a Riemannian manifold$(M,g)$endowed with a generic non-negative Radon measure$\unicode[STIX]{x1D707}$, isinfinitesimally Hilbertian, which means that its associated Sobolev space$W^{1,2}(M,g,\unicode[STIX]{x1D707})$is a Hilbert space.We actually prove a stronger result: the abstract tangent module (à la Gigli) associated with any weighted reversible Finsler manifold$(M,F,\unicode[STIX]{x1D707})$can be isometrically embedded into the space of all measurable sections of the tangent bundle of$M$that are$2$-integrable with respect to$\unicode[STIX]{x1D707}$.By following the…

Mathematics - Differential GeometryMathematics::Functional AnalysisPure mathematicsGeneral MathematicsInfinitesimal010102 general mathematicsRiemannian manifold01 natural sciencesSobolev spacedifferentiaaligeometriasymbols.namesakeDifferential Geometry (math.DG)0103 physical sciencesFOS: MathematicssymbolsMathematics::Metric Geometry53C23 46E35 58B20010307 mathematical physicsFinsler manifoldMathematics::Differential Geometry0101 mathematicsmonistotCarnot cyclefunktionaalianalyysiMathematics
researchProduct

Universal infinitesimal Hilbertianity of sub-Riemannian manifolds

2019

We prove that sub-Riemannian manifolds are infinitesimally Hilbertian (i.e., the associated Sobolev space is Hilbert) when equipped with an arbitrary Radon measure. The result follows from an embedding of metric derivations into the space of square-integrable sections of the horizontal bundle, which we obtain on all weighted sub-Finsler manifolds. As an intermediate tool, of independent interest, we show that any sub-Finsler distance can be monotonically approximated from below by Finsler ones. All the results are obtained in the general setting of possibly rank-varying structures.

Mathematics - Differential GeometryMetric Geometry (math.MG)Sobolev spaceFunctional Analysis (math.FA)Mathematics - Functional AnalysisRiemannin monistotdifferentiaaligeometriasub-Finsler manifoldMathematics - Metric GeometryDifferential Geometry (math.DG)infinitesimal hilbertianityFOS: MathematicsMathematics::Metric Geometrysub-Riemannian manifoldMathematics::Differential GeometrymonistotfunktionaalianalyysiMathematics::Symplectic Geometry53C23 46E35 53C17 55R25Analysis
researchProduct

Tensorization of quasi-Hilbertian Sobolev spaces

2022

The tensorization problem for Sobolev spaces asks for a characterization of how the Sobolev space on a product metric measure space $X\times Y$ can be determined from its factors. We show that two natural descriptions of the Sobolev space from the literature coincide, $W^{1,2}(X\times Y)=J^{1,2}(X,Y)$, thus settling the tensorization problem for Sobolev spaces in the case $p=2$, when $X$ and $Y$ are infinitesimally quasi-Hilbertian, i.e. the Sobolev space $W^{1,2}$ admits an equivalent renorming by a Dirichlet form. This class includes in particular metric measure spaces $X,Y$ of finite Hausdorff dimension as well as infinitesimally Hilbertian spaces. More generally for $p\in (1,\infty)$ we…

Mathematics - Differential Geometrymetric measure spacesDirichlet formsminimal upper gradientFunctional Analysis (math.FA)Mathematics - Functional Analysistensorization46E36 (Primary) 31C25 (Secondary)Differential Geometry (math.DG)Sobolev spacesFOS: Mathematicsanalysis on metric spacespotentiaaliteoriafunktionaalianalyysi
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

Pointwise inequalities for Sobolev functions on generalized cuspidal domains

2022

We establish point wise inequalities for Sobolev functions on a wider class of outward cuspidal domains. It is a generalization of an earlier result by the author and his collaborators

Mathematics - Functional Analysiscuspidal domainsFOS: Mathematicspointwise inequalitySobolev functionsAstrophysics::Cosmology and Extragalactic AstrophysicsArticlesepäyhtälötfunktionaalianalyysiFunctional Analysis (math.FA)
researchProduct