harmonic analysis of bv
DESCRIPTION
HARMONIC ANALYSIS OF BV. Ronald A. DeVore. Ronald A. DeVore. HARMONIC ANALYSIS OF BV. Industrial Mathematics Institute Department of Mathematics University of South Carolina. BV ( ) SPACE OF FUNCTIONS OF BOUNDED VARIATION. WHAT IS BV?. WHY BV?. • BV USED AS A MODEL FOR REAL IMAGES - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/1.jpg)
IMIIMI
HARMONIC ANALYSIS OF BVHARMONIC ANALYSIS OF BV
Ronald A. DeVoreRonald A. DeVoreRonald A. DeVoreRonald A. DeVore
Industrial Mathematics InstituteDepartment of Mathematics
University of South Carolina
HARMONIC ANALYSIS OF BVHARMONIC ANALYSIS OF BV
![Page 2: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/2.jpg)
IMIIMI
WHAT IS BV?
BV ( ) SPACE OF FUNCTIONS OF BOUNDED VARIATION
WHY BV?
• BV USED AS A MODEL FOR REAL IMAGES
• BV PLAYS AN IMPORTANT ROLE IN PDES
![Page 3: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/3.jpg)
IMIIMI
EXTREMAL PROBLEM FOR BV
• DENOISING
• STATISTICAL ESTIMATION
• EQUIVALENT TO MUMFORD-SHAH
• EXAMPLE OF K-FUNCTIONAL
• LIONS-OSHER-RUDIN PDE APPROACH
• REPLACE BV BY BESOV SPACE
![Page 4: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/4.jpg)
IMIIMI
WAVLET ANALYSIS
-DYADIC CUBES -DYADIC CUBES OF LENGTH
IS A COS
![Page 5: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/5.jpg)
IMIIMI
HAAR FUNCTION
0 1
0 1
+1
-1
=
Ψ = H
![Page 6: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/6.jpg)
IMIIMI
DAUBECHIES WAVELET
![Page 7: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/7.jpg)
IMIIMI
WAVELET COEFFICIENTS
DEFINE
![Page 8: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/8.jpg)
IMIIMI
THIS MAKES IT EASY TO SOLVE
This decouples and the solution is given by (soft) thresholding. Coefficients larger than in others into .
![Page 9: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/9.jpg)
IMIIMI
CAN WE REPLACE BY BV
• BV HAS NO UNCONDITIONAL BASIS
THEOREM (Cohen-DeV-Petrushev-Xu)SANDWICH THEOREM-AMER J. 1999
• IS WEAK
THE PROBLEM
ALSO SOLVED BY THRESHOLDING AT .
SIMPLE NON PDE SOLUTION TO OUR ORIGINAL PROBLEM
![Page 10: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/10.jpg)
IMIIMI
POINCARÉ INEQUALITIES
Simplest case nice domain;
• Does not scale correctly for modulation• Replace
THEOREM (Cohen-Meyer)
• Scales correctly for both modulation and dilation
SPECIAL CASE
MEYER’S CONJECTURE: ABOVE HOLDS FOR ALL
![Page 11: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/11.jpg)
IMIIMI
•
Lq 1/q1/q
•
SmoothnessSmoothness
Lq Space
(1/q, (1/q, ))
• L2
(1,1) (1,1) - - BVBV •
(1/2,0(1/2,0))•
• (0,-1)(0,-1) B-1
![Page 12: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/12.jpg)
IMIIMI
THEOREM (Cohen-Dahmen- Daubechies-DeVore)
• Gagliardo-Nirenberg
FOR ALL
![Page 13: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/13.jpg)
IMIIMI
THESE THEOREMS REQUIRE FINER STRUCTURE OF BV
LET
New space
THIS IS EQUIVALENT TO
![Page 14: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/14.jpg)
IMIIMI
THEOREM (Cohen-Dahmen- Daubechies-DeVore)
i. If , then implies
ii. Counterexamples for
• is original weak result.
• solves Meyer conjecture.
![Page 15: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/15.jpg)
IMIIMI
DYADIC CUBESBAD CUBESGOOD CUBES BAD CUBES
![Page 16: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/16.jpg)
IMIIMI
IDEA OF PROOF
GOOD CUBE:
COLLECTION OF GOOD CUBES
THE COLLECTION OF BAD CUBES
IF BV, THEN IS IN
![Page 17: HARMONIC ANALYSIS OF BV](https://reader033.vdocuments.net/reader033/viewer/2022061608/56815acf550346895dc8a37d/html5/thumbnails/17.jpg)
IMIIMI
CONCLUDING REMARKS
• FINE STRUCTURE OF BV
• NEW SPACES • NEW INTERPOLATION THEORY • CARLESON MEASURE
• RELATED PAPERS: DEVORE-PETROVA: AVERAGING LEMMAS-JAMS 2001
COHEN-DEVORE-HOCHMUTH-RESTRICTEDAPPROXIMATION -ACHA 2001
COHEN-DEVORE-KERKYACHARIAN-PICARD:MAXIMAL SPACES FOR THRESHOLDING ALGORITHMS -ACHA 2001
• Sandwich Theorem• spaces