Different definitions of Besov norm/space The 2019 Stack Overflow Developer Survey Results Are InModuli of smoothness, Besov spaces, and Sobolev spacesBesov spaces---concrete description of spatial inhomogeneityDifferentiation in Besov–Zygmund spacesReference request: The compactness and compact embedding in Besov Space?Simple Inequality for Proving Equivalent Besov SeminormsRelation between Besov and Sobolev spaces (Littlewood-Paley-theory)Sobolev space definitions$mathcalC^alpha$ Besov spaces: DefinitionEmbedding property of homogeneous periodic Besov spacesHow to prove that a delta function belongs to the Besov space $B^-1$?
Does it makes sense to buy a new cycle to learn riding?
Is three citations per paragraph excessive for undergraduate research paper?
Why is the maximum length of OpenWrt’s root password 8 characters?
"What time...?" or "At what time...?" - what is more grammatically correct?
Is bread bad for ducks?
Landlord wants to switch my lease to a "Land contract" to "get back at the city"
Access elements in std::string where positon of string is greater than its size
Does duplicating a spell with Wish count as casting that spell?
How to manage monthly salary
Extreme, unacceptable situation and I can't attend work tomorrow morning
If a poisoned arrow's piercing damage is reduced to 0, do you still get poisoned?
"To split hairs" vs "To be pedantic"
What are the motivations for publishing new editions of an existing textbook, beyond new discoveries in a field?
Is flight data recorder erased after every flight?
Are USB sockets on wall outlets live all the time, even when the switch is off?
Can't find the latex code for the ⍎ (down tack jot) symbol
"Riffle" two strings
What tool would a Roman-age civilization have to grind silver and other metals into dust?
I see my dog run
What is a mixture ratio of propellant?
Falsification in Math vs Science
What is the motivation for a law requiring 2 parties to consent for recording a conversation
Where to refill my bottle in India?
What is the meaning of Triage in Cybersec world?
Different definitions of Besov norm/space
The 2019 Stack Overflow Developer Survey Results Are InModuli of smoothness, Besov spaces, and Sobolev spacesBesov spaces---concrete description of spatial inhomogeneityDifferentiation in Besov–Zygmund spacesReference request: The compactness and compact embedding in Besov Space?Simple Inequality for Proving Equivalent Besov SeminormsRelation between Besov and Sobolev spaces (Littlewood-Paley-theory)Sobolev space definitions$mathcalC^alpha$ Besov spaces: DefinitionEmbedding property of homogeneous periodic Besov spacesHow to prove that a delta function belongs to the Besov space $B^-1$?
$begingroup$
I'm following two "different" approaches to the Besov Spaces, but I don't get if the two definitions given are equivalent.
Victor I. Burenkov - Sobolev Spaces On Domains.
Given $f:mathbbR^n to mathbbR$ and $h in mathbbR^n$ we set $Delta_h f(x) = f(x+h)-f(x)$ and recursively $Delta_h ^sigma f(x) = underbraceDelta_h (Delta_h(dots (Delta_h_sigma text times f )dots))(x) = sum_k=0^sigma (-1)^sigma binomsigmak f(x+kh) $.
Definition. Let $l>0, sigma in mathbbN, sigma > l, 1 le p, theta le infty$. The function $f$ belongs to the Besov-Nikol'skij space $B^l _p,theta (mathbbR^n)$ if $f$ is measurable on $mathbbR^n$ and $$|f|_B^l _p,theta (mathbbR^n) = |f|_L^p (mathbbR^n) + |f|_b^l _p,theta (mathbbR^n)<infty$$ where $$|f|_b^l _p,theta (mathbbR^n) = left( int_mathbbR^n left(frac_L^p(mathbbR^n)^l right)^theta fracdhh right)^1/theta$$if $1 le theta < infty$ and $$|f|_B^l _p,infty (mathbbR^n) = sup_h in mathbbR^n setminus 0 frac_L^p(mathbbR^n)^l. $$
Burenkov says also that the definition is independent of $sigma > l$.
Giovanni Leoni - A First Course in Sobolev Spaces.
Given a function $u: mathbbR^N to mathbbR$, for every $h in mathbbR$, $i=1, dots, N$, and $x in mathbbR^n$, we define $$Delta^h _i u(x) := u(x+h e_i)-u(x)$$ where $e_i$ is the ith vector of the canonical basis in $mathbbR^n$.
Definition. Let $1 le p, theta le infty$ and $0<s<1$. A function $u in L^1_textloc (mathbbR^N)$ belongs to the Besov space $B^s,p,theta(mathbbR^N)$ if $$|u|_B^s,p,theta (mathbbR^N) = |u|_L^p (mathbbR^N) + |u|_B^s,p,theta (mathbbR^N)<infty$$ where $$|u|_B^s,p,theta (mathbbR^N) := sum_i=1^N left( int_0^infty | Delta^h _i u |^theta _L^p(mathbbR^N) fracdhh^1 +stheta right)^1/theta$$if $theta < infty$ and $$|u|_B^s,p,infty(mathbbR^N) := sum_i=1^N sup_h>0 frac1h^s | Delta_i ^h u |_L^p(mathbbR^N).$$
The two definition look like pretty the same but, at least apparently, they aren't. Are they actually equivalent? I don't need a proof, but I just wanted to know if this is a field of Math in which things with the same name are not equivalently defined (Burenkov defines other nine equivalent Besov norms, but there's not the Leoni's one between them).
Thanks in advance!
functional-analysis sobolev-spaces besov-space
$endgroup$
add a comment |
$begingroup$
I'm following two "different" approaches to the Besov Spaces, but I don't get if the two definitions given are equivalent.
Victor I. Burenkov - Sobolev Spaces On Domains.
Given $f:mathbbR^n to mathbbR$ and $h in mathbbR^n$ we set $Delta_h f(x) = f(x+h)-f(x)$ and recursively $Delta_h ^sigma f(x) = underbraceDelta_h (Delta_h(dots (Delta_h_sigma text times f )dots))(x) = sum_k=0^sigma (-1)^sigma binomsigmak f(x+kh) $.
Definition. Let $l>0, sigma in mathbbN, sigma > l, 1 le p, theta le infty$. The function $f$ belongs to the Besov-Nikol'skij space $B^l _p,theta (mathbbR^n)$ if $f$ is measurable on $mathbbR^n$ and $$|f|_B^l _p,theta (mathbbR^n) = |f|_L^p (mathbbR^n) + |f|_b^l _p,theta (mathbbR^n)<infty$$ where $$|f|_b^l _p,theta (mathbbR^n) = left( int_mathbbR^n left(frac_L^p(mathbbR^n)^l right)^theta fracdhh right)^1/theta$$if $1 le theta < infty$ and $$|f|_B^l _p,infty (mathbbR^n) = sup_h in mathbbR^n setminus 0 frac_L^p(mathbbR^n)^l. $$
Burenkov says also that the definition is independent of $sigma > l$.
Giovanni Leoni - A First Course in Sobolev Spaces.
Given a function $u: mathbbR^N to mathbbR$, for every $h in mathbbR$, $i=1, dots, N$, and $x in mathbbR^n$, we define $$Delta^h _i u(x) := u(x+h e_i)-u(x)$$ where $e_i$ is the ith vector of the canonical basis in $mathbbR^n$.
Definition. Let $1 le p, theta le infty$ and $0<s<1$. A function $u in L^1_textloc (mathbbR^N)$ belongs to the Besov space $B^s,p,theta(mathbbR^N)$ if $$|u|_B^s,p,theta (mathbbR^N) = |u|_L^p (mathbbR^N) + |u|_B^s,p,theta (mathbbR^N)<infty$$ where $$|u|_B^s,p,theta (mathbbR^N) := sum_i=1^N left( int_0^infty | Delta^h _i u |^theta _L^p(mathbbR^N) fracdhh^1 +stheta right)^1/theta$$if $theta < infty$ and $$|u|_B^s,p,infty(mathbbR^N) := sum_i=1^N sup_h>0 frac1h^s | Delta_i ^h u |_L^p(mathbbR^N).$$
The two definition look like pretty the same but, at least apparently, they aren't. Are they actually equivalent? I don't need a proof, but I just wanted to know if this is a field of Math in which things with the same name are not equivalently defined (Burenkov defines other nine equivalent Besov norms, but there's not the Leoni's one between them).
Thanks in advance!
functional-analysis sobolev-spaces besov-space
$endgroup$
add a comment |
$begingroup$
I'm following two "different" approaches to the Besov Spaces, but I don't get if the two definitions given are equivalent.
Victor I. Burenkov - Sobolev Spaces On Domains.
Given $f:mathbbR^n to mathbbR$ and $h in mathbbR^n$ we set $Delta_h f(x) = f(x+h)-f(x)$ and recursively $Delta_h ^sigma f(x) = underbraceDelta_h (Delta_h(dots (Delta_h_sigma text times f )dots))(x) = sum_k=0^sigma (-1)^sigma binomsigmak f(x+kh) $.
Definition. Let $l>0, sigma in mathbbN, sigma > l, 1 le p, theta le infty$. The function $f$ belongs to the Besov-Nikol'skij space $B^l _p,theta (mathbbR^n)$ if $f$ is measurable on $mathbbR^n$ and $$|f|_B^l _p,theta (mathbbR^n) = |f|_L^p (mathbbR^n) + |f|_b^l _p,theta (mathbbR^n)<infty$$ where $$|f|_b^l _p,theta (mathbbR^n) = left( int_mathbbR^n left(frac_L^p(mathbbR^n)^l right)^theta fracdhh right)^1/theta$$if $1 le theta < infty$ and $$|f|_B^l _p,infty (mathbbR^n) = sup_h in mathbbR^n setminus 0 frac_L^p(mathbbR^n)^l. $$
Burenkov says also that the definition is independent of $sigma > l$.
Giovanni Leoni - A First Course in Sobolev Spaces.
Given a function $u: mathbbR^N to mathbbR$, for every $h in mathbbR$, $i=1, dots, N$, and $x in mathbbR^n$, we define $$Delta^h _i u(x) := u(x+h e_i)-u(x)$$ where $e_i$ is the ith vector of the canonical basis in $mathbbR^n$.
Definition. Let $1 le p, theta le infty$ and $0<s<1$. A function $u in L^1_textloc (mathbbR^N)$ belongs to the Besov space $B^s,p,theta(mathbbR^N)$ if $$|u|_B^s,p,theta (mathbbR^N) = |u|_L^p (mathbbR^N) + |u|_B^s,p,theta (mathbbR^N)<infty$$ where $$|u|_B^s,p,theta (mathbbR^N) := sum_i=1^N left( int_0^infty | Delta^h _i u |^theta _L^p(mathbbR^N) fracdhh^1 +stheta right)^1/theta$$if $theta < infty$ and $$|u|_B^s,p,infty(mathbbR^N) := sum_i=1^N sup_h>0 frac1h^s | Delta_i ^h u |_L^p(mathbbR^N).$$
The two definition look like pretty the same but, at least apparently, they aren't. Are they actually equivalent? I don't need a proof, but I just wanted to know if this is a field of Math in which things with the same name are not equivalently defined (Burenkov defines other nine equivalent Besov norms, but there's not the Leoni's one between them).
Thanks in advance!
functional-analysis sobolev-spaces besov-space
$endgroup$
I'm following two "different" approaches to the Besov Spaces, but I don't get if the two definitions given are equivalent.
Victor I. Burenkov - Sobolev Spaces On Domains.
Given $f:mathbbR^n to mathbbR$ and $h in mathbbR^n$ we set $Delta_h f(x) = f(x+h)-f(x)$ and recursively $Delta_h ^sigma f(x) = underbraceDelta_h (Delta_h(dots (Delta_h_sigma text times f )dots))(x) = sum_k=0^sigma (-1)^sigma binomsigmak f(x+kh) $.
Definition. Let $l>0, sigma in mathbbN, sigma > l, 1 le p, theta le infty$. The function $f$ belongs to the Besov-Nikol'skij space $B^l _p,theta (mathbbR^n)$ if $f$ is measurable on $mathbbR^n$ and $$|f|_B^l _p,theta (mathbbR^n) = |f|_L^p (mathbbR^n) + |f|_b^l _p,theta (mathbbR^n)<infty$$ where $$|f|_b^l _p,theta (mathbbR^n) = left( int_mathbbR^n left(frac_L^p(mathbbR^n)^l right)^theta fracdhh right)^1/theta$$if $1 le theta < infty$ and $$|f|_B^l _p,infty (mathbbR^n) = sup_h in mathbbR^n setminus 0 frac_L^p(mathbbR^n)^l. $$
Burenkov says also that the definition is independent of $sigma > l$.
Giovanni Leoni - A First Course in Sobolev Spaces.
Given a function $u: mathbbR^N to mathbbR$, for every $h in mathbbR$, $i=1, dots, N$, and $x in mathbbR^n$, we define $$Delta^h _i u(x) := u(x+h e_i)-u(x)$$ where $e_i$ is the ith vector of the canonical basis in $mathbbR^n$.
Definition. Let $1 le p, theta le infty$ and $0<s<1$. A function $u in L^1_textloc (mathbbR^N)$ belongs to the Besov space $B^s,p,theta(mathbbR^N)$ if $$|u|_B^s,p,theta (mathbbR^N) = |u|_L^p (mathbbR^N) + |u|_B^s,p,theta (mathbbR^N)<infty$$ where $$|u|_B^s,p,theta (mathbbR^N) := sum_i=1^N left( int_0^infty | Delta^h _i u |^theta _L^p(mathbbR^N) fracdhh^1 +stheta right)^1/theta$$if $theta < infty$ and $$|u|_B^s,p,infty(mathbbR^N) := sum_i=1^N sup_h>0 frac1h^s | Delta_i ^h u |_L^p(mathbbR^N).$$
The two definition look like pretty the same but, at least apparently, they aren't. Are they actually equivalent? I don't need a proof, but I just wanted to know if this is a field of Math in which things with the same name are not equivalently defined (Burenkov defines other nine equivalent Besov norms, but there's not the Leoni's one between them).
Thanks in advance!
functional-analysis sobolev-spaces besov-space
functional-analysis sobolev-spaces besov-space
asked Jul 19 '16 at 9:36
gangrenegangrene
915514
915514
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The answer is positive: these norms are equivalent (the second definition was given only for $0< s < 1$, but it can be extended in a natural way to any $s>0$).
$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: "69"
;
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%2fmath.stackexchange.com%2fquestions%2f1864110%2fdifferent-definitions-of-besov-norm-space%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The answer is positive: these norms are equivalent (the second definition was given only for $0< s < 1$, but it can be extended in a natural way to any $s>0$).
$endgroup$
add a comment |
$begingroup$
The answer is positive: these norms are equivalent (the second definition was given only for $0< s < 1$, but it can be extended in a natural way to any $s>0$).
$endgroup$
add a comment |
$begingroup$
The answer is positive: these norms are equivalent (the second definition was given only for $0< s < 1$, but it can be extended in a natural way to any $s>0$).
$endgroup$
The answer is positive: these norms are equivalent (the second definition was given only for $0< s < 1$, but it can be extended in a natural way to any $s>0$).
edited Mar 30 at 12:03
Daniele Tampieri
2,66221022
2,66221022
answered Mar 30 at 10:58
V..I. BurenkovV..I. Burenkov
111
111
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- 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%2fmath.stackexchange.com%2fquestions%2f1864110%2fdifferent-definitions-of-besov-norm-space%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