Hölder regularity estimation by Hart Smith and Curvelet transforms
|
|
- Adrian McKinney
- 5 years ago
- Views:
Transcription
1 Hölder regularity estimation by Hart Smith and Curvelet transforms Jouni Sampo Lappeenranta University Of Technology Department of Mathematics and Physics Finland 18th September 2007
2 This research is done in collaboration with Dr. Songkiat Sumetkijakan (Chulalongkorn University, Department of Mathematics, Bangkok, Thailand)
3 Outline Basic definitions 1 Basic definitions Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform 2 Conditions for kernel functions Uniform regularity Pointwise Regularity Directional Regularity properties 3 4
4 Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform Uniform and Pointwice Hölder Regularity Definition Let α > 0 and α / N. A function f : R d R is said to be pointwise Hölder regular with exponent α at u, denoted by f C α (u), if there exists a polynomial P u of degree less than α and a constant C u such that for all x in a neighborhood of u f (x) P u (x u) C u x u α. (1) Let Ω be an open subset of R d. If (1) holds for all x, u Ω with C u being a uniform constant independent of u, then we say that f is uniformly Hölder regular with exponent α on Ω or f C α (Ω).
5 Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform Uniform and Pointwise Hölder Exponents The uniform and pointwise Hölder exponents of f on Ω and at u are defined as α l (Ω) := sup{α: f C α (Ω)} and α p (u) := sup{α: f C α (u)}.
6 Local Hölder exponent Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform Definition Let (I i ) i N be a family of nested open sets in R d, i.e. I i+1 I i, with intersection i I i = {u}. The local Hölder exponent of a function f at u, denoted by α l (u), is α l (u) = lim i α l (I i ). In many situations, local and pointwise Hölder exponents coincide, e.g., if f (x) = x γ then α p (0) = α l (0) = γ. However, local Hölder exponents α l (u) is also sensitive to oscillating behavior of f near ( the point u. A simple example is f (x) = x γ sin 1/ x β) for which α p (0) = γ but α l (0) = γ 1+β, i.e., α l is influenced by the wild oscillatory behavior of f near 0.
7 Directional Hölder regularity Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform Definition Let v R d be a fixed unit vector and u R d. A function f : R d R is pointwise Hölder regular with exponent α at u in the direction v, denoted by f C α (u; v), if there exist a constant C u,v and a polynomial P u,v of degree less than α such that f (u + λv) P u,v (λ) C u,v λ α holds for all λ in a neighborhood of 0 R. If one can choose C u,v so that it is independent of u for all u Ω R d and the inequality holds for all λ R such that u + λv Ω, then we say that f is uniformly Hölder regular with exponent α on Ω in direction v or f C α (Ω; v).
8 Directional Vanishing Moments Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform Definition A function f of two variables is said to have an L-order directional vanishing moments along a direction v = (v 1, v 2 ) T (suppose that v 1 0; if v 1 = 0 then v 2 0 and we can swap the two dimensions) if t n f (t, tv 2 /v 1 c)dt = 0, c R, 0 n L. R Essentially, the above definition means that any 1-D slices of the function have vanishing moments of order L.
9 Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform Building Function with Directional Vanishing Moments At spatial domain the design is challenging if vanishing moment in many directions are needed In frequency domain the design is relatively easy If ˆf (n) (ω 1, ω 2 ) vanish at line ω 2 = v 1 /v 2 ω 1 for all n = 0,..., L then f have L-order directional vanishing moments along a direction v = (v 1, v 2 ) T
10 Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform Building Function with Directional Vanishing Moments At spatial domain the design is challenging if vanishing moment in many directions are needed In frequency domain the design is relatively easy If ˆf (n) (ω 1, ω 2 ) vanish at line ω 2 = v 1 /v 2 ω 1 for all n = 0,..., L then f have L-order directional vanishing moments along a direction v = (v 1, v 2 ) T
11 Kernel of Hart Smith Transform Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform For a given ϕ L 2 (R 2 ), we define ) ϕ abθ (x) = a 3 4 ϕ (D 1 R θ (x b), a for θ [0, 2π), b R 2 R θ is the matrix affecting planar rotation of θ radians in clockwise direction. 0 < a < a 0, where a 0 is a fixed coarsest scale ( ) = diag 1 a, a 1 D 1 a
12 Kernel of Hart Smith Transform Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform Width and length of essential support of kernel function ϕ abθ (x) are about a and a 1/2.
13 Kernel of Hart Smith Transform Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform Essential support of kernel function ϕ abθ (x) become like a needle when scale a become smaller.
14 Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform Reconstruction Formula for Hart Smith Transform Theorem There exists a Fourier multiplier M of order 0 so that whenever f L 2 (R 2 ) is a high-frequency function supported in frequency space ξ > 2 a 0, then f = a0 2π 0 0 R 2 ϕ abθ, Mf ϕ abθ db dθ da a 3 in L 2 (R 2 ). (2) The function Mf is defined in the frequency domain by a multiplier formula Mf (ξ) = m( ξ )ˆf (ξ), where m is a standard Fourier multiplier of order 0 (that is, for each k 0, there is a constant C k such that for all t R, m (k) (t) C k ( 1 + t 2 ) k/2 ).
15 Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform Reconstruction Formula for Hart Smith Transform Because of this and the fact that ϕ abθ and Mϕ abθ are duals, we can write reconstruction formula also as a0 2π f = Mϕ abθ, f ϕ abθ db dθ da 0 0 R 2 a 3 a0 2π = ϕ abθ, f Mϕ abθ db dθ da 0 0 R 2 a 3. Unlike ϕ abθ, the dual Mϕ abθ do not satisfy true parabolic dilation
16 Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform Curvelets are defined in Fourier Domain ( Let W be a positive real-valued function supported inside 1 2, 2), called a radial window, and let V be a real-valued function supported on [ 1, 1], called an angular window, for which the following admissibility conditions hold: 0 W (r) 2 dr r = 1 and 1 At each scale a, 0 < a < a 0, γ a00 is defined by γ a00 (r cos(ω), r sin(ω)) = a 3 4 W (ar) V ( ω/ a ) 1 V (ω) 2 dω = 1. (3) for r 0 and ω [0, 2 For each 0 < a < a 0, b R 2, and θ [0, 2π), a curvelet γ abθ is defined by γ abθ (x) = γ a00 (R θ (x b)), for x R 2. (4)
17 Reconstruction with Curvelets Hölder regularities Vanishing moments Hart Smith Transform Continuous Curvelet Transform Theorem There exists a bandlimited purely radial function Φ such that for all f L 2 (R 2 ), f = Φ b, f Φ b db+ R 2 where Φ b (x) = Φ(x b). a0 2π 0 0 R 2 γ abθ, f γ abθ db dθ da a 3 in L 2, (5)
18 Conditions for kernel functions Uniform regularity Pointwise Regularity Directional Regularity properties Extra conditions for kernel functions For regularity analysis we will need that Kernel functions have enough directional vanishing moments Kernel functions and their derivatives up to desired order (largest α of interest) decay fast enough.
19 Conditions for kernel functions Uniform regularity Pointwise Regularity Directional Regularity properties Vanishing moments of kernel function Lemma There exists C < (independent of a, b and θ) such that curvelet functions γ abθ have directional vanishing moments of any order L < along all directions v that satisfy (v θ, v) Ca 1/2. Moreover if there exists finite and strictly positive constants C 1, C 1 and C 2 such that supp( ˆϕ) [C 1, C 1 ] [ C 2, C 2 ], then above is true also for functions ϕ abθ and Mϕ abθ.
20 Conditions for kernel functions Uniform regularity Pointwise Regularity Directional Regularity properties Vanishing moments of kernel function Frequency support of ϕ abθ (x).
21 Decay of kernel function Conditions for kernel functions Uniform regularity Pointwise Regularity Directional Regularity properties Lemma Suppose that the windows V and W in the definition of CCT are C and have compact supports. Then for each N = 1, 2,... there is a constant C N such that x R 2 ν γ abθ (x) C Na 3/4 ν 1 + x b 2N. (6) a,θ Moreover, if ˆϕ C and if there exist finite and strictly positive constants C 1, C 1, and C 2 such that supp( ˆϕ) [C 1, C 1 ] [ C 2, C 2 ], then (6) also holds for functions ϕ abθ and Mϕ abθ.
22 Conditions for kernel functions Uniform regularity Pointwise Regularity Directional Regularity properties Necessary Condition for Uniform Regularity Theorem If a bounded function f C α (R 2 ), then there exist a constant C and a fixed coarsest scale a 0 for which φ abθ, f Ca α+ 3 4 for all 0 < a < a 0, b R 2, and θ [0, 2π).
23 Conditions for kernel functions Uniform regularity Pointwise Regularity Directional Regularity properties Sufficient Condition for Uniform Regularity Theorem Let f L 2 (R 2 ) and α > 0 a non-integer. If there is a constant C < such that φ abθ, f Ca α+ 5 4, for all 0 < a < a 0, b R 2, and θ [0, 2π), then f C α (R 2 ).
24 Conditions for kernel functions Uniform regularity Pointwise Regularity Directional Regularity properties Necessary Condition for Pointwise Regularity Theorem If a bounded function f C α (u) then there exists C < such that ( φ abθ, f Ca α b u α) a 1/2 (7) for all 0 < a < a 0, b R 2, and θ [0, 2π).
25 Conditions for kernel functions Uniform regularity Pointwise Regularity Directional Regularity properties Sufficient Condition for Pointwise Regularity Theorem Let f L 2 (R 2 ) and α be a non-integer positive number. If there exist C < and α < 2α such that ( φ abθ, f Ca α b u α ) a 1/2, (8) for all 0 < a < a 0, b R 2, and θ [0, 2π), then f C α (u).
26 Conditions for kernel functions Uniform regularity Pointwise Regularity Directional Regularity properties Necessary Conditions for direction of Singularity Line Now we consider situation that background is sufficiently smooth, i.e. regularity to one direction is higher. Theorem Let f be bounded with local Hölder exponent α (0, 1] at point u and f C 2α+1+ε (R 2, v θ0 ) for some θ 0 [0, 2π) with any fixed ε > 0. Then there exist α [α ε, α] and C < such that for a > 0 and b R 2, Ca α+ 5 4, ( if θ / θ 0 + Ca 1/2 [ 1, 1], φ abθ, f Ca α b u α ), if θ θ 0 + Ca 1/2 [ 1, 1]. a
27 Conditions for kernel functions Uniform regularity Pointwise Regularity Directional Regularity properties Sufficient Conditions for direction of Singularity Line Theorem Let f L 2 (R 2 ), u R 2, and assume that α > 0 is not an integer. If there exist α < 2α, θ 0 [0, 2π], and C < such that ( Ca α b u α ) a 1/2, if θ / θ 0 + Ca 1/2 [ 1, 1] φ abθ, f ( Ca α b u α ) a 1/2, if θ θ 0 + Ca 1/2 [ 1, 1] for all 0 < a < a 0, b R 2, and θ [0, 2π), then f C α (u).
28 Figure: Decay behavior of φ a0θ, f across scales a at various angles θ for the function f (x) = e x x
29 Figure: Estimation errors of the Hölder exponents by α e (s, θ) at scales 2 s and angles θ for the function f (x) = e x x
30 Generalizations Basic definitions Assumption α < 1 can be removed from all theorems Everything holds also for discrete curvelet transform Assumptions can be relaxed to hold only at ball of radius ε. Assumptions about Fourier properties of kernel functions can be relaxed Real valued kernel functions if support include reflection respect origin Compact support on Fourier domain may not be necessary Theorems could work for contourlets also With some extra assumptions of background regularity Necessary and sufficient conditions would be the same up to ε. Similar estimates for C 2 curve (now only for line singularity) Generalization from R 2 to R d
31 Generalizations Basic definitions Assumption α < 1 can be removed from all theorems Everything holds also for discrete curvelet transform Assumptions can be relaxed to hold only at ball of radius ε. Assumptions about Fourier properties of kernel functions can be relaxed Real valued kernel functions if support include reflection respect origin Compact support on Fourier domain may not be necessary Theorems could work for contourlets also With some extra assumptions of background regularity Necessary and sufficient conditions would be the same up to ε. Similar estimates for C 2 curve (now only for line singularity) Generalization from R 2 to R d
32 Generalizations Basic definitions Assumption α < 1 can be removed from all theorems Everything holds also for discrete curvelet transform Assumptions can be relaxed to hold only at ball of radius ε. Assumptions about Fourier properties of kernel functions can be relaxed Real valued kernel functions if support include reflection respect origin Compact support on Fourier domain may not be necessary Theorems could work for contourlets also With some extra assumptions of background regularity Necessary and sufficient conditions would be the same up to ε. Similar estimates for C 2 curve (now only for line singularity) Generalization from R 2 to R d
33 Generalizations Basic definitions Assumption α < 1 can be removed from all theorems Everything holds also for discrete curvelet transform Assumptions can be relaxed to hold only at ball of radius ε. Assumptions about Fourier properties of kernel functions can be relaxed Real valued kernel functions if support include reflection respect origin Compact support on Fourier domain may not be necessary Theorems could work for contourlets also With some extra assumptions of background regularity Necessary and sufficient conditions would be the same up to ε. Similar estimates for C 2 curve (now only for line singularity) Generalization from R 2 to R d
34 Generalizations Basic definitions Assumption α < 1 can be removed from all theorems Everything holds also for discrete curvelet transform Assumptions can be relaxed to hold only at ball of radius ε. Assumptions about Fourier properties of kernel functions can be relaxed Real valued kernel functions if support include reflection respect origin Compact support on Fourier domain may not be necessary Theorems could work for contourlets also With some extra assumptions of background regularity Necessary and sufficient conditions would be the same up to ε. Similar estimates for C 2 curve (now only for line singularity) Generalization from R 2 to R d
35 Generalizations Basic definitions Assumption α < 1 can be removed from all theorems Everything holds also for discrete curvelet transform Assumptions can be relaxed to hold only at ball of radius ε. Assumptions about Fourier properties of kernel functions can be relaxed Real valued kernel functions if support include reflection respect origin Compact support on Fourier domain may not be necessary Theorems could work for contourlets also With some extra assumptions of background regularity Necessary and sufficient conditions would be the same up to ε. Similar estimates for C 2 curve (now only for line singularity) Generalization from R 2 to R d
36 Generalizations Basic definitions Assumption α < 1 can be removed from all theorems Everything holds also for discrete curvelet transform Assumptions can be relaxed to hold only at ball of radius ε. Assumptions about Fourier properties of kernel functions can be relaxed Real valued kernel functions if support include reflection respect origin Compact support on Fourier domain may not be necessary Theorems could work for contourlets also With some extra assumptions of background regularity Necessary and sufficient conditions would be the same up to ε. Similar estimates for C 2 curve (now only for line singularity) Generalization from R 2 to R d
37 Generalizations Basic definitions Assumption α < 1 can be removed from all theorems Everything holds also for discrete curvelet transform Assumptions can be relaxed to hold only at ball of radius ε. Assumptions about Fourier properties of kernel functions can be relaxed Real valued kernel functions if support include reflection respect origin Compact support on Fourier domain may not be necessary Theorems could work for contourlets also With some extra assumptions of background regularity Necessary and sufficient conditions would be the same up to ε. Similar estimates for C 2 curve (now only for line singularity) Generalization from R 2 to R d
38 Generalizations Basic definitions Assumption α < 1 can be removed from all theorems Everything holds also for discrete curvelet transform Assumptions can be relaxed to hold only at ball of radius ε. Assumptions about Fourier properties of kernel functions can be relaxed Real valued kernel functions if support include reflection respect origin Compact support on Fourier domain may not be necessary Theorems could work for contourlets also With some extra assumptions of background regularity Necessary and sufficient conditions would be the same up to ε. Similar estimates for C 2 curve (now only for line singularity) Generalization from R 2 to R d
39 Generalizations Basic definitions Assumption α < 1 can be removed from all theorems Everything holds also for discrete curvelet transform Assumptions can be relaxed to hold only at ball of radius ε. Assumptions about Fourier properties of kernel functions can be relaxed Real valued kernel functions if support include reflection respect origin Compact support on Fourier domain may not be necessary Theorems could work for contourlets also With some extra assumptions of background regularity Necessary and sufficient conditions would be the same up to ε. Similar estimates for C 2 curve (now only for line singularity) Generalization from R 2 to R d
40 Generalizations Basic definitions Assumption α < 1 can be removed from all theorems Everything holds also for discrete curvelet transform Assumptions can be relaxed to hold only at ball of radius ε. Assumptions about Fourier properties of kernel functions can be relaxed Real valued kernel functions if support include reflection respect origin Compact support on Fourier domain may not be necessary Theorems could work for contourlets also With some extra assumptions of background regularity Necessary and sufficient conditions would be the same up to ε. Similar estimates for C 2 curve (now only for line singularity) Generalization from R 2 to R d
41 Generalizations Basic definitions Assumption α < 1 can be removed from all theorems Everything holds also for discrete curvelet transform Assumptions can be relaxed to hold only at ball of radius ε. Assumptions about Fourier properties of kernel functions can be relaxed Real valued kernel functions if support include reflection respect origin Compact support on Fourier domain may not be necessary Theorems could work for contourlets also With some extra assumptions of background regularity Necessary and sufficient conditions would be the same up to ε. Similar estimates for C 2 curve (now only for line singularity) Generalization from R 2 to R d
ON CONVERGENCE OF TRANSFORMS BASED ON PARABOLIC SCALING
Jouni Sampo ON CONVERGENCE OF TRANSFORMS BASED ON PARABOLIC SCALING Thesis for the degree of Doctor of Technology to be presented with due permission for public examination and criticism in the Auditorium
More informationHarmonic Analysis Homework 5
Harmonic Analysis Homework 5 Bruno Poggi Department of Mathematics, University of Minnesota November 4, 6 Notation Throughout, B, r is the ball of radius r with center in the understood metric space usually
More informationOn the Structure of Anisotropic Frames
On the Structure of Anisotropic Frames P. Grohs ETH Zurich, Seminar for Applied Mathematics ESI Modern Methods of Time-Frequency Analysis Motivation P. Grohs ESI Modern Methods of Time-Frequency Analysis
More informationSINGULARITY DETECTION AND PROCESSING WITH WAVELETS
SINGULARITY DETECTION AND PROCESSING WITH WAVELETS Stephane Mallat and Wen Liang Hwang Courant Institute of Mathematical Sciences New York University, New York, NY 10012 Technical Report March 1991 Abstract
More informationMicrolocal Methods in X-ray Tomography
Microlocal Methods in X-ray Tomography Plamen Stefanov Purdue University Lecture I: Euclidean X-ray tomography Mini Course, Fields Institute, 2012 Plamen Stefanov (Purdue University ) Microlocal Methods
More informationPart 2 Introduction to Microlocal Analysis
Part 2 Introduction to Microlocal Analysis Birsen Yazıcı & Venky Krishnan Rensselaer Polytechnic Institute Electrical, Computer and Systems Engineering August 2 nd, 2010 Outline PART II Pseudodifferential
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationAn introduction to Mathematical Theory of Control
An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018
More informationReproducing formulas associated with symbols
Reproducing formulas associated with symbols Filippo De Mari Ernesto De Vito Università di Genova, Italy Modern Methods of Time-Frequency Analysis II Workshop on Applied Coorbit space theory September
More informationMath The Laplacian. 1 Green s Identities, Fundamental Solution
Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external
More informationDECOUPLING LECTURE 6
18.118 DECOUPLING LECTURE 6 INSTRUCTOR: LARRY GUTH TRANSCRIBED BY DONGHAO WANG We begin by recalling basic settings of multi-linear restriction problem. Suppose Σ i,, Σ n are some C 2 hyper-surfaces in
More informationThe wave front set of a distribution
The wave front set of a distribution The Fourier transform of a smooth compactly supported function u(x) decays faster than any negative power of the dual variable ξ; that is for every number N there exists
More informationPart 2 Introduction to Microlocal Analysis
Part 2 Introduction to Microlocal Analysis Birsen Yazıcı& Venky Krishnan Rensselaer Polytechnic Institute Electrical, Computer and Systems Engineering March 15 th, 2010 Outline PART II Pseudodifferential(ψDOs)
More informationObstacle Problems Involving The Fractional Laplacian
Obstacle Problems Involving The Fractional Laplacian Donatella Danielli and Sandro Salsa January 27, 2017 1 Introduction Obstacle problems involving a fractional power of the Laplace operator appear in
More informationNotes on Distributions
Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the
More informationORTHONORMAL SAMPLING FUNCTIONS
ORTHONORMAL SAMPLING FUNCTIONS N. KAIBLINGER AND W. R. MADYCH Abstract. We investigate functions φ(x) whose translates {φ(x k)}, where k runs through the integer lattice Z, provide a system of orthonormal
More informationFourier transform of tempered distributions
Fourier transform of tempered distributions 1 Test functions and distributions As we have seen before, many functions are not classical in the sense that they cannot be evaluated at any point. For eample,
More informationPreliminary Exam 2016 Solutions to Morning Exam
Preliminary Exam 16 Solutions to Morning Exam Part I. Solve four of the following five problems. Problem 1. Find the volume of the ice cream cone defined by the inequalities x + y + z 1 and x + y z /3
More informationTOOLS FROM HARMONIC ANALYSIS
TOOLS FROM HARMONIC ANALYSIS BRADLY STADIE Abstract. The Fourier transform can be thought of as a map that decomposes a function into oscillatory functions. In this paper, we will apply this decomposition
More informationNotes. 1 Fourier transform and L p spaces. March 9, For a function in f L 1 (R n ) define the Fourier transform. ˆf(ξ) = f(x)e 2πi x,ξ dx.
Notes March 9, 27 1 Fourier transform and L p spaces For a function in f L 1 (R n ) define the Fourier transform ˆf(ξ) = f(x)e 2πi x,ξ dx. Properties R n 1. f g = ˆfĝ 2. δλ (f)(ξ) = ˆf(λξ), where δ λ f(x)
More informationMATH 590: Meshfree Methods
MATH 590: Meshfree Methods Chapter 7: Conditionally Positive Definite Functions Greg Fasshauer Department of Applied Mathematics Illinois Institute of Technology Fall 2010 fasshauer@iit.edu MATH 590 Chapter
More informationApproximation by Conditionally Positive Definite Functions with Finitely Many Centers
Approximation by Conditionally Positive Definite Functions with Finitely Many Centers Jungho Yoon Abstract. The theory of interpolation by using conditionally positive definite function provides optimal
More informationWavelet Bi-frames with Uniform Symmetry for Curve Multiresolution Processing
Wavelet Bi-frames with Uniform Symmetry for Curve Multiresolution Processing Qingtang Jiang Abstract This paper is about the construction of univariate wavelet bi-frames with each framelet being symmetric.
More informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More information6.14 Review exercises for Chapter 6
6.4 Review exercises for Chapter 6 699 6.4 Review exercises for Chapter 6 In Exercise 6., B is an n n matrix and ϕ and ψ are both - forms on R 3 ; v and w are vectors 6. Which of the following are numbers?
More informationNECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES
NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)
More information1 Continuity Classes C m (Ω)
0.1 Norms 0.1 Norms A norm on a linear space X is a function : X R with the properties: Positive Definite: x 0 x X (nonnegative) x = 0 x = 0 (strictly positive) λx = λ x x X, λ C(homogeneous) x + y x +
More informationPreliminary Exam 2018 Solutions to Morning Exam
Preliminary Exam 28 Solutions to Morning Exam Part I. Solve four of the following five problems. Problem. Consider the series n 2 (n log n) and n 2 (n(log n)2 ). Show that one converges and one diverges
More informationConstruction of Orthonormal Quasi-Shearlets based on quincunx dilation subsampling
Construction of Orthonormal Quasi-Shearlets based on quincunx dilation subsampling Rujie Yin Department of Mathematics Duke University USA Email: rujie.yin@duke.edu arxiv:1602.04882v1 [math.fa] 16 Feb
More informationRESULTS ON FOURIER MULTIPLIERS
RESULTS ON FOURIER MULTIPLIERS ERIC THOMA Abstract. The problem of giving necessary and sufficient conditions for Fourier multipliers to be bounded on L p spaces does not have a satisfactory answer for
More informationA COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )
Electronic Journal of Differential Equations, Vol. 2006(2006), No. 5, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A COUNTEREXAMPLE
More informationTHE MATTILA INTEGRAL ASSOCIATED WITH SIGN INDEFINITE MEASURES. Alex Iosevich and Misha Rudnev. August 3, Introduction
THE MATTILA INTEGRAL ASSOCIATED WITH SIGN INDEFINITE MEASURES Alex Iosevich and Misha Rudnev August 3, 005 Abstract. In order to quantitatively illustrate the role of positivity in the Falconer distance
More informationA Walking Tour of Microlocal Analysis
A Walking Tour of Microlocal Analysis Jeff Schonert August 10, 2006 Abstract We summarize some of the basic principles of microlocal analysis and their applications. After reviewing distributions, we then
More informationHOMEOMORPHISMS OF BOUNDED VARIATION
HOMEOMORPHISMS OF BOUNDED VARIATION STANISLAV HENCL, PEKKA KOSKELA AND JANI ONNINEN Abstract. We show that the inverse of a planar homeomorphism of bounded variation is also of bounded variation. In higher
More informationSOLUTIONS TO SELECTED PROBLEMS FROM ASSIGNMENTS 3, 4
SOLUTIONS TO SELECTED POBLEMS FOM ASSIGNMENTS 3, 4 Problem 5 from Assignment 3 Statement. Let be an n-dimensional bounded domain with smooth boundary. Show that the eigenvalues of the Laplacian on with
More informationTaylor and Laurent Series
Chapter 4 Taylor and Laurent Series 4.. Taylor Series 4... Taylor Series for Holomorphic Functions. In Real Analysis, the Taylor series of a given function f : R R is given by: f (x + f (x (x x + f (x
More information(x k ) sequence in F, lim x k = x x F. If F : R n R is a function, level sets and sublevel sets of F are any sets of the form (respectively);
STABILITY OF EQUILIBRIA AND LIAPUNOV FUNCTIONS. By topological properties in general we mean qualitative geometric properties (of subsets of R n or of functions in R n ), that is, those that don t depend
More informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More informationS chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.
Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable
More informationOscillatory Motion. Simple pendulum: linear Hooke s Law restoring force for small angular deviations. Oscillatory solution
Oscillatory Motion Simple pendulum: linear Hooke s Law restoring force for small angular deviations d 2 θ dt 2 = g l θ θ l Oscillatory solution θ(t) =θ 0 sin(ωt + φ) F with characteristic angular frequency
More informationg(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)
Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to
More informationBAND-LIMITED REFINABLE FUNCTIONS FOR WAVELETS AND FRAMELETS
BAND-LIMITED REFINABLE FUNCTIONS FOR WAVELETS AND FRAMELETS WEIQIANG CHEN AND SAY SONG GOH DEPARTMENT OF MATHEMATICS NATIONAL UNIVERSITY OF SINGAPORE 10 KENT RIDGE CRESCENT, SINGAPORE 119260 REPUBLIC OF
More informationOscillatory Motion. Simple pendulum: linear Hooke s Law restoring force for small angular deviations. small angle approximation. Oscillatory solution
Oscillatory Motion Simple pendulum: linear Hooke s Law restoring force for small angular deviations d 2 θ dt 2 = g l θ small angle approximation θ l Oscillatory solution θ(t) =θ 0 sin(ωt + φ) F with characteristic
More informationComputational Harmonic Analysis (Wavelet Tutorial) Part II
Computational Harmonic Analysis (Wavelet Tutorial) Part II Understanding Many Particle Systems with Machine Learning Tutorials Matthew Hirn Michigan State University Department of Computational Mathematics,
More informationIn this chapter we study elliptical PDEs. That is, PDEs of the form. 2 u = lots,
Chapter 8 Elliptic PDEs In this chapter we study elliptical PDEs. That is, PDEs of the form 2 u = lots, where lots means lower-order terms (u x, u y,..., u, f). Here are some ways to think about the physical
More information1.5 Approximate Identities
38 1 The Fourier Transform on L 1 (R) which are dense subspaces of L p (R). On these domains, P : D P L p (R) and M : D M L p (R). Show, however, that P and M are unbounded even when restricted to these
More informationHamburger Beiträge zur Angewandten Mathematik
Hamburger Beiträge zur Angewandten Mathematik Error Estimates for Filtered Back Projection Matthias Beckmann and Armin Iske Nr. 2015-03 January 2015 Error Estimates for Filtered Back Projection Matthias
More informationExponential tail behavior for solutions to the homogeneous Boltzmann equation
Exponential tail behavior for solutions to the homogeneous Boltzmann equation Maja Tasković The University of Texas at Austin Young Researchers Workshop: Kinetic theory with applications in physical sciences
More informationRemarks on Bronštein s root theorem
Remarks on Bronštein s root theorem Guy Métivier January 23, 2017 1 Introduction In [Br1], M.D.Bronštein proved that the roots of hyperbolic polynomials (1.1) p(t, τ) = τ m + m p k (t)τ m k. which depend
More informationξ,i = x nx i x 3 + δ ni + x n x = 0. x Dξ = x i ξ,i = x nx i x i x 3 Du = λ x λ 2 xh + x λ h Dξ,
1 PDE, HW 3 solutions Problem 1. No. If a sequence of harmonic polynomials on [ 1,1] n converges uniformly to a limit f then f is harmonic. Problem 2. By definition U r U for every r >. Suppose w is a
More informationAppearance of Anomalous Singularities in. a Semilinear Parabolic Equation. (Tokyo Institute of Technology) with Shota Sato (Tohoku University)
Appearance of Anomalous Singularities in a Semilinear Parabolic Equation Eiji Yanagida (Tokyo Institute of Technology) with Shota Sato (Tohoku University) 4th Euro-Japanese Workshop on Blow-up, September
More informationWAVELETS WITH COMPOSITE DILATIONS
ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Pages 000 000 (Xxxx XX, XXXX S 1079-6762(XX0000-0 WAVELETS WITH COMPOSITE DILATIONS KANGHUI GUO, DEMETRIO LABATE, WANG-Q
More informationReal Analysis Math 125A, Fall 2012 Sample Final Questions. x 1+x y. x y x. 2 (1+x 2 )(1+y 2 ) x y
. Define f : R R by Real Analysis Math 25A, Fall 202 Sample Final Questions f() = 3 + 2. Show that f is continuous on R. Is f uniformly continuous on R? To simplify the inequalities a bit, we write 3 +
More informationBounded point derivations on R p (X) and approximate derivatives
Bounded point derivations on R p (X) and approximate derivatives arxiv:1709.02851v3 [math.cv] 21 Dec 2017 Stephen Deterding Department of Mathematics, University of Kentucky Abstract It is shown that if
More informationCalculus of Variations. Final Examination
Université Paris-Saclay M AMS and Optimization January 18th, 018 Calculus of Variations Final Examination Duration : 3h ; all kind of paper documents (notes, books...) are authorized. The total score of
More informationRKHS, Mercer s theorem, Unbounded domains, Frames and Wavelets Class 22, 2004 Tomaso Poggio and Sayan Mukherjee
RKHS, Mercer s theorem, Unbounded domains, Frames and Wavelets 9.520 Class 22, 2004 Tomaso Poggio and Sayan Mukherjee About this class Goal To introduce an alternate perspective of RKHS via integral operators
More informationUniversity of Pavia. M Estimators. Eduardo Rossi
University of Pavia M Estimators Eduardo Rossi Criterion Function A basic unifying notion is that most econometric estimators are defined as the minimizers of certain functions constructed from the sample
More informationImmerse Metric Space Homework
Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps
More informationIntroduction to Microlocal Analysis
Introduction to Microlocal Analysis First lecture: Basics Dorothea Bahns (Göttingen) Third Summer School on Dynamical Approaches in Spectral Geometry Microlocal Methods in Global Analysis University of
More informationRandom measures, intersections, and applications
Random measures, intersections, and applications Ville Suomala joint work with Pablo Shmerkin University of Oulu, Finland Workshop on fractals, The Hebrew University of Jerusalem June 12th 2014 Motivation
More informationGaussian Measure of Sections of convex bodies
Gaussian Measure of Sections of convex bodies A. Zvavitch Department of Mathematics, University of Missouri, Columbia, MO 652, USA Abstract In this paper we study properties of sections of convex bodies
More informationOn the Notion of an Automorphic Representation *
On the Notion of an Automorphic Representation * The irreducible representations of a reductive group over a local field can be obtained from the square-integrable representations of Levi factors of parabolic
More informationComplex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm
Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More informationAlgebras of singular integral operators with kernels controlled by multiple norms
Algebras of singular integral operators with kernels controlled by multiple norms Alexander Nagel Conference in Harmonic Analysis in Honor of Michael Christ This is a report on joint work with Fulvio Ricci,
More informationLecture 9 February 2, 2016
MATH 262/CME 372: Applied Fourier Analysis and Winter 26 Elements of Modern Signal Processing Lecture 9 February 2, 26 Prof. Emmanuel Candes Scribe: Carlos A. Sing-Long, Edited by E. Bates Outline Agenda:
More informationContinuous Curvelet Transform: I. Resolution of the Wavefront Set
Continuous Curvelet Transform: I. Resolution of the Wavefront Set Emmanuel J. Candès and David L. Donoho Abstract We discuss a Continuous Curvelet Transform (CCT), a transform f Γ f (a, b, θ) of functions
More informationGeneralized Shearlets and Representation Theory
Generalized Shearlets and Representation Theory Emily J. King Laboratory of Integrative and Medical Biophysics National Institute of Child Health and Human Development National Institutes of Health Norbert
More informationDecouplings and applications
April 27, 2018 Let Ξ be a collection of frequency points ξ on some curved, compact manifold S of diameter 1 in R n (e.g. the unit sphere S n 1 ) Let B R = B(c, R) be a ball with radius R 1. Let also a
More informationWEAK VORTICITY FORMULATION FOR THE INCOMPRESSIBLE 2D EULER EQUATIONS IN DOMAINS WITH BOUNDARY
WEAK VORTICITY FORMULATION FOR THE INCOMPRESSIBLE 2D EULER EQUATIONS IN DOMAINS WITH BOUNDARY D. IFTIMIE, M. C. LOPES FILHO, H. J. NUSSENZVEIG LOPES AND F. SUEUR Abstract. In this article we examine the
More informationPOINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO
POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO HART F. SMITH AND MACIEJ ZWORSKI Abstract. We prove optimal pointwise bounds on quasimodes of semiclassical Schrödinger
More informationBanach Spaces V: A Closer Look at the w- and the w -Topologies
BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,
More informationTakens embedding theorem for infinite-dimensional dynamical systems
Takens embedding theorem for infinite-dimensional dynamical systems James C. Robinson Mathematics Institute, University of Warwick, Coventry, CV4 7AL, U.K. E-mail: jcr@maths.warwick.ac.uk Abstract. Takens
More informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
More informationNotation. General. Notation Description See. Sets, Functions, and Spaces. a b & a b The minimum and the maximum of a and b
Notation General Notation Description See a b & a b The minimum and the maximum of a and b a + & a f S u The non-negative part, a 0, and non-positive part, (a 0) of a R The restriction of the function
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationReminder Notes for the Course on Distribution Theory
Reminder Notes for the Course on Distribution Theory T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie March
More informationExercises from other sources REAL NUMBERS 2,...,
Exercises from other sources REAL NUMBERS 1. Find the supremum and infimum of the following sets: a) {1, b) c) 12, 13, 14, }, { 1 3, 4 9, 13 27, 40 } 81,, { 2, 2 + 2, 2 + 2 + } 2,..., d) {n N : n 2 < 10},
More informationAPPLICATIONS OF DIFFERENTIABILITY IN R n.
APPLICATIONS OF DIFFERENTIABILITY IN R n. MATANIA BEN-ARTZI April 2015 Functions here are defined on a subset T R n and take values in R m, where m can be smaller, equal or greater than n. The (open) ball
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationIn: Proceedings of the Edinburgh Mathematical Society (Series 2), 53 (1), , 2010
biblio.ugent.be The UGent Institutional Repository is the electronic archiving and dissemination platform for all UGent research publications. Ghent University has implemented a mandate stipulating that
More informationNOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS
NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS CLARK BUTLER. Introduction The purpose of these notes is to give a self-contained proof of the following theorem, Theorem.. Let f : S n S n be a
More informationVANISHING BERGMAN KERNELS. University of Barcelona. October 14, / 14
VANISHING BERGMAN KERNELS Antti Perälä University of Barcelona October 14, 2018 1 / 14 Bergman kernel Let Ω be a domain in C n and ω a non-negative measurable function (a weight). Denote by A 2 (Ω, ω)
More informationBernstein s inequality and Nikolsky s inequality for R d
Bernstein s inequality and Nikolsky s inequality for d Jordan Bell jordan.bell@gmail.com Department of athematics University of Toronto February 6 25 Complex Borel measures and the Fourier transform Let
More informationHandout 6: Rotational motion and moment of inertia. Angular velocity and angular acceleration
1 Handout 6: Rotational motion and moment of inertia Angular velocity and angular acceleration In Figure 1, a particle b is rotating about an axis along a circular path with radius r. The radius sweeps
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationMath 61CM - Solutions to homework 6
Math 61CM - Solutions to homework 6 Cédric De Groote November 5 th, 2018 Problem 1: (i) Give an example of a metric space X such that not all Cauchy sequences in X are convergent. (ii) Let X be a metric
More informationClassical Fourier Analysis
Loukas Grafakos Classical Fourier Analysis Second Edition 4y Springer 1 IP Spaces and Interpolation 1 1.1 V and Weak IP 1 1.1.1 The Distribution Function 2 1.1.2 Convergence in Measure 5 1.1.3 A First
More informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a
More informationMultiscale Geometric Analysis: Thoughts and Applications (a summary)
Multiscale Geometric Analysis: Thoughts and Applications (a summary) Anestis Antoniadis, University Joseph Fourier Assimage 2005,Chamrousse, February 2005 Classical Multiscale Analysis Wavelets: Enormous
More informationSCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE
SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE BETSY STOVALL Abstract. This result sharpens the bilinear to linear deduction of Lee and Vargas for extension estimates on the hyperbolic paraboloid
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationOn the Hilbert Transform of Wavelets
On the Hilbert Transform of Wavelets Kunal Narayan Chaudhury and Michael Unser Abstract A wavelet is a localized function having a prescribed number of vanishing moments. In this correspondence, we provide
More information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More information