smooth function as a sum of rect or tri functions
$begingroup$
At the beginning it looks to me easy but i am cannot find a mathematical prove for this.
I am trying to prove that smooth function cannot be written as a sum of rect functions (or tri functions)
for example let say that f(x) is a smooth function i want to prove that it cannot be written as:
$ fleft(xright):=:sum _{n=0}^{infty }left(a_n:rectleft(ncdot :gleft(xright)right)right)$
and the same for the tri function:
$ fleft(xright):=:sum _{n=0}^{infty }left(a_n:trileft(ncdot :gleft(xright)right)right)$
Thanks
edit:
The definition of the rect and tri functions:
Rectangular function::
$operatorname{rect}(t) = Pi(t) = begin{cases}
0 & text{if } |t| > frac{1}{2}, \
frac{1}{2} & text{if } |t| = frac{1}{2}, \
1 & text{if } |t| < frac{1}{2}.
end{cases}$
Triangular_function:
$begin{align}
operatorname{tri}(x) = Lambda(x) &overset{underset{mathrm{def}}{}}{=} max(1 - |x|, 0) \
&= begin{cases}
1 - |x| qquad & |x| < 1 \
0 qquad & mathrm{otherwise} \
end{cases}
end{align}$
sequences-and-series functions
$endgroup$
add a comment |
$begingroup$
At the beginning it looks to me easy but i am cannot find a mathematical prove for this.
I am trying to prove that smooth function cannot be written as a sum of rect functions (or tri functions)
for example let say that f(x) is a smooth function i want to prove that it cannot be written as:
$ fleft(xright):=:sum _{n=0}^{infty }left(a_n:rectleft(ncdot :gleft(xright)right)right)$
and the same for the tri function:
$ fleft(xright):=:sum _{n=0}^{infty }left(a_n:trileft(ncdot :gleft(xright)right)right)$
Thanks
edit:
The definition of the rect and tri functions:
Rectangular function::
$operatorname{rect}(t) = Pi(t) = begin{cases}
0 & text{if } |t| > frac{1}{2}, \
frac{1}{2} & text{if } |t| = frac{1}{2}, \
1 & text{if } |t| < frac{1}{2}.
end{cases}$
Triangular_function:
$begin{align}
operatorname{tri}(x) = Lambda(x) &overset{underset{mathrm{def}}{}}{=} max(1 - |x|, 0) \
&= begin{cases}
1 - |x| qquad & |x| < 1 \
0 qquad & mathrm{otherwise} \
end{cases}
end{align}$
sequences-and-series functions
$endgroup$
1
$begingroup$
I tried to prove it in the Fourier domain and use the Support of them and say that the support of the Fourier transform of rect is not finite but it is not enough. also i go to Gibbs phenomenon but it prove that a rect functions cannot be sum of smooth function
$endgroup$
– Ophir Yaniv
Jan 16 at 16:55
add a comment |
$begingroup$
At the beginning it looks to me easy but i am cannot find a mathematical prove for this.
I am trying to prove that smooth function cannot be written as a sum of rect functions (or tri functions)
for example let say that f(x) is a smooth function i want to prove that it cannot be written as:
$ fleft(xright):=:sum _{n=0}^{infty }left(a_n:rectleft(ncdot :gleft(xright)right)right)$
and the same for the tri function:
$ fleft(xright):=:sum _{n=0}^{infty }left(a_n:trileft(ncdot :gleft(xright)right)right)$
Thanks
edit:
The definition of the rect and tri functions:
Rectangular function::
$operatorname{rect}(t) = Pi(t) = begin{cases}
0 & text{if } |t| > frac{1}{2}, \
frac{1}{2} & text{if } |t| = frac{1}{2}, \
1 & text{if } |t| < frac{1}{2}.
end{cases}$
Triangular_function:
$begin{align}
operatorname{tri}(x) = Lambda(x) &overset{underset{mathrm{def}}{}}{=} max(1 - |x|, 0) \
&= begin{cases}
1 - |x| qquad & |x| < 1 \
0 qquad & mathrm{otherwise} \
end{cases}
end{align}$
sequences-and-series functions
$endgroup$
At the beginning it looks to me easy but i am cannot find a mathematical prove for this.
I am trying to prove that smooth function cannot be written as a sum of rect functions (or tri functions)
for example let say that f(x) is a smooth function i want to prove that it cannot be written as:
$ fleft(xright):=:sum _{n=0}^{infty }left(a_n:rectleft(ncdot :gleft(xright)right)right)$
and the same for the tri function:
$ fleft(xright):=:sum _{n=0}^{infty }left(a_n:trileft(ncdot :gleft(xright)right)right)$
Thanks
edit:
The definition of the rect and tri functions:
Rectangular function::
$operatorname{rect}(t) = Pi(t) = begin{cases}
0 & text{if } |t| > frac{1}{2}, \
frac{1}{2} & text{if } |t| = frac{1}{2}, \
1 & text{if } |t| < frac{1}{2}.
end{cases}$
Triangular_function:
$begin{align}
operatorname{tri}(x) = Lambda(x) &overset{underset{mathrm{def}}{}}{=} max(1 - |x|, 0) \
&= begin{cases}
1 - |x| qquad & |x| < 1 \
0 qquad & mathrm{otherwise} \
end{cases}
end{align}$
sequences-and-series functions
sequences-and-series functions
edited Jan 16 at 16:48
Ophir Yaniv
asked Jan 16 at 16:21
Ophir YanivOphir Yaniv
62
62
1
$begingroup$
I tried to prove it in the Fourier domain and use the Support of them and say that the support of the Fourier transform of rect is not finite but it is not enough. also i go to Gibbs phenomenon but it prove that a rect functions cannot be sum of smooth function
$endgroup$
– Ophir Yaniv
Jan 16 at 16:55
add a comment |
1
$begingroup$
I tried to prove it in the Fourier domain and use the Support of them and say that the support of the Fourier transform of rect is not finite but it is not enough. also i go to Gibbs phenomenon but it prove that a rect functions cannot be sum of smooth function
$endgroup$
– Ophir Yaniv
Jan 16 at 16:55
1
1
$begingroup$
I tried to prove it in the Fourier domain and use the Support of them and say that the support of the Fourier transform of rect is not finite but it is not enough. also i go to Gibbs phenomenon but it prove that a rect functions cannot be sum of smooth function
$endgroup$
– Ophir Yaniv
Jan 16 at 16:55
$begingroup$
I tried to prove it in the Fourier domain and use the Support of them and say that the support of the Fourier transform of rect is not finite but it is not enough. also i go to Gibbs phenomenon but it prove that a rect functions cannot be sum of smooth function
$endgroup$
– Ophir Yaniv
Jan 16 at 16:55
add a comment |
0
active
oldest
votes
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%2f3075932%2fsmooth-function-as-a-sum-of-rect-or-tri-functions%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3075932%2fsmooth-function-as-a-sum-of-rect-or-tri-functions%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
1
$begingroup$
I tried to prove it in the Fourier domain and use the Support of them and say that the support of the Fourier transform of rect is not finite but it is not enough. also i go to Gibbs phenomenon but it prove that a rect functions cannot be sum of smooth function
$endgroup$
– Ophir Yaniv
Jan 16 at 16:55