Continuous Wavelet Transformation on Homogeneous Spaces

Total Page:16

File Type:pdf, Size:1020Kb

Continuous Wavelet Transformation on Homogeneous Spaces Continuous Wavelet Transformation on Homogeneous Spaces Dissertation zur Erlangung des mathematisch-naturwissenschaftlichen Doktorgrades “Doctor rerum naturalium” der Georg-August-Universität zu Göttingen im Promotionsprogramm “Mathematical Sciences (Ph.D)” der Georg-August University School of Science (GAUSS) vorgelegt von Burkhard Blobel aus Freiberg/Sa. Göttingen, 2020 Betreuungsausschuss: Prof. Dr. Dorothea Bahns, Mathematisches Institut, Universität Göttingen Prof. Dr. Thomas Schick, Mathematisches Institut, Universität Göttingen Mitglieder der Prüfungskommission: Referent: Prof. Dr. Dorothea Bahns, Mathematisches Institut, Universität Göttingen Korreferent: Prof. Dr. Thomas Schick, Mathematisches Institut, Universität Göttingen Weitere Mitglieder der Prüfungskommission: Jun.-Prof. Dr. Madeleine Jotz Lean Mathematisches Institut, Universität Göttingen Prof. Dr. Ralf Meyer, Mathematisches Institut, Universität Göttingen Prof. Dr. Gerlind Plonka-Hoch, Institut für Numerische und Angewandte Mathematik, Universität Göttingen Prof. Dr. Dominic Schuhmacher Institut für Mathematische Stochastik, Universität Göttingen Tag der mündlichen Prüfung: 11.12.2020 Contents Notation and convention v 1 Introduction 1 2 Basics 7 2.1 Locally compact groups . .7 2.1.1 Topological groups . .7 2.1.2 Homogeneous spaces of locally compact groups . .9 2.1.3 Measures on locally compact spaces . 10 2.1.4 Haar measure . 13 2.1.5 Function spaces . 15 2.1.6 Quasi-invariant measures on the quotient space . 17 2.1.7 Standard Borel spaces . 22 2.2 Representation theory . 27 2.2.1 Unitary representation . 27 2.2.2 Induced representations . 30 2.2.3 Properties of induced representations . 34 2.3 The dual and the quasi-dual of a locally compact group . 35 2.3.1 Von Neumann algebras . 35 2.3.2 Direct integral of Hilbert spaces . 38 2.3.3 Decomposition of representations . 41 2.3.4 Plancherel decomposition . 44 2.3.5 Remarks on the Plancherel Theorem . 47 2.4 Contractions of Lie algebras, Lie groups, and representation . 48 3 Continuous wavelet transformations and admissibility conditions 51 3.1 Continuous wavelet transformations and generalizations . 51 3.1.1 Classical continuous wavelet transformation . 51 3.1.2 Shearlets and semidirect products . 55 3.1.3 Windowed Fourier transformation and coherent state transfor- mation . 57 3.1.4 Coherent states over coadjoint orbits . 59 3.1.5 Continuous wavelet transformations on manifolds . 60 iv Contents 3.1.6 Continuous diffusion wavelet transformations . 63 3.2 Group-theoretical approach to continuous wavelet transformations . 64 3.2.1 Introduction and definitions . 65 3.2.2 Square-integrability condition . 67 4 New approaches to continuous wavelet transformations 75 4.1 Relation between representations . 76 4.2 Continuous wavelet transformations on unimodular groups . 80 4.3 Continuous wavelet transformations on homogeneous spaces . 81 4.3.1 Semidirect products . 82 4.3.2 Examples . 95 4.3.3 Group extensions . 97 4.4 Continuous wavelet transformations on manifolds . 101 5 Outlook and discussion 105 A Polar decomposition of direct integral operators 109 B Fourier transformation of tempered distributions 113 Notation and convention Notation im ϕ image of a map ϕ ker ϕ kernel of a homomorphism ϕ At transpose of a matrix A A−t inverse transposed matrix charE characteristic function of a measurable set E ess sup E essential supremum of a measurable set, ess sup E = inf b ∈ R {x ∈ E | x > b} is a null set Cc(X) space of compactly supported continuous functions C0(X) space of continuous functions vanishing at infinity Cb(X) space of bounded continuous functions k · k∞ uniform norm (supremum norm) 1 ∈ H identity operator on a Hilbert space H B(V1; V2) space of bounded linear operators from a Banach space V1 to a Banach space V2 B(H) = B(H; H) space of bounded linear operators on a Hilbert space H (defined via functional calculus) B1(H) space of trace-class operators on a Hilbert space H B2(H) space of Hilbert-Schmidt operators on a Hilbert space H U(H) space of unitary operators on H |T | = (T ∗T )1/2 absolute value of an operator T : H → H, kT k1 trace norm of an operator T : H → H kT k2 Hilbert-Schmidt norm of an operator T : H → H vi Notation ∆G modular function of a locally compact group G λG left regular representation of a locally compact group G µG Plancherel measure of a locally compact group G N0 = {0, 1, 2, ···} natural numbers including 0 N = {1, 2, 3, ···} natural numbers without 0 N = N ∪ {∞} countable cardinalities without 0 Convention R e2πihk,xif x x f ∈ L1 n Rn ( ) d Fourier transform of a function (R ), 1 n 2 n Plancherel transform of a function f ∈ L (R ) ∩ L (R ) h·, ·i (complex) scalar product, antilinear in the first argument, linear in the second argument R G f(a) da integration against the left Haar measure of a locally compact group G H ≤ GH is closed subgroup of a locally compact group G Terminology • neighborhood of a point: a subset of a topological space containing the point in its interior (not necessarily open) • action: left action • representation: strongly continuous unitary representation CHAPTER 1 Introduction Wavelet transformation is a tool coming from data analysis. Roughly speaking, it has its origin in analyzing seismic measurements in geophysics and goes back to Goupillaud, Grossmann, and Morlet. In [38], they discussed the problem of reconstructing and resolving underground structures in order to find reservoirs of oil and gas. The data used for that purpose consists of a superposition of seismic waves, which are backscattered by the different layers in the ground and are measured over time. Since information about the thicknesses and impedances of different layers are encoded in frequencies and timings, it is important to keep track of both. The straightforward approach uses windowed or short-time Fourier analysis, which means that the measured signal is decomposed into “elementary wavelets” of the form it/a ψb,a(t) = e ψ(t − b), (1.1) where ψ is a window function, which is typically chosen to be a Gaussian of width T , 2 1 − t ψ(t) = √ e 2T 2 . (1.2) 2πT 2 This method goes back to Gabor [36]. Goupillaud, Grossmann, and Morlet demonstrate that because of the fixed width of the window, the timing resolution for high frequencies drops and results in a loss of information. Instead, they propose to use a family of waves which scale not only in frequency but also in timing. They decompose the signal into wavelets of the form − 1 −1 φb,a(t) = |a| 2 φ(a (t − b)), (1.3) where φ can be chosen, for example, as 2 2 √ − t − t φ(t) = 2 e T 2 − e 2T 2 . (1.4) The different shapes are illustrated in Fig. 1.1. With this approach Goupillaud, Gross- mann, and Morlet managed to improve the quality and resolution of the results. To evaluate the measured signal f, one has to transform it into a function Vφf(b, a) 2 Introduction low frequencies medium frequencies high frequencies WFT Re(ψb,a(t)) Re(ψb,a(t)) Re(ψb,a(t)) low frequencies medium frequencies high frequencies CWT φb,a(t) φb,a(t) φb,a(t) Figure 1.1: Comparison of wavelets used for windowed Fourier transformation (WFT) and continuous wavelet transformation (CWT) at low (a = 3), medium (a = 1), and high frequencies (a = 1/3). ψb,a is defined in eq. (1.1) and eq. (1.2) with T = 2. φb,a is defined in eq. (1.3) and eq. (1.4) with T = 1. such that Z Z 1 f(t) = Vφf(b, a) · φb,a(t) 2 db da, (1.5) R6=0 R a stating that f is a superposition of the functions {φb,a}. In order to do that they noted 2 2 1 that for suitable φ the operator Vφ : L (R) → L (R × R6=0, a2 db da), Z Vφf(b, a) = φb,a(t)f(t) dt, (1.6) R ∗ 2 1 2 is an isometry. Hence, its adjoint operator Vφ : L (R × R6=0, a2 db da) → L (R), Z Z ∗ 1 Vφ F (t) = F (b, a) · φb,a(t) 2 db da, R6=0 R a has the desired property ∗ f = Vφ Vφf and Vφ defined in eq. (1.6) fulfills the relation in eq. (1.5). Goupillaud, Grossmann, and Morlet called the operator Vφ the voice transformation. Today, it is known as (classical) continuous wavelet transformation. In [39], Grossmann, Morlet, and Paul showed that it is no coincidence that Vφ is 3 an isometry. They stated that the map π(b, a): φ 7→ φb,a is an irreducible unitary representation of the affine group of the real line Gaff (R) = R o R6=0 = {(b, a) | a ∈ R6=0, b ∈ R} with the group law (b, a) · (b0, a0) = (ab0 + b, aa0). Because of its action (b, a).x = ax + b, for x ∈ R, Gaff (R) is also known as the ax + b-group. It turns out that the operator Vφ 2 2 is an intertwiner L (R) → L (Gaff (R)) between π and the left regular representation 1 of Gaff (R). The measure a2 db da is nothing but the Haar measure of Gaff (R). This observation opened the field to pure mathematics including representation theory of locally compact groups and abstract harmonic analysis. During the last decades the idea developed and led to the following definition (cf. Führ [33, Chp. 2.3]). Definition 1.1. Let G be a locally compact group and π a (strongly continuous) unitary representation on a complex Hilbert space H. Let ψ ∈ H be a fixed, nonzero vector. (i) Denote by Vψ the possibly unbounded (not even densely defined) operator H → 2 L (G) given by Vψf(a) = hπ(a)ψ, fi.
Recommended publications
  • Integral Representation of a Linear Functional on Function Spaces
    INTEGRAL REPRESENTATION OF LINEAR FUNCTIONALS ON FUNCTION SPACES MEHDI GHASEMI Abstract. Let A be a vector space of real valued functions on a non-empty set X and L : A −! R a linear functional. Given a σ-algebra A, of subsets of X, we present a necessary condition for L to be representable as an integral with respect to a measure µ on X such that elements of A are µ-measurable. This general result then is applied to the case where X carries a topological structure and A is a family of continuous functions and naturally A is the Borel structure of X. As an application, short solutions for the full and truncated K-moment problem are presented. An analogue of Riesz{Markov{Kakutani representation theorem is given where Cc(X) is replaced with whole C(X). Then we consider the case where A only consists of bounded functions and hence is equipped with sup-norm. 1. Introduction A positive linear functional on a function space A ⊆ RX is a linear map L : A −! R which assigns a non-negative real number to every function f 2 A that is globally non-negative over X. The celebrated Riesz{Markov{Kakutani repre- sentation theorem states that every positive functional on the space of continuous compactly supported functions over a locally compact Hausdorff space X, admits an integral representation with respect to a regular Borel measure on X. In symbols R L(f) = X f dµ, for all f 2 Cc(X). Riesz's original result [12] was proved in 1909, for the unit interval [0; 1].
    [Show full text]
  • Geometric Integration Theory Contents
    Steven G. Krantz Harold R. Parks Geometric Integration Theory Contents Preface v 1 Basics 1 1.1 Smooth Functions . 1 1.2Measures.............................. 6 1.2.1 Lebesgue Measure . 11 1.3Integration............................. 14 1.3.1 Measurable Functions . 14 1.3.2 The Integral . 17 1.3.3 Lebesgue Spaces . 23 1.3.4 Product Measures and the Fubini–Tonelli Theorem . 25 1.4 The Exterior Algebra . 27 1.5 The Hausdorff Distance and Steiner Symmetrization . 30 1.6 Borel and Suslin Sets . 41 2 Carath´eodory’s Construction and Lower-Dimensional Mea- sures 53 2.1 The Basic Definition . 53 2.1.1 Hausdorff Measure and Spherical Measure . 55 2.1.2 A Measure Based on Parallelepipeds . 57 2.1.3 Projections and Convexity . 57 2.1.4 Other Geometric Measures . 59 2.1.5 Summary . 61 2.2 The Densities of a Measure . 64 2.3 A One-Dimensional Example . 66 2.4 Carath´eodory’s Construction and Mappings . 67 2.5 The Concept of Hausdorff Dimension . 70 2.6 Some Cantor Set Examples . 73 i ii CONTENTS 2.6.1 Basic Examples . 73 2.6.2 Some Generalized Cantor Sets . 76 2.6.3 Cantor Sets in Higher Dimensions . 78 3 Invariant Measures and the Construction of Haar Measure 81 3.1 The Fundamental Theorem . 82 3.2 Haar Measure for the Orthogonal Group and the Grassmanian 90 3.2.1 Remarks on the Manifold Structure of G(N,M).... 94 4 Covering Theorems and the Differentiation of Integrals 97 4.1 Wiener’s Covering Lemma and its Variants .
    [Show full text]
  • On Stochastic Distributions and Currents
    NISSUNA UMANA INVESTIGAZIONE SI PUO DIMANDARE VERA SCIENZIA S’ESSA NON PASSA PER LE MATEMATICHE DIMOSTRAZIONI LEONARDO DA VINCI vol. 4 no. 3-4 2016 Mathematics and Mechanics of Complex Systems VINCENZO CAPASSO AND FRANCO FLANDOLI ON STOCHASTIC DISTRIBUTIONS AND CURRENTS msp MATHEMATICS AND MECHANICS OF COMPLEX SYSTEMS Vol. 4, No. 3-4, 2016 dx.doi.org/10.2140/memocs.2016.4.373 ∩ MM ON STOCHASTIC DISTRIBUTIONS AND CURRENTS VINCENZO CAPASSO AND FRANCO FLANDOLI Dedicated to Lucio Russo, on the occasion of his 70th birthday In many applications, it is of great importance to handle random closed sets of different (even though integer) Hausdorff dimensions, including local infor- mation about initial conditions and growth parameters. Following a standard approach in geometric measure theory, such sets may be described in terms of suitable measures. For a random closed set of lower dimension with respect to the environment space, the relevant measures induced by its realizations are sin- gular with respect to the Lebesgue measure, and so their usual Radon–Nikodym derivatives are zero almost everywhere. In this paper, how to cope with these difficulties has been suggested by introducing random generalized densities (dis- tributions) á la Dirac–Schwarz, for both the deterministic case and the stochastic case. For the last one, mean generalized densities are analyzed, and they have been related to densities of the expected values of the relevant measures. Ac- tually, distributions are a subclass of the larger class of currents; in the usual Euclidean space of dimension d, currents of any order k 2 f0; 1;:::; dg or k- currents may be introduced.
    [Show full text]
  • Invariant Radon Measures on Measured Lamination Space
    INVARIANT RADON MEASURES ON MEASURED LAMINATION SPACE URSULA HAMENSTADT¨ Abstract. Let S be an oriented surface of genus g ≥ 0 with m ≥ 0 punctures and 3g − 3+ m ≥ 2. We classify all Radon measures on the space of measured geodesic laminations which are invariant under the action of the mapping class group of S. 1. Introduction Let S be an oriented surface of finite type, i.e. S is a closed surface of genus g 0 from which m 0 points, so-called punctures, have been deleted. We assume that≥ 3g 3 + m 1,≥ i.e. that S is not a sphere with at most 3 punctures or a torus without− puncture.≥ In particular, the Euler characteristic of S is negative. Then the Teichm¨uller space (S) of S is the quotient of the space of all complete hyperbolic metrics of finite volumeT on S under the action of the group of diffeomorphisms of S which are isotopic to the identity. The mapping class group MCG(S) of all isotopy classes of orientation preserving diffeomorphisms of S acts properly discontinuously on (S) with quotient the moduli space Mod(S). T A geodesic lamination for a fixed choice of a complete hyperbolic metric of finite volume on S is a compact subset of S foliated into simple geodesics. A measured geodesic lamination is a geodesic lamination together with a transverse translation invariant measure. The space of all measured geodesic laminations on S, equipped with the weak∗-topology,ML is homeomorphic to S6g−7+2m (0, ) where S6g−7+2m is the 6g 7+2m-dimensional sphere.
    [Show full text]
  • Nonlinear Structures Determined by Measures on Banach Spaces Mémoires De La S
    MÉMOIRES DE LA S. M. F. K. DAVID ELWORTHY Nonlinear structures determined by measures on Banach spaces Mémoires de la S. M. F., tome 46 (1976), p. 121-130 <http://www.numdam.org/item?id=MSMF_1976__46__121_0> © Mémoires de la S. M. F., 1976, tous droits réservés. L’accès aux archives de la revue « Mémoires de la S. M. F. » (http://smf. emath.fr/Publications/Memoires/Presentation.html) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Journees Geom. dimens. infinie [1975 - LYON ] 121 Bull. Soc. math. France, Memoire 46, 1976, p. 121 - 130. NONLINEAR STRUCTURES DETERMINED BY MEASURES ON BANACH SPACES By K. David ELWORTHY 0. INTRODUCTION. A. A Gaussian measure y on a separable Banach space E, together with the topolcT- gical vector space structure of E, determines a continuous linear injection i : H -> E, of a Hilbert space H, such that y is induced by the canonical cylinder set measure of H. Although the image of H has measure zero, nevertheless H plays a dominant role in both linear and nonlinear analysis involving y, [ 8] , [9], [10] . The most direct approach to obtaining measures on a Banach manifold M, related to its differential structure, requires a lot of extra structure on the manifold : for example a linear map i : H -> T M for each x in M, and even a subset M-^ of M which has the structure of a Hilbert manifold, [6] , [7].
    [Show full text]
  • A Theory of Radon Measures on Locally Compact Spaces
    A THEORY OF RADON MEASURES ON LOCALLY COMPACT SPACES. By R. E. EDWARDS. 1. Introduction. In functional analysis one is often presented with the following situation: a locally compact space X is given, and along with it a certain topological vector space • of real functions defined on X; it is of importance to know the form of the most general continuous linear functional on ~. In many important cases, s is a superspace of the vector space ~ of all reul, continuous functions on X which vanish outside compact subsets of X, and the topology of s is such that if a sequence (]n) tends uniformly to zero and the ]n collectively vanish outside a fixed compact subset of X, then (/~) is convergent to zero in the sense of E. In this case the restriction to ~ of any continuous linear functional # on s has the property that #(/~)~0 whenever the se- quence (/~) converges to zero in the manner just described. It is therefore an important advance to determine all the linear functionals on (~ which are continuous in this eense. It is customary in some circles (the Bourbaki group, for example) to term such a functional # on ~ a "Radon measure on X". Any such functional can be written in many ways as the difference of two similar functionals, euch having the additional property of being positive in the sense that they assign a number >_ 0 to any function / satisfying ] (x) > 0 for all x E X. These latter functionals are termed "positive Radon measures on X", and it is to these that we may confine our attention.
    [Show full text]
  • Some Special Results of Measure Theory
    Some Special Results of Measure Theory By L. Le Cam1 U.C. Berkeley 1. Introduction The purpose of the present report is to record in writing some results of measure theory that are known to many people but do not seem to be in print, or at least seem to be difficult to find in the printed literature. The first result, originally proved by a consortium including R.M. Dudley, J. Feldman, D. Fremlin, C.C. Moore and R. Solovay in 1970 says something like this: Let X be compact with a Radon measure µ.Letf be a map from X to a metric space Y such that for every open set S ⊂ Y the inverse image, f −1(S) is Radon measurable. Then, if the cardinality of f(X)isnot outlandishly large, there is a subset X0 ⊂ X such that µ(X\X0)=0and f(X0) is separable. Precise definition of what outlandishly large means will be given below. The theorem may not appear very useful. However, after seeing it, one usually looks at empirical measures and processes in a different light. The theorem could be stated briefly as follows: A measurable image of a Radon measure in a complete metric space is Radon. Section 6 Theorem 7 gives an extension of the result where maps are replaced by Markov kernels. Sec- tion 8, Theorem 9, gives an extension to the case where the range space is paracompact instead of metric. The second part of the paper is an elaboration on certain classes of mea- sures that are limits in a suitable sense of “molecular” ones, that is measures carried by finite sets.
    [Show full text]
  • Radon Measures
    MAT 533, SPRING 2021, Stony Brook University REAL ANALYSIS II FOLLAND'S REAL ANALYSIS: CHAPTER 7 RADON MEASURES Christopher Bishop 1. Chapter 7: Radon Measures Chapter 7: Radon Measures 7.1 Positive linear functionals on Cc(X) 7.2 Regularity and approximation theorems 7.3 The dual of C0(X) 7.4* Products of Radon measures 7.5 Notes and References Chapter 7.1: Positive linear functionals X = locally compact Hausdorff space (LCH space) . Cc(X) = continuous functionals with compact support. Defn: A linear functional I on C0(X) is positive if I(f) ≥ 0 whenever f ≥ 0, Example: I(f) = f(x0) (point evaluation) Example: I(f) = R fdµ, where µ gives every compact set finite measure. We will show these are only examples. Prop. 7.1; If I is a positive linear functional on Cc(X), for each compact K ⊂ X there is a constant CK such that jI(f)j ≤ CLkfku for all f 2 Cc(X) such that supp(f) ⊂ K. Proof. It suffices to consider real-valued I. Given a compact K, choose φ 2 Cc(X; [0; 1]) such that φ = 1 on K (Urysohn's lemma). Then if supp(f) ⊂ K, jfj ≤ kfkuφ, or kfkφ − f > 0;; kfkφ + f > 0; so kfkuI(φ) − I)f) ≥ 0; kfkuI(φ) + I)f) ≥ 0: Thus jI(f)j ≤ I(φ)kfku: Defn: let µ be a Borel measure on X and E a Borel subset of X. µ is called outer regular on E if µ(E) = inffµ(U): U ⊃ E; U open g; and is inner regular on E if µ(E) = supfµ(K): K ⊂ E; K open g: Defn: if µ is outer and inner regular on all Borel sets, then it is called regular.
    [Show full text]
  • Representation of the Dirac Delta Function in C(R)
    Representation of the Dirac delta function in C(R∞) in terms of infinite-dimensional Lebesgue measures Gogi Pantsulaia∗ and Givi Giorgadze I.Vekua Institute of Applied Mathematics, Tbilisi - 0143, Georgian Republic e-mail: [email protected] Georgian Technical University, Tbilisi - 0175, Georgian Republic g.giorgadze Abstract: A representation of the Dirac delta function in C(R∞) in terms of infinite-dimensional Lebesgue measures in R∞ is obtained and some it’s properties are studied in this paper. MSC 2010 subject classifications: Primary 28xx; Secondary 28C10. Keywords and phrases: The Dirac delta function, infinite-dimensional Lebesgue measure. 1. Introduction The Dirac delta function(δ-function) was introduced by Paul Dirac at the end of the 1920s in an effort to create the mathematical tools for the development of quantum field theory. He referred to it as an improper functional in Dirac (1930). Later, in 1947, Laurent Schwartz gave it a more rigorous mathematical definition as a spatial linear functional on the space of test functions D (the set of all real-valued infinitely differentiable functions with compact support). Since the delta function is not really a function in the classical sense, one should not consider the value of the delta function at x. Hence, the domain of the delta function is D and its value for f ∈ D is f(0). Khuri (2004) studied some interesting applications of the delta function in statistics. The purpose of the present paper is an introduction of a concept of the Dirac delta function in the class of all continuous functions defined in the infinite- dimensional topological vector space of all real valued sequences R∞ equipped arXiv:1605.02723v2 [math.CA] 14 May 2016 with Tychonoff topology and a representation of this functional in terms of infinite-dimensional Lebesgue measures in R∞.
    [Show full text]
  • Range Convergence Monotonicity for Vector
    RANGE CONVERGENCE MONOTONICITY FOR VECTOR MEASURES AND RANGE MONOTONICITY OF THE MASS JUSTIN DEKEYSER AND JEAN VAN SCHAFTINGEN Abstract. We prove that the range of sequence of vector measures converging widely satisfies a weak lower semicontinuity property, that the convergence of the range implies the strict convergence (convergence of the total variation) and that the strict convergence implies the range convergence for strictly convex norms. In dimension 2 and for Euclidean spaces of any dimensions, we prove that the total variation of a vector measure is monotone with respect to the range. Contents 1. Introduction 1 2. Total variation and range 4 3. Convergence of the total variation and of the range 14 4. Zonal representation of masses 19 5. Perimeter representation of masses 24 Acknowledgement 27 References 27 1. Introduction A vector measure µ maps some Σ–measurable subsets of a space X to vectors in a linear space V [1, Chapter 1; 8; 13]. Vector measures ap- pear naturally in calculus of variations and in geometric measure theory, as derivatives of functions of bounded variation (BV) [6] and as currents of finite mass [10]. In these contexts, it is natural to work with sequences of arXiv:1904.05684v1 [math.CA] 11 Apr 2019 finite Radon measures and to study their convergence. The wide convergence of a sequence (µn)n∈N of finite vector measures to some finite vector measure µ is defined by the condition that for every compactly supported continuous test function ϕ ∈ Cc(X, R), one has lim ϕ dµn = ϕ dµ. n→∞ ˆX ˆX 2010 Mathematics Subject Classification.
    [Show full text]
  • Radon Measures and Lipschitz Graphs
    RADON MEASURES AND LIPSCHITZ GRAPHS MATTHEW BADGER AND LISA NAPLES Abstract. For all 1 ≤ m ≤ n − 1, we investigate the interaction of locally finite measures in Rn with the family of m-dimensional Lipschitz graphs. For instance, we characterize Radon measures µ, which are carried by Lipschitz graphs in the sense that n S1 there exist graphs Γ1; Γ2;::: such that µ(R n 1 Γi) = 0, using only countably many evaluations of the measure. This problem in geometric measure theory was classically studied within smaller classes of measures, e.g. for the restrictions of m-dimensional Hausdorff measure Hm to E ⊆ Rn with 0 < Hm(E) < 1. However, an example of Cs¨ornyei, K¨aenm¨aki,Rajala, and Suomala shows that classical methods are insufficient to detect when a general measure charges a Lipschitz graph. To develop a characterization of Lipschitz graph rectifiability for arbitrary Radon measures, we look at the behavior of coarse doubling ratios of the measure on dyadic cubes that intersect conical annuli. This extends a characterization of graph rectifiability for pointwise doubling measures by Naples by mimicking the approach used in the characterization of Radon measures carried by rectifiable curves by Badger and Schul. Contents 1. Introduction 1 2. Sufficient Conditions 7 3. Necessary Conditions 11 4. Proof of the Main Theorem 13 5. Variations 14 References 15 1. Introduction A general goal in geometric measure theory that has not yet been fully achieved is to understand in a systematic way how generic measures on a metric space interact with a prescribed family of sets in the space, e.g.
    [Show full text]
  • On the Generalized Quotient Integrals on Homogenous Spaces
    ON THE GENERALIZED QUOTIENT INTEGRALS ON HOMOGENOUS SPACES ∗ T. DERIKVAND, R. A. KAMYABI-GOL AND M. JANFADA Abstract. A generalization of the quotient integral formula is presented and some of its properties are investigated. Also the relations between two function spaces related to the spacial homogeneous spaces are derived by using general quotient integral formula. Finally our results are supported by some examples. 1. INTRODUCTION In 1917 Johann Radon in [10] showed that a differentiable function on R2 or R3 could be recovered explicitly from its integrals over lines or planes, respectively. Nowadays, this reconstruction problem has many applications in different areas. For example, if the Euclidian group E(2) acts transitively on R2, then the isotropy subgroup of origin is the orthogonal group O(2). In that sequel, the homogeneous space E(2)/O(2) provides defi- nition of X-ray transform that is used in many areas including computerized tomography, magnetic resonance imaging, positron emission tomography, radio astronomy, crystallo- graphic texture analysis, etc. See [1, 2]. This shows that the study of function spaces related to homogenous spaces is useful, so that the Radon transform and its applications has been studied by many authors; see, for example, [4, 7, 9, 10]. S. Helgason [5] studied the Radon transform in the more general framework of homogeneous spaces for a topo- logical group G. Let G be a locally compact group, H and K be two closed subgroups of G, L := H K ∩ and also let X := G/K and Y := G/H denote two left coset spaces of G.
    [Show full text]