Origin of term Ahlfors-David regular
$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?
reference-request mg.metric-geometry cv.complex-variables geometric-measure-theory
$endgroup$
add a comment |
$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?
reference-request mg.metric-geometry cv.complex-variables geometric-measure-theory
$endgroup$
add a comment |
$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?
reference-request mg.metric-geometry cv.complex-variables geometric-measure-theory
$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
reference-request mg.metric-geometry cv.complex-variables geometric-measure-theory
asked Jan 2 at 21:29
mdrmdr
1484
1484
add a comment |
add a comment |
3 Answers
3
active
oldest
votes
$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.
$endgroup$
add a comment |
$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".
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
answered Jan 2 at 23:07
Josiah ParkJosiah Park
1,408522
1,408522
add a comment |
add a comment |
$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".
$endgroup$
add a comment |
$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".
$endgroup$
add a comment |
$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".
$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".
answered Jan 3 at 5:27
Alexandre EremenkoAlexandre Eremenko
50.7k6140258
50.7k6140258
add a comment |
add a comment |
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
edited Jan 30 at 14:28
answered Jan 30 at 14:22
HumedHumed
705
705
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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