My question is about the Taylor formula of $f(x,y)=sin xsin y$

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











up vote
1
down vote

favorite












I have to solve the following exercise:



Find the secondary approach of $f(x,y)=sin xsin y$ near the point $(0,0)$. How accurate is the approach if $|x|leq 0,1$ and $|y|leq0,1$?



(I have to prove that $|E|leq frac86(0,1)^3$ )



$-$ I found :



the secondary approach is for $n=2$



beginalignf(x,y)= &f(0,0)+xf_x+yf_y+frac12(x^2f_xx+2xyf_xy+y^2f_yy)\&+ frac16(x^3f_xxx+3x^2yf_xxy +3y^2xf_xyy+y^3f_yyy)(φ,n)endalign



$f(0,0)=0$



$f_x(0,0)=cos0sin0=0$, $f_y(0,0)=sin0cos0=0$



$f_xx(0,0)=-sin 0sin0=0$, $f_yy(0,0)=-sin0sin0=0$



$f_xy(0,0)=cos0cos0=1$



therefore $f(x,y)simeq 0+0+0+frac12(x^20+2xy+y^20)=xy$,



the error estimation is $|E(x,y)|=frac16(x^3f_xxx+dots+y^3f_yyy)(φ,n)$



$-$How am I going to prove that $|E|leq frac86(0,1)^3?$ I don't know what I have to do. Are the things that I've done above correct?







share|cite|improve this question

















  • 1




    You can use Lagrange's form of the remainder, as it looks for several variables. The derivatives that appear therein evaluated at unknown points are nevertheless sines and cosines, which have uniform bounds, $1$.
    – user578878
    Jul 25 at 11:32







  • 1




    This particular problem has the simplifying feature that the function is factorial, $f(x,y)=g_1(x)g_2(y)$. Therefore, you could deduce the bound from Lagrange's remainder for one variable applied to $sin(x)$ and $sin(y)$ separately.
    – user578878
    Jul 25 at 11:37







  • 1




    To continue on the path you delineate in your question (since, pace some comments above, the first question here is not to imagine other approaches), simply note that every third derivative involved in your last formula for $E$ is at most $1$, that the prefactors $x^iy^j$ involved are all bounded by $0.1^3$ and that the prefactor $frac16$ then yields exactly the bound $frac16cdot8cdot0.1^3$ you have been asked to show.
    – Did
    Jul 25 at 11:49















up vote
1
down vote

favorite












I have to solve the following exercise:



Find the secondary approach of $f(x,y)=sin xsin y$ near the point $(0,0)$. How accurate is the approach if $|x|leq 0,1$ and $|y|leq0,1$?



(I have to prove that $|E|leq frac86(0,1)^3$ )



$-$ I found :



the secondary approach is for $n=2$



beginalignf(x,y)= &f(0,0)+xf_x+yf_y+frac12(x^2f_xx+2xyf_xy+y^2f_yy)\&+ frac16(x^3f_xxx+3x^2yf_xxy +3y^2xf_xyy+y^3f_yyy)(φ,n)endalign



$f(0,0)=0$



$f_x(0,0)=cos0sin0=0$, $f_y(0,0)=sin0cos0=0$



$f_xx(0,0)=-sin 0sin0=0$, $f_yy(0,0)=-sin0sin0=0$



$f_xy(0,0)=cos0cos0=1$



therefore $f(x,y)simeq 0+0+0+frac12(x^20+2xy+y^20)=xy$,



the error estimation is $|E(x,y)|=frac16(x^3f_xxx+dots+y^3f_yyy)(φ,n)$



$-$How am I going to prove that $|E|leq frac86(0,1)^3?$ I don't know what I have to do. Are the things that I've done above correct?







share|cite|improve this question

















  • 1




    You can use Lagrange's form of the remainder, as it looks for several variables. The derivatives that appear therein evaluated at unknown points are nevertheless sines and cosines, which have uniform bounds, $1$.
    – user578878
    Jul 25 at 11:32







  • 1




    This particular problem has the simplifying feature that the function is factorial, $f(x,y)=g_1(x)g_2(y)$. Therefore, you could deduce the bound from Lagrange's remainder for one variable applied to $sin(x)$ and $sin(y)$ separately.
    – user578878
    Jul 25 at 11:37







  • 1




    To continue on the path you delineate in your question (since, pace some comments above, the first question here is not to imagine other approaches), simply note that every third derivative involved in your last formula for $E$ is at most $1$, that the prefactors $x^iy^j$ involved are all bounded by $0.1^3$ and that the prefactor $frac16$ then yields exactly the bound $frac16cdot8cdot0.1^3$ you have been asked to show.
    – Did
    Jul 25 at 11:49













up vote
1
down vote

favorite









up vote
1
down vote

favorite











I have to solve the following exercise:



Find the secondary approach of $f(x,y)=sin xsin y$ near the point $(0,0)$. How accurate is the approach if $|x|leq 0,1$ and $|y|leq0,1$?



(I have to prove that $|E|leq frac86(0,1)^3$ )



$-$ I found :



the secondary approach is for $n=2$



beginalignf(x,y)= &f(0,0)+xf_x+yf_y+frac12(x^2f_xx+2xyf_xy+y^2f_yy)\&+ frac16(x^3f_xxx+3x^2yf_xxy +3y^2xf_xyy+y^3f_yyy)(φ,n)endalign



$f(0,0)=0$



$f_x(0,0)=cos0sin0=0$, $f_y(0,0)=sin0cos0=0$



$f_xx(0,0)=-sin 0sin0=0$, $f_yy(0,0)=-sin0sin0=0$



$f_xy(0,0)=cos0cos0=1$



therefore $f(x,y)simeq 0+0+0+frac12(x^20+2xy+y^20)=xy$,



the error estimation is $|E(x,y)|=frac16(x^3f_xxx+dots+y^3f_yyy)(φ,n)$



$-$How am I going to prove that $|E|leq frac86(0,1)^3?$ I don't know what I have to do. Are the things that I've done above correct?







share|cite|improve this question













I have to solve the following exercise:



Find the secondary approach of $f(x,y)=sin xsin y$ near the point $(0,0)$. How accurate is the approach if $|x|leq 0,1$ and $|y|leq0,1$?



(I have to prove that $|E|leq frac86(0,1)^3$ )



$-$ I found :



the secondary approach is for $n=2$



beginalignf(x,y)= &f(0,0)+xf_x+yf_y+frac12(x^2f_xx+2xyf_xy+y^2f_yy)\&+ frac16(x^3f_xxx+3x^2yf_xxy +3y^2xf_xyy+y^3f_yyy)(φ,n)endalign



$f(0,0)=0$



$f_x(0,0)=cos0sin0=0$, $f_y(0,0)=sin0cos0=0$



$f_xx(0,0)=-sin 0sin0=0$, $f_yy(0,0)=-sin0sin0=0$



$f_xy(0,0)=cos0cos0=1$



therefore $f(x,y)simeq 0+0+0+frac12(x^20+2xy+y^20)=xy$,



the error estimation is $|E(x,y)|=frac16(x^3f_xxx+dots+y^3f_yyy)(φ,n)$



$-$How am I going to prove that $|E|leq frac86(0,1)^3?$ I don't know what I have to do. Are the things that I've done above correct?









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 25 at 11:56









Bernard

110k635103




110k635103









asked Jul 25 at 11:29









Deppie3910

205




205







  • 1




    You can use Lagrange's form of the remainder, as it looks for several variables. The derivatives that appear therein evaluated at unknown points are nevertheless sines and cosines, which have uniform bounds, $1$.
    – user578878
    Jul 25 at 11:32







  • 1




    This particular problem has the simplifying feature that the function is factorial, $f(x,y)=g_1(x)g_2(y)$. Therefore, you could deduce the bound from Lagrange's remainder for one variable applied to $sin(x)$ and $sin(y)$ separately.
    – user578878
    Jul 25 at 11:37







  • 1




    To continue on the path you delineate in your question (since, pace some comments above, the first question here is not to imagine other approaches), simply note that every third derivative involved in your last formula for $E$ is at most $1$, that the prefactors $x^iy^j$ involved are all bounded by $0.1^3$ and that the prefactor $frac16$ then yields exactly the bound $frac16cdot8cdot0.1^3$ you have been asked to show.
    – Did
    Jul 25 at 11:49













  • 1




    You can use Lagrange's form of the remainder, as it looks for several variables. The derivatives that appear therein evaluated at unknown points are nevertheless sines and cosines, which have uniform bounds, $1$.
    – user578878
    Jul 25 at 11:32







  • 1




    This particular problem has the simplifying feature that the function is factorial, $f(x,y)=g_1(x)g_2(y)$. Therefore, you could deduce the bound from Lagrange's remainder for one variable applied to $sin(x)$ and $sin(y)$ separately.
    – user578878
    Jul 25 at 11:37







  • 1




    To continue on the path you delineate in your question (since, pace some comments above, the first question here is not to imagine other approaches), simply note that every third derivative involved in your last formula for $E$ is at most $1$, that the prefactors $x^iy^j$ involved are all bounded by $0.1^3$ and that the prefactor $frac16$ then yields exactly the bound $frac16cdot8cdot0.1^3$ you have been asked to show.
    – Did
    Jul 25 at 11:49








1




1




You can use Lagrange's form of the remainder, as it looks for several variables. The derivatives that appear therein evaluated at unknown points are nevertheless sines and cosines, which have uniform bounds, $1$.
– user578878
Jul 25 at 11:32





You can use Lagrange's form of the remainder, as it looks for several variables. The derivatives that appear therein evaluated at unknown points are nevertheless sines and cosines, which have uniform bounds, $1$.
– user578878
Jul 25 at 11:32





1




1




This particular problem has the simplifying feature that the function is factorial, $f(x,y)=g_1(x)g_2(y)$. Therefore, you could deduce the bound from Lagrange's remainder for one variable applied to $sin(x)$ and $sin(y)$ separately.
– user578878
Jul 25 at 11:37





This particular problem has the simplifying feature that the function is factorial, $f(x,y)=g_1(x)g_2(y)$. Therefore, you could deduce the bound from Lagrange's remainder for one variable applied to $sin(x)$ and $sin(y)$ separately.
– user578878
Jul 25 at 11:37





1




1




To continue on the path you delineate in your question (since, pace some comments above, the first question here is not to imagine other approaches), simply note that every third derivative involved in your last formula for $E$ is at most $1$, that the prefactors $x^iy^j$ involved are all bounded by $0.1^3$ and that the prefactor $frac16$ then yields exactly the bound $frac16cdot8cdot0.1^3$ you have been asked to show.
– Did
Jul 25 at 11:49





To continue on the path you delineate in your question (since, pace some comments above, the first question here is not to imagine other approaches), simply note that every third derivative involved in your last formula for $E$ is at most $1$, that the prefactors $x^iy^j$ involved are all bounded by $0.1^3$ and that the prefactor $frac16$ then yields exactly the bound $frac16cdot8cdot0.1^3$ you have been asked to show.
– Did
Jul 25 at 11:49











1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted










I suppose that in $0,1$, the comma is a decimal comma.



Observe that all partial derivatives at any order are the products of a sine or a cosine in $x$ and a sine or a cosine in $y$, up to a $-$ sign. So the absolute value of these derivatives are bounded by $1$, and by the triangle inequality,
$$|E(x,y)|=frac16|(x^3f_xxx+dots+y^3f_yyy)(φ,n)|le frac16|(|x|^3 +3x^2|y|+3|x|y^2+|y|^3)$$
which is no more than $;dfrac16(0.1+0.1)^3=dfrac8610^-3;$ on $;[-0.1,0.1]times[-0.1,0.1]$.






share|cite|improve this answer





















  • Thank you very much!!
    – Deppie3910
    Jul 25 at 15:30










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%2f2862335%2fmy-question-is-about-the-taylor-formula-of-fx-y-sin-x-sin-y%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
2
down vote



accepted










I suppose that in $0,1$, the comma is a decimal comma.



Observe that all partial derivatives at any order are the products of a sine or a cosine in $x$ and a sine or a cosine in $y$, up to a $-$ sign. So the absolute value of these derivatives are bounded by $1$, and by the triangle inequality,
$$|E(x,y)|=frac16|(x^3f_xxx+dots+y^3f_yyy)(φ,n)|le frac16|(|x|^3 +3x^2|y|+3|x|y^2+|y|^3)$$
which is no more than $;dfrac16(0.1+0.1)^3=dfrac8610^-3;$ on $;[-0.1,0.1]times[-0.1,0.1]$.






share|cite|improve this answer





















  • Thank you very much!!
    – Deppie3910
    Jul 25 at 15:30














up vote
2
down vote



accepted










I suppose that in $0,1$, the comma is a decimal comma.



Observe that all partial derivatives at any order are the products of a sine or a cosine in $x$ and a sine or a cosine in $y$, up to a $-$ sign. So the absolute value of these derivatives are bounded by $1$, and by the triangle inequality,
$$|E(x,y)|=frac16|(x^3f_xxx+dots+y^3f_yyy)(φ,n)|le frac16|(|x|^3 +3x^2|y|+3|x|y^2+|y|^3)$$
which is no more than $;dfrac16(0.1+0.1)^3=dfrac8610^-3;$ on $;[-0.1,0.1]times[-0.1,0.1]$.






share|cite|improve this answer





















  • Thank you very much!!
    – Deppie3910
    Jul 25 at 15:30












up vote
2
down vote



accepted







up vote
2
down vote



accepted






I suppose that in $0,1$, the comma is a decimal comma.



Observe that all partial derivatives at any order are the products of a sine or a cosine in $x$ and a sine or a cosine in $y$, up to a $-$ sign. So the absolute value of these derivatives are bounded by $1$, and by the triangle inequality,
$$|E(x,y)|=frac16|(x^3f_xxx+dots+y^3f_yyy)(φ,n)|le frac16|(|x|^3 +3x^2|y|+3|x|y^2+|y|^3)$$
which is no more than $;dfrac16(0.1+0.1)^3=dfrac8610^-3;$ on $;[-0.1,0.1]times[-0.1,0.1]$.






share|cite|improve this answer













I suppose that in $0,1$, the comma is a decimal comma.



Observe that all partial derivatives at any order are the products of a sine or a cosine in $x$ and a sine or a cosine in $y$, up to a $-$ sign. So the absolute value of these derivatives are bounded by $1$, and by the triangle inequality,
$$|E(x,y)|=frac16|(x^3f_xxx+dots+y^3f_yyy)(φ,n)|le frac16|(|x|^3 +3x^2|y|+3|x|y^2+|y|^3)$$
which is no more than $;dfrac16(0.1+0.1)^3=dfrac8610^-3;$ on $;[-0.1,0.1]times[-0.1,0.1]$.







share|cite|improve this answer













share|cite|improve this answer



share|cite|improve this answer











answered Jul 25 at 12:09









Bernard

110k635103




110k635103











  • Thank you very much!!
    – Deppie3910
    Jul 25 at 15:30
















  • Thank you very much!!
    – Deppie3910
    Jul 25 at 15:30















Thank you very much!!
– Deppie3910
Jul 25 at 15:30




Thank you very much!!
– Deppie3910
Jul 25 at 15:30












 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2862335%2fmy-question-is-about-the-taylor-formula-of-fx-y-sin-x-sin-y%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?