How to choose compaclty supported smooth complex valued function satisfying $|h|^2(x)+|h|^2(x-1)=1$?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite












We know the following trigonometric identities
$sin^2x + cos^2 x =1$ for all $xin mathbb R,$ and $sin^2 z + cos^2 z =1$ for all $zin mathbb C.$



It is known that we may choose smooth $f:mathbb R to [0,1]$ such that $f(x)=1$ if $xgeq 1 $ and $f(x)=0$ if $xleq 0.$ Define $h(x)= sin (fracpi2 f(x+1))$ if $xleq 0$ and $h(x)= cos (fracpi2 f(x))$ if $xgeq 0.$ We note that support of $h$ is $[-1, 1]$ and $h^2(x)+ h^2(x-1)=1$ for all $xin [0,1],$ and $h:mathbb R to mathbb R$ is smooth.



We note that this $h$ is real valued, my curiosity is, what happens if we want $h$ to be indeed complex valued.




My Question: Can we choose complex valued function $h:mathbb R to mathbb C$ such that the support of
$h$ is $[-1, 1]$ (or say $[-a, a]$ for some $a>0$) and $|h|^2(x)+ |h|^2(x-1)=1$ (or say $=b$ for some $b>0$) for all $xin [0,1],$ and $h:mathbb R to mathbb C$ is smooth.








share|cite|improve this question



















  • I suppose you mean a non-constant function?
    – Jacob Mazor
    Aug 6 at 17:32














up vote
0
down vote

favorite












We know the following trigonometric identities
$sin^2x + cos^2 x =1$ for all $xin mathbb R,$ and $sin^2 z + cos^2 z =1$ for all $zin mathbb C.$



It is known that we may choose smooth $f:mathbb R to [0,1]$ such that $f(x)=1$ if $xgeq 1 $ and $f(x)=0$ if $xleq 0.$ Define $h(x)= sin (fracpi2 f(x+1))$ if $xleq 0$ and $h(x)= cos (fracpi2 f(x))$ if $xgeq 0.$ We note that support of $h$ is $[-1, 1]$ and $h^2(x)+ h^2(x-1)=1$ for all $xin [0,1],$ and $h:mathbb R to mathbb R$ is smooth.



We note that this $h$ is real valued, my curiosity is, what happens if we want $h$ to be indeed complex valued.




My Question: Can we choose complex valued function $h:mathbb R to mathbb C$ such that the support of
$h$ is $[-1, 1]$ (or say $[-a, a]$ for some $a>0$) and $|h|^2(x)+ |h|^2(x-1)=1$ (or say $=b$ for some $b>0$) for all $xin [0,1],$ and $h:mathbb R to mathbb C$ is smooth.








share|cite|improve this question



















  • I suppose you mean a non-constant function?
    – Jacob Mazor
    Aug 6 at 17:32












up vote
0
down vote

favorite









up vote
0
down vote

favorite











We know the following trigonometric identities
$sin^2x + cos^2 x =1$ for all $xin mathbb R,$ and $sin^2 z + cos^2 z =1$ for all $zin mathbb C.$



It is known that we may choose smooth $f:mathbb R to [0,1]$ such that $f(x)=1$ if $xgeq 1 $ and $f(x)=0$ if $xleq 0.$ Define $h(x)= sin (fracpi2 f(x+1))$ if $xleq 0$ and $h(x)= cos (fracpi2 f(x))$ if $xgeq 0.$ We note that support of $h$ is $[-1, 1]$ and $h^2(x)+ h^2(x-1)=1$ for all $xin [0,1],$ and $h:mathbb R to mathbb R$ is smooth.



We note that this $h$ is real valued, my curiosity is, what happens if we want $h$ to be indeed complex valued.




My Question: Can we choose complex valued function $h:mathbb R to mathbb C$ such that the support of
$h$ is $[-1, 1]$ (or say $[-a, a]$ for some $a>0$) and $|h|^2(x)+ |h|^2(x-1)=1$ (or say $=b$ for some $b>0$) for all $xin [0,1],$ and $h:mathbb R to mathbb C$ is smooth.








share|cite|improve this question











We know the following trigonometric identities
$sin^2x + cos^2 x =1$ for all $xin mathbb R,$ and $sin^2 z + cos^2 z =1$ for all $zin mathbb C.$



It is known that we may choose smooth $f:mathbb R to [0,1]$ such that $f(x)=1$ if $xgeq 1 $ and $f(x)=0$ if $xleq 0.$ Define $h(x)= sin (fracpi2 f(x+1))$ if $xleq 0$ and $h(x)= cos (fracpi2 f(x))$ if $xgeq 0.$ We note that support of $h$ is $[-1, 1]$ and $h^2(x)+ h^2(x-1)=1$ for all $xin [0,1],$ and $h:mathbb R to mathbb R$ is smooth.



We note that this $h$ is real valued, my curiosity is, what happens if we want $h$ to be indeed complex valued.




My Question: Can we choose complex valued function $h:mathbb R to mathbb C$ such that the support of
$h$ is $[-1, 1]$ (or say $[-a, a]$ for some $a>0$) and $|h|^2(x)+ |h|^2(x-1)=1$ (or say $=b$ for some $b>0$) for all $xin [0,1],$ and $h:mathbb R to mathbb C$ is smooth.










share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Aug 6 at 16:02









Math Learner

1619




1619











  • I suppose you mean a non-constant function?
    – Jacob Mazor
    Aug 6 at 17:32
















  • I suppose you mean a non-constant function?
    – Jacob Mazor
    Aug 6 at 17:32















I suppose you mean a non-constant function?
– Jacob Mazor
Aug 6 at 17:32




I suppose you mean a non-constant function?
– Jacob Mazor
Aug 6 at 17:32















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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
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%2fmath.stackexchange.com%2fquestions%2f2874033%2fhow-to-choose-compaclty-supported-smooth-complex-valued-function-satisfying-h%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2874033%2fhow-to-choose-compaclty-supported-smooth-complex-valued-function-satisfying-h%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?