Origin of term Ahlfors-David regular












5












$begingroup$


Much of the literature on analysis in metric spaces makes use of an assumption called Ahlfors regularity or Ahlfors-David regularity. Let $q>0$. A metric space $(X,d)$ is Ahlfors(-David) $q$-regular if there exists $Cgeq 1$ such that $C^{-1}r^q leq mathcal{H}^q(B(x,r)) leq Cr^q$ for all $x in X$ and $r in (0, text{diam } X)$. Here, $mathcal{H}^q$ denotes the $q$-dimensional Hausdorff measure. The term is so ubiquitous in the literature in this area that the origin seems impossible to trace down. I believe David refers to Guy David.



Can anyone fill me in on the origin of the terms and what exactly Ahlfors and David did using this type of condition?










share|cite|improve this question









$endgroup$

















    5












    $begingroup$


    Much of the literature on analysis in metric spaces makes use of an assumption called Ahlfors regularity or Ahlfors-David regularity. Let $q>0$. A metric space $(X,d)$ is Ahlfors(-David) $q$-regular if there exists $Cgeq 1$ such that $C^{-1}r^q leq mathcal{H}^q(B(x,r)) leq Cr^q$ for all $x in X$ and $r in (0, text{diam } X)$. Here, $mathcal{H}^q$ denotes the $q$-dimensional Hausdorff measure. The term is so ubiquitous in the literature in this area that the origin seems impossible to trace down. I believe David refers to Guy David.



    Can anyone fill me in on the origin of the terms and what exactly Ahlfors and David did using this type of condition?










    share|cite|improve this question









    $endgroup$















      5












      5








      5





      $begingroup$


      Much of the literature on analysis in metric spaces makes use of an assumption called Ahlfors regularity or Ahlfors-David regularity. Let $q>0$. A metric space $(X,d)$ is Ahlfors(-David) $q$-regular if there exists $Cgeq 1$ such that $C^{-1}r^q leq mathcal{H}^q(B(x,r)) leq Cr^q$ for all $x in X$ and $r in (0, text{diam } X)$. Here, $mathcal{H}^q$ denotes the $q$-dimensional Hausdorff measure. The term is so ubiquitous in the literature in this area that the origin seems impossible to trace down. I believe David refers to Guy David.



      Can anyone fill me in on the origin of the terms and what exactly Ahlfors and David did using this type of condition?










      share|cite|improve this question









      $endgroup$




      Much of the literature on analysis in metric spaces makes use of an assumption called Ahlfors regularity or Ahlfors-David regularity. Let $q>0$. A metric space $(X,d)$ is Ahlfors(-David) $q$-regular if there exists $Cgeq 1$ such that $C^{-1}r^q leq mathcal{H}^q(B(x,r)) leq Cr^q$ for all $x in X$ and $r in (0, text{diam } X)$. Here, $mathcal{H}^q$ denotes the $q$-dimensional Hausdorff measure. The term is so ubiquitous in the literature in this area that the origin seems impossible to trace down. I believe David refers to Guy David.



      Can anyone fill me in on the origin of the terms and what exactly Ahlfors and David did using this type of condition?







      reference-request mg.metric-geometry cv.complex-variables geometric-measure-theory






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Jan 2 at 21:29









      mdrmdr

      1484




      1484






















          3 Answers
          3






          active

          oldest

          votes


















          6












          $begingroup$

          To answer the last question, Calderón's problem was a question regarding mapping properties of the Cauchy integral



          $$ C_{Gamma}f(z)=frac{1}{2pi i} intlimits_{Gamma} frac{f(xi)}{xi-z} dxi$$



          namely, to determine the rectifiable Jordan curves $Gamma$ for which $C_{Gamma}$ gives rise to a bounded operator on $L^2(Gamma)$. This was solved by Guy David in 1984 who showed that $C_{Gamma}$ is bounded on $L^2(Gamma)$ precisely when $Gamma$ satisfies $ mathcal{H}(Gamma cap B(z_{0},r)) leq Cr$ for every $z_{0}inmathbb{C}$, $r>0$ and some constant $C$. This opened up a large study of (what was called then) Ahlfors regularity by David and Semmes. Some of the results of that study are collected in their monograph from the 90's, Analysis of and on Uniformly Rectifiable Sets.






          share|cite|improve this answer









          $endgroup$





















            4












            $begingroup$

            When $q=1$ this condition appears in Ahlfors' famous paper
            Zur Theorie der Uberlagerungsflache, Acta Math., 65 (1935) for which he was awarded one of the two very first Fields medals. For long time it was known
            to complex analysts just as the "Ahlfors condition".






            share|cite|improve this answer









            $endgroup$





















              0












              $begingroup$

              As I know the second inequality in the definition is due to Ahlfors, and the first one is due to Guy David. Let $E$ be a subset of $mathbb {R} ^ n $. One says that $E$ is Ahlfors-David regular of order d if $C^{-1}r^d leq mathcal{H}^d(E cap B(x,r)) leq Cr^d$ for every $x in mathbb {R} ^ n$ and $r>0$ (In other word, if $mu = mathcal{H}^d |_{E}$ be an Ahlfors-David regular measure).



              An important theorem of Mattila-Melnikov-Verdera (DOI: 10.2307/2118585) says that if $E subset mathbb {C}$ be an Ahlfors-David regular set of order 1, then:



              1- The Cauchy integral $mathcal{C}_E$ is bounded in $L^2 (E) iff E subset Gamma$, which $Gamma$ is a Ahlfors-David regular curve.



              2- The analytic capacity $gamma (E)=0 iff E $ is totaly unrectifiable.



              This a partial answer to the Vitushkin conjecture, and Ahlfors-David regularity plays a crucial rule in the proof.



              Mattila, Pertti; Melnikov, Mark S.; Verdera, Joan, The Cauchy integral, analytic capacity, and uniform rectifiability, Ann. Math. (2) 144, No. 1, 127-136 (1996). ZBL0897.42007.



              Christ, Michael, Lectures on singular integral operators. Expository lectures from the CBMS regional conference held at the University of Montana, Missoula, MT (USA) from August 28-September 1, 1989, Regional Conference Series in Mathematics. 77. Providence, RI: American Mathematical Society (AMS). ix, 132 p. (1990). ZBL0745.42008.






              share|cite|improve this answer











              $endgroup$













                Your Answer





                StackExchange.ifUsing("editor", function () {
                return StackExchange.using("mathjaxEditing", function () {
                StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
                StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
                });
                });
                }, "mathjax-editing");

                StackExchange.ready(function() {
                var channelOptions = {
                tags: "".split(" "),
                id: "504"
                };
                initTagRenderer("".split(" "), "".split(" "), channelOptions);

                StackExchange.using("externalEditor", function() {
                // Have to fire editor after snippets, if snippets enabled
                if (StackExchange.settings.snippets.snippetsEnabled) {
                StackExchange.using("snippets", function() {
                createEditor();
                });
                }
                else {
                createEditor();
                }
                });

                function createEditor() {
                StackExchange.prepareEditor({
                heartbeatType: 'answer',
                autoActivateHeartbeat: false,
                convertImagesToLinks: true,
                noModals: true,
                showLowRepImageUploadWarning: true,
                reputationToPostImages: 10,
                bindNavPrevention: true,
                postfix: "",
                imageUploader: {
                brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
                contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
                allowUrls: true
                },
                noCode: true, onDemand: true,
                discardSelector: ".discard-answer"
                ,immediatelyShowMarkdownHelp:true
                });


                }
                });














                draft saved

                draft discarded


















                StackExchange.ready(
                function () {
                StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f319955%2forigin-of-term-ahlfors-david-regular%23new-answer', 'question_page');
                }
                );

                Post as a guest















                Required, but never shown

























                3 Answers
                3






                active

                oldest

                votes








                3 Answers
                3






                active

                oldest

                votes









                active

                oldest

                votes






                active

                oldest

                votes









                6












                $begingroup$

                To answer the last question, Calderón's problem was a question regarding mapping properties of the Cauchy integral



                $$ C_{Gamma}f(z)=frac{1}{2pi i} intlimits_{Gamma} frac{f(xi)}{xi-z} dxi$$



                namely, to determine the rectifiable Jordan curves $Gamma$ for which $C_{Gamma}$ gives rise to a bounded operator on $L^2(Gamma)$. This was solved by Guy David in 1984 who showed that $C_{Gamma}$ is bounded on $L^2(Gamma)$ precisely when $Gamma$ satisfies $ mathcal{H}(Gamma cap B(z_{0},r)) leq Cr$ for every $z_{0}inmathbb{C}$, $r>0$ and some constant $C$. This opened up a large study of (what was called then) Ahlfors regularity by David and Semmes. Some of the results of that study are collected in their monograph from the 90's, Analysis of and on Uniformly Rectifiable Sets.






                share|cite|improve this answer









                $endgroup$


















                  6












                  $begingroup$

                  To answer the last question, Calderón's problem was a question regarding mapping properties of the Cauchy integral



                  $$ C_{Gamma}f(z)=frac{1}{2pi i} intlimits_{Gamma} frac{f(xi)}{xi-z} dxi$$



                  namely, to determine the rectifiable Jordan curves $Gamma$ for which $C_{Gamma}$ gives rise to a bounded operator on $L^2(Gamma)$. This was solved by Guy David in 1984 who showed that $C_{Gamma}$ is bounded on $L^2(Gamma)$ precisely when $Gamma$ satisfies $ mathcal{H}(Gamma cap B(z_{0},r)) leq Cr$ for every $z_{0}inmathbb{C}$, $r>0$ and some constant $C$. This opened up a large study of (what was called then) Ahlfors regularity by David and Semmes. Some of the results of that study are collected in their monograph from the 90's, Analysis of and on Uniformly Rectifiable Sets.






                  share|cite|improve this answer









                  $endgroup$
















                    6












                    6








                    6





                    $begingroup$

                    To answer the last question, Calderón's problem was a question regarding mapping properties of the Cauchy integral



                    $$ C_{Gamma}f(z)=frac{1}{2pi i} intlimits_{Gamma} frac{f(xi)}{xi-z} dxi$$



                    namely, to determine the rectifiable Jordan curves $Gamma$ for which $C_{Gamma}$ gives rise to a bounded operator on $L^2(Gamma)$. This was solved by Guy David in 1984 who showed that $C_{Gamma}$ is bounded on $L^2(Gamma)$ precisely when $Gamma$ satisfies $ mathcal{H}(Gamma cap B(z_{0},r)) leq Cr$ for every $z_{0}inmathbb{C}$, $r>0$ and some constant $C$. This opened up a large study of (what was called then) Ahlfors regularity by David and Semmes. Some of the results of that study are collected in their monograph from the 90's, Analysis of and on Uniformly Rectifiable Sets.






                    share|cite|improve this answer









                    $endgroup$



                    To answer the last question, Calderón's problem was a question regarding mapping properties of the Cauchy integral



                    $$ C_{Gamma}f(z)=frac{1}{2pi i} intlimits_{Gamma} frac{f(xi)}{xi-z} dxi$$



                    namely, to determine the rectifiable Jordan curves $Gamma$ for which $C_{Gamma}$ gives rise to a bounded operator on $L^2(Gamma)$. This was solved by Guy David in 1984 who showed that $C_{Gamma}$ is bounded on $L^2(Gamma)$ precisely when $Gamma$ satisfies $ mathcal{H}(Gamma cap B(z_{0},r)) leq Cr$ for every $z_{0}inmathbb{C}$, $r>0$ and some constant $C$. This opened up a large study of (what was called then) Ahlfors regularity by David and Semmes. Some of the results of that study are collected in their monograph from the 90's, Analysis of and on Uniformly Rectifiable Sets.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Jan 2 at 23:07









                    Josiah ParkJosiah Park

                    1,408522




                    1,408522























                        4












                        $begingroup$

                        When $q=1$ this condition appears in Ahlfors' famous paper
                        Zur Theorie der Uberlagerungsflache, Acta Math., 65 (1935) for which he was awarded one of the two very first Fields medals. For long time it was known
                        to complex analysts just as the "Ahlfors condition".






                        share|cite|improve this answer









                        $endgroup$


















                          4












                          $begingroup$

                          When $q=1$ this condition appears in Ahlfors' famous paper
                          Zur Theorie der Uberlagerungsflache, Acta Math., 65 (1935) for which he was awarded one of the two very first Fields medals. For long time it was known
                          to complex analysts just as the "Ahlfors condition".






                          share|cite|improve this answer









                          $endgroup$
















                            4












                            4








                            4





                            $begingroup$

                            When $q=1$ this condition appears in Ahlfors' famous paper
                            Zur Theorie der Uberlagerungsflache, Acta Math., 65 (1935) for which he was awarded one of the two very first Fields medals. For long time it was known
                            to complex analysts just as the "Ahlfors condition".






                            share|cite|improve this answer









                            $endgroup$



                            When $q=1$ this condition appears in Ahlfors' famous paper
                            Zur Theorie der Uberlagerungsflache, Acta Math., 65 (1935) for which he was awarded one of the two very first Fields medals. For long time it was known
                            to complex analysts just as the "Ahlfors condition".







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Jan 3 at 5:27









                            Alexandre EremenkoAlexandre Eremenko

                            50.7k6140258




                            50.7k6140258























                                0












                                $begingroup$

                                As I know the second inequality in the definition is due to Ahlfors, and the first one is due to Guy David. Let $E$ be a subset of $mathbb {R} ^ n $. One says that $E$ is Ahlfors-David regular of order d if $C^{-1}r^d leq mathcal{H}^d(E cap B(x,r)) leq Cr^d$ for every $x in mathbb {R} ^ n$ and $r>0$ (In other word, if $mu = mathcal{H}^d |_{E}$ be an Ahlfors-David regular measure).



                                An important theorem of Mattila-Melnikov-Verdera (DOI: 10.2307/2118585) says that if $E subset mathbb {C}$ be an Ahlfors-David regular set of order 1, then:



                                1- The Cauchy integral $mathcal{C}_E$ is bounded in $L^2 (E) iff E subset Gamma$, which $Gamma$ is a Ahlfors-David regular curve.



                                2- The analytic capacity $gamma (E)=0 iff E $ is totaly unrectifiable.



                                This a partial answer to the Vitushkin conjecture, and Ahlfors-David regularity plays a crucial rule in the proof.



                                Mattila, Pertti; Melnikov, Mark S.; Verdera, Joan, The Cauchy integral, analytic capacity, and uniform rectifiability, Ann. Math. (2) 144, No. 1, 127-136 (1996). ZBL0897.42007.



                                Christ, Michael, Lectures on singular integral operators. Expository lectures from the CBMS regional conference held at the University of Montana, Missoula, MT (USA) from August 28-September 1, 1989, Regional Conference Series in Mathematics. 77. Providence, RI: American Mathematical Society (AMS). ix, 132 p. (1990). ZBL0745.42008.






                                share|cite|improve this answer











                                $endgroup$


















                                  0












                                  $begingroup$

                                  As I know the second inequality in the definition is due to Ahlfors, and the first one is due to Guy David. Let $E$ be a subset of $mathbb {R} ^ n $. One says that $E$ is Ahlfors-David regular of order d if $C^{-1}r^d leq mathcal{H}^d(E cap B(x,r)) leq Cr^d$ for every $x in mathbb {R} ^ n$ and $r>0$ (In other word, if $mu = mathcal{H}^d |_{E}$ be an Ahlfors-David regular measure).



                                  An important theorem of Mattila-Melnikov-Verdera (DOI: 10.2307/2118585) says that if $E subset mathbb {C}$ be an Ahlfors-David regular set of order 1, then:



                                  1- The Cauchy integral $mathcal{C}_E$ is bounded in $L^2 (E) iff E subset Gamma$, which $Gamma$ is a Ahlfors-David regular curve.



                                  2- The analytic capacity $gamma (E)=0 iff E $ is totaly unrectifiable.



                                  This a partial answer to the Vitushkin conjecture, and Ahlfors-David regularity plays a crucial rule in the proof.



                                  Mattila, Pertti; Melnikov, Mark S.; Verdera, Joan, The Cauchy integral, analytic capacity, and uniform rectifiability, Ann. Math. (2) 144, No. 1, 127-136 (1996). ZBL0897.42007.



                                  Christ, Michael, Lectures on singular integral operators. Expository lectures from the CBMS regional conference held at the University of Montana, Missoula, MT (USA) from August 28-September 1, 1989, Regional Conference Series in Mathematics. 77. Providence, RI: American Mathematical Society (AMS). ix, 132 p. (1990). ZBL0745.42008.






                                  share|cite|improve this answer











                                  $endgroup$
















                                    0












                                    0








                                    0





                                    $begingroup$

                                    As I know the second inequality in the definition is due to Ahlfors, and the first one is due to Guy David. Let $E$ be a subset of $mathbb {R} ^ n $. One says that $E$ is Ahlfors-David regular of order d if $C^{-1}r^d leq mathcal{H}^d(E cap B(x,r)) leq Cr^d$ for every $x in mathbb {R} ^ n$ and $r>0$ (In other word, if $mu = mathcal{H}^d |_{E}$ be an Ahlfors-David regular measure).



                                    An important theorem of Mattila-Melnikov-Verdera (DOI: 10.2307/2118585) says that if $E subset mathbb {C}$ be an Ahlfors-David regular set of order 1, then:



                                    1- The Cauchy integral $mathcal{C}_E$ is bounded in $L^2 (E) iff E subset Gamma$, which $Gamma$ is a Ahlfors-David regular curve.



                                    2- The analytic capacity $gamma (E)=0 iff E $ is totaly unrectifiable.



                                    This a partial answer to the Vitushkin conjecture, and Ahlfors-David regularity plays a crucial rule in the proof.



                                    Mattila, Pertti; Melnikov, Mark S.; Verdera, Joan, The Cauchy integral, analytic capacity, and uniform rectifiability, Ann. Math. (2) 144, No. 1, 127-136 (1996). ZBL0897.42007.



                                    Christ, Michael, Lectures on singular integral operators. Expository lectures from the CBMS regional conference held at the University of Montana, Missoula, MT (USA) from August 28-September 1, 1989, Regional Conference Series in Mathematics. 77. Providence, RI: American Mathematical Society (AMS). ix, 132 p. (1990). ZBL0745.42008.






                                    share|cite|improve this answer











                                    $endgroup$



                                    As I know the second inequality in the definition is due to Ahlfors, and the first one is due to Guy David. Let $E$ be a subset of $mathbb {R} ^ n $. One says that $E$ is Ahlfors-David regular of order d if $C^{-1}r^d leq mathcal{H}^d(E cap B(x,r)) leq Cr^d$ for every $x in mathbb {R} ^ n$ and $r>0$ (In other word, if $mu = mathcal{H}^d |_{E}$ be an Ahlfors-David regular measure).



                                    An important theorem of Mattila-Melnikov-Verdera (DOI: 10.2307/2118585) says that if $E subset mathbb {C}$ be an Ahlfors-David regular set of order 1, then:



                                    1- The Cauchy integral $mathcal{C}_E$ is bounded in $L^2 (E) iff E subset Gamma$, which $Gamma$ is a Ahlfors-David regular curve.



                                    2- The analytic capacity $gamma (E)=0 iff E $ is totaly unrectifiable.



                                    This a partial answer to the Vitushkin conjecture, and Ahlfors-David regularity plays a crucial rule in the proof.



                                    Mattila, Pertti; Melnikov, Mark S.; Verdera, Joan, The Cauchy integral, analytic capacity, and uniform rectifiability, Ann. Math. (2) 144, No. 1, 127-136 (1996). ZBL0897.42007.



                                    Christ, Michael, Lectures on singular integral operators. Expository lectures from the CBMS regional conference held at the University of Montana, Missoula, MT (USA) from August 28-September 1, 1989, Regional Conference Series in Mathematics. 77. Providence, RI: American Mathematical Society (AMS). ix, 132 p. (1990). ZBL0745.42008.







                                    share|cite|improve this answer














                                    share|cite|improve this answer



                                    share|cite|improve this answer








                                    edited Jan 30 at 14:28

























                                    answered Jan 30 at 14:22









                                    HumedHumed

                                    705




                                    705






























                                        draft saved

                                        draft discarded




















































                                        Thanks for contributing an answer to MathOverflow!


                                        • Please be sure to answer the question. Provide details and share your research!

                                        But avoid



                                        • Asking for help, clarification, or responding to other answers.

                                        • Making statements based on opinion; back them up with references or personal experience.


                                        Use MathJax to format equations. MathJax reference.


                                        To learn more, see our tips on writing great answers.




                                        draft saved


                                        draft discarded














                                        StackExchange.ready(
                                        function () {
                                        StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f319955%2forigin-of-term-ahlfors-david-regular%23new-answer', 'question_page');
                                        }
                                        );

                                        Post as a guest















                                        Required, but never shown





















































                                        Required, but never shown














                                        Required, but never shown












                                        Required, but never shown







                                        Required, but never shown

































                                        Required, but never shown














                                        Required, but never shown












                                        Required, but never shown







                                        Required, but never shown







                                        Popular posts from this blog

                                        Monofisismo

                                        Angular Downloading a file using contenturl with Basic Authentication

                                        Olmecas