Mixing
How to sketch an $xy$ graph from a $yu$ and $xu$ graph.
Clash Royale CLAN TAG#URR8PPP
up vote
2
down vote
favorite
Question
Given the graphs of two functions, $u=f(y)$ on $yu$ axes and $u=g(x)$ on $xu$ axes, what methods are there to sketch the graph $f(y) = g(x)$ on $xy$ axes?
Furthermore, is there any intuition on what this new graph is showing?
Example
Given graphs of $u=y^-1e^y$ and $u=8(x^3-x)$, sketch $y^-1e^y = 8(x^3-x)$.
From their equations and graphs (as sketched by Desmos),
$u=8(x^3-x)$ and $u=y^-1e^y$,
how can I derive the "combined" graph of $y^-1e^y = 8(x^3-x)$?
Thoughts and Progress
Through online graphing software, the task is trivial. I am more interested in how this could be done by hand and how the two graphs are "combined" to create the new one.
My intuition leads me to believe this work would: You could visualize $f(y)$ and $g(x)$ as planes on a set of $xyu$ axes. Then, marking out the points of intersection between the two planes (that is, the points which satisfy $f(y) = g(x)$) you could view this from the $xy$ plane "perspective" (i.e. so that the $x$ and $y$ axes are both perpendicular to your line of sight). The resulting marked points would display the graph in question.
However my ability (and I imagine most other people's ability) to visualize three-dimensional objects is not nearly good enough to make this technique viable; I am convinced there is a better method for deriving the resulting graph by hand.
I am assuming the reader is familiar with standard graph sketching techniques such as examining asymptotic behavior, turning points, and convexity.
algebra-precalculus graphing-functions
asked Jul 19 at 17:06
packetpacket
249112
add a comment |Â
up vote
2
down vote
favorite
Question
Given the graphs of two functions, $u=f(y)$ on $yu$ axes and $u=g(x)$ on $xu$ axes, what methods are there to sketch the graph $f(y) = g(x)$ on $xy$ axes?
Furthermore, is there any intuition on what this new graph is showing?
Example
Given graphs of $u=y^-1e^y$ and $u=8(x^3-x)$, sketch $y^-1e^y = 8(x^3-x)$.
From their equations and graphs (as sketched by Desmos),
$u=8(x^3-x)$ and $u=y^-1e^y$,
how can I derive the "combined" graph of $y^-1e^y = 8(x^3-x)$?
Thoughts and Progress
Through online graphing software, the task is trivial. I am more interested in how this could be done by hand and how the two graphs are "combined" to create the new one.
My intuition leads me to believe this work would: You could visualize $f(y)$ and $g(x)$ as planes on a set of $xyu$ axes. Then, marking out the points of intersection between the two planes (that is, the points which satisfy $f(y) = g(x)$) you could view this from the $xy$ plane "perspective" (i.e. so that the $x$ and $y$ axes are both perpendicular to your line of sight). The resulting marked points would display the graph in question.
However my ability (and I imagine most other people's ability) to visualize three-dimensional objects is not nearly good enough to make this technique viable; I am convinced there is a better method for deriving the resulting graph by hand.
I am assuming the reader is familiar with standard graph sketching techniques such as examining asymptotic behavior, turning points, and convexity.
algebra-precalculus graphing-functions
asked Jul 19 at 17:06
packetpacket
249112
One tedious way to do this by hand is to use interval arithmetic and break each area to be graphed into successively smaller pieces until you reach your desired precision limit, or until you know that the graph does not pass through the portion of the area that you are looking at.
– abiessu
Jul 19 at 17:16
add a comment |Â
up vote
2
down vote
favorite
up vote
2
down vote
favorite
Question
Given the graphs of two functions, $u=f(y)$ on $yu$ axes and $u=g(x)$ on $xu$ axes, what methods are there to sketch the graph $f(y) = g(x)$ on $xy$ axes?
Furthermore, is there any intuition on what this new graph is showing?
Example
Given graphs of $u=y^-1e^y$ and $u=8(x^3-x)$, sketch $y^-1e^y = 8(x^3-x)$.
From their equations and graphs (as sketched by Desmos),
$u=8(x^3-x)$ and $u=y^-1e^y$,
how can I derive the "combined" graph of $y^-1e^y = 8(x^3-x)$?
Thoughts and Progress
Through online graphing software, the task is trivial. I am more interested in how this could be done by hand and how the two graphs are "combined" to create the new one.
My intuition leads me to believe this work would: You could visualize $f(y)$ and $g(x)$ as planes on a set of $xyu$ axes. Then, marking out the points of intersection between the two planes (that is, the points which satisfy $f(y) = g(x)$) you could view this from the $xy$ plane "perspective" (i.e. so that the $x$ and $y$ axes are both perpendicular to your line of sight). The resulting marked points would display the graph in question.
However my ability (and I imagine most other people's ability) to visualize three-dimensional objects is not nearly good enough to make this technique viable; I am convinced there is a better method for deriving the resulting graph by hand.
I am assuming the reader is familiar with standard graph sketching techniques such as examining asymptotic behavior, turning points, and convexity.
algebra-precalculus graphing-functions
asked Jul 19 at 17:06
packetpacket
249112
Question
Given the graphs of two functions, $u=f(y)$ on $yu$ axes and $u=g(x)$ on $xu$ axes, what methods are there to sketch the graph $f(y) = g(x)$ on $xy$ axes?
Furthermore, is there any intuition on what this new graph is showing?
Example
Given graphs of $u=y^-1e^y$ and $u=8(x^3-x)$, sketch $y^-1e^y = 8(x^3-x)$.
From their equations and graphs (as sketched by Desmos),
$u=8(x^3-x)$ and $u=y^-1e^y$,
how can I derive the "combined" graph of $y^-1e^y = 8(x^3-x)$?
Thoughts and Progress
Through online graphing software, the task is trivial. I am more interested in how this could be done by hand and how the two graphs are "combined" to create the new one.
My intuition leads me to believe this work would: You could visualize $f(y)$ and $g(x)$ as planes on a set of $xyu$ axes. Then, marking out the points of intersection between the two planes (that is, the points which satisfy $f(y) = g(x)$) you could view this from the $xy$ plane "perspective" (i.e. so that the $x$ and $y$ axes are both perpendicular to your line of sight). The resulting marked points would display the graph in question.
However my ability (and I imagine most other people's ability) to visualize three-dimensional objects is not nearly good enough to make this technique viable; I am convinced there is a better method for deriving the resulting graph by hand.
I am assuming the reader is familiar with standard graph sketching techniques such as examining asymptotic behavior, turning points, and convexity.
algebra-precalculus graphing-functions
asked Jul 19 at 17:06
packetpacket
249112
edited Jul 23 at 14:41
asked Jul 19 at 17:06
packetpacket
249112
asked Jul 19 at 17:06
packetpacket
249112
asked Jul 19 at 17:06
packetpacket
249112
249112
One tedious way to do this by hand is to use interval arithmetic and break each area to be graphed into successively smaller pieces until you reach your desired precision limit, or until you know that the graph does not pass through the portion of the area that you are looking at.
– abiessu
Jul 19 at 17:16
add a comment |Â
One tedious way to do this by hand is to use interval arithmetic and break each area to be graphed into successively smaller pieces until you reach your desired precision limit, or until you know that the graph does not pass through the portion of the area that you are looking at.
– abiessu
Jul 19 at 17:16
One tedious way to do this by hand is to use interval arithmetic and break each area to be graphed into successively smaller pieces until you reach your desired precision limit, or until you know that the graph does not pass through the portion of the area that you are looking at.
– abiessu
Jul 19 at 17:16
One tedious way to do this by hand is to use interval arithmetic and break each area to be graphed into successively smaller pieces until you reach your desired precision limit, or until you know that the graph does not pass through the portion of the area that you are looking at.
– abiessu
Jul 19 at 17:16
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
1
down vote
For how to think about it, consider that both $u=8(x^3-x)$ and $u=y^-1e^y$ can be treated as $3$-d graphs, where in the first graph $y$ takes on any value, and so looking from the $xy$ perspective we get what looks like the plane completely filled, and from the second graph we have the same for $x$, and so the plane looks full again. The intersection of these two graphs by lining up the axes and viewing from the $xy$ perspective is the graph of $8(x^3-x)=y^-1e^y$.
Performing this intersection by hand is tedious, but interval arithmetic is an effective tool. I will demonstrate just a small part of how this is done for the area given by $(x,y)in [1,2]^2$.
First, verify that the graph passes through this area. So for the $x$ portion we have
$$beginalign
&8([1,2]^3-[1,2])\=&8([1,8]-[1,2])\=&8([-1,7])\=&[-8,56]
endalign$$
and the $y$ portion becomes
$$beginalign
&[1,2]^-1e^[1,2]\
=&left[frac 12,1right]cdot[e^1,e^2]\
=&left[frac e2,e^2right]
endalign$$
The decision of whether the graph passes through this area then becomes a question of whether the two intervals shown above have an overlap. Since $56 ge e^2$ and $-8le frac e2$, the overlap is present. Now we subdivide the area and check each subdivision. This particular equation has the variables separated, so if I choose to subdivide only one direction at a time, the interval associated with the other variable does not change. I will choose to subdivide the $x$ interval in half, as $xin[1,1.5]$ and $xin[1.5,2]$. I may end up measuring a portion of the graph multiple times by including boundaries in every subdivision, but this does not hurt the result. Taking the $x$ side of the equation again, we first have
$$8([1,1.5]^3-[1,1.5])=8([1,3.375]-[1,1.5])\
=8([-0.5,2.375])=[-4,19]$$
which again clearly overlaps $left[frac e2,e^2right]$. The other subdivision works out as
$$8([1.5,2]^3-[1.5,2])=8([3.375,8]-[1.5,2])\
=8([1.375,6.5])=[11,52]$$
Now, as $e^2lt 9lt 11$, we see that this interval does not overlap $left[frac e2,e^2right]$, so we know that the graph does not pass through this portion of the area.
It should be fairly clear how easy this approach is, but the degree of tedium is significant. This method is very good for a computer to use for graphing for these reasons, plus the fact that the rules of interval arithmetic make it so that it is possible to "prove" that a graph matches a given function. There are no limits on how many variables and how complex the equation is for interval arithmetic to be applied, the only limitation is whether a given equation will produce usable results in a reasonable time frame. I don't have specific examples on hand, but there were many times where I was dealing with complex functions for which my favorite graphing program "Grafeq" would fail to obtain results.
answered Jul 21 at 5:11
abiessu
6,61721540
Thank you for explaining a more general method for solving the example problem. I am glad my intuition was correct about the 3D visualization. Could this method be extended to cases where the explicit functions are not given, only the graphs of $u=f(y)$ and $u=g(x)$? For example you can sketch the graph of $y=p(x)q(x)$ by "multiplying" the y value of $y=p(x)$ and $y=q(x)$ by eye, without needed to know their explicit formulas.
– packetpacket
Jul 23 at 14:39
add a comment |Â
up vote
1
down vote
The system
beginalign
y^-1exp(y) &= 8(x^3-x)
endalign
has a solution for $y$ in terms of Lambert W function,
beginalign
-yexp(-y) &= -frac18(x^3-x)
,\
operatornameW(-yexp(-y))
&= operatornameWleft(-frac18(x^3-x)right)
,\
y&=
-operatornameWleft(-frac18(x^3-x)right)
tag1label1
.
endalign
For real solutions
we need to consider two branches
beginalign
y_0(x)&=
-operatornameW_0left(-frac18(x^3-x)right)
tag2label2
,\
textand quad
y_1(x)&=
-operatornameW_-1left(-frac18(x^3-x)right)
tag3label3
.
endalign
But first, we need to consider
the argument $t$ of $operatornameW$:
beginalign
t(x)&=-frac18(x^3-x)
=-frac18x(x-1)(x+1)
tag4label4
.
endalign
It is not difficult to make a sketch of eqref4:
$$
beginarrayccccc
hline
&x-textrange & t-textrange & y(x) & y-textrange
\ hline
1&(-infty,-1) & (0,infty) & colorred-operatornameW_0(t) & colorred(-infty,0)
\
2&(-1,x_1) & (-infty,-tfrac1mathrme) & - & -
\
3&text[x_1,x_2text] & text[-tfrac1mathrme,-tfrac3sqrt316text] & colorred-operatornameW_0(t),
colorblue-operatornameW_-1(t)
& colorredtext[-operatornameW_0(-tfrac3sqrt316),1text]
cup
colorblue(1,-operatornameW_-1(-tfrac3sqrt316)text]
\
4&(x_2,0) & (-infty,-tfrac1mathrme) & - & -
\
5&(0,1) & (tfrac3sqrt316,infty) & colorred-operatornameW_0(t) &colorred(-infty,-operatornameW_0(tfrac3sqrt316)text]
\
6&(1,x_3) & (-infty,-tfrac1mathrme) & - & -
\
7&text[x_3,infty) & text[-tfrac1mathrme,0)
& colorred-operatornameW_0(t),
colorblue-operatornameW_-1(t)
& colorred(0,1]cupcolorblue(1,infty)
\ hline
endarray
$$
Values of $x_1,x_2,x_3$
are solutions of
beginalign
t(x)&=-frac1mathrme
,
endalign
or the cubic roots of
beginalign
8x^3-8x-mathrme&=0
,
endalign
and can be found as
beginalign
x_1&=-tfrac2sqrt33cosleft(tfracpi3
-tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx -0.731986
,\
x_2&=-tfrac2sqrt33cosleft(tfracpi3
+tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx -0.4074
,\
x_3&=tfrac2sqrt33cosleft(
tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx 1.13939
.
endalign
answered Jul 21 at 17:33
g.kov
5,5321717
Thank you for the very in depth analysis of the example. However I am looking for a more general method. Ideally, the method wouldn't require the functions but just the graphs themselves. In this case it was possible to break down the given functions into various ranges, but in more complex situations this might not be feasible.
– packetpacket
Jul 23 at 14:25
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
For how to think about it, consider that both $u=8(x^3-x)$ and $u=y^-1e^y$ can be treated as $3$-d graphs, where in the first graph $y$ takes on any value, and so looking from the $xy$ perspective we get what looks like the plane completely filled, and from the second graph we have the same for $x$, and so the plane looks full again. The intersection of these two graphs by lining up the axes and viewing from the $xy$ perspective is the graph of $8(x^3-x)=y^-1e^y$.
Performing this intersection by hand is tedious, but interval arithmetic is an effective tool. I will demonstrate just a small part of how this is done for the area given by $(x,y)in [1,2]^2$.
First, verify that the graph passes through this area. So for the $x$ portion we have
$$beginalign
&8([1,2]^3-[1,2])\=&8([1,8]-[1,2])\=&8([-1,7])\=&[-8,56]
endalign$$
and the $y$ portion becomes
$$beginalign
&[1,2]^-1e^[1,2]\
=&left[frac 12,1right]cdot[e^1,e^2]\
=&left[frac e2,e^2right]
endalign$$
The decision of whether the graph passes through this area then becomes a question of whether the two intervals shown above have an overlap. Since $56 ge e^2$ and $-8le frac e2$, the overlap is present. Now we subdivide the area and check each subdivision. This particular equation has the variables separated, so if I choose to subdivide only one direction at a time, the interval associated with the other variable does not change. I will choose to subdivide the $x$ interval in half, as $xin[1,1.5]$ and $xin[1.5,2]$. I may end up measuring a portion of the graph multiple times by including boundaries in every subdivision, but this does not hurt the result. Taking the $x$ side of the equation again, we first have
$$8([1,1.5]^3-[1,1.5])=8([1,3.375]-[1,1.5])\
=8([-0.5,2.375])=[-4,19]$$
which again clearly overlaps $left[frac e2,e^2right]$. The other subdivision works out as
$$8([1.5,2]^3-[1.5,2])=8([3.375,8]-[1.5,2])\
=8([1.375,6.5])=[11,52]$$
Now, as $e^2lt 9lt 11$, we see that this interval does not overlap $left[frac e2,e^2right]$, so we know that the graph does not pass through this portion of the area.
It should be fairly clear how easy this approach is, but the degree of tedium is significant. This method is very good for a computer to use for graphing for these reasons, plus the fact that the rules of interval arithmetic make it so that it is possible to "prove" that a graph matches a given function. There are no limits on how many variables and how complex the equation is for interval arithmetic to be applied, the only limitation is whether a given equation will produce usable results in a reasonable time frame. I don't have specific examples on hand, but there were many times where I was dealing with complex functions for which my favorite graphing program "Grafeq" would fail to obtain results.
answered Jul 21 at 5:11
abiessu
6,61721540
Thank you for explaining a more general method for solving the example problem. I am glad my intuition was correct about the 3D visualization. Could this method be extended to cases where the explicit functions are not given, only the graphs of $u=f(y)$ and $u=g(x)$? For example you can sketch the graph of $y=p(x)q(x)$ by "multiplying" the y value of $y=p(x)$ and $y=q(x)$ by eye, without needed to know their explicit formulas.
– packetpacket
Jul 23 at 14:39
add a comment |Â
up vote
1
down vote
For how to think about it, consider that both $u=8(x^3-x)$ and $u=y^-1e^y$ can be treated as $3$-d graphs, where in the first graph $y$ takes on any value, and so looking from the $xy$ perspective we get what looks like the plane completely filled, and from the second graph we have the same for $x$, and so the plane looks full again. The intersection of these two graphs by lining up the axes and viewing from the $xy$ perspective is the graph of $8(x^3-x)=y^-1e^y$.
Performing this intersection by hand is tedious, but interval arithmetic is an effective tool. I will demonstrate just a small part of how this is done for the area given by $(x,y)in [1,2]^2$.
First, verify that the graph passes through this area. So for the $x$ portion we have
$$beginalign
&8([1,2]^3-[1,2])\=&8([1,8]-[1,2])\=&8([-1,7])\=&[-8,56]
endalign$$
and the $y$ portion becomes
$$beginalign
&[1,2]^-1e^[1,2]\
=&left[frac 12,1right]cdot[e^1,e^2]\
=&left[frac e2,e^2right]
endalign$$
The decision of whether the graph passes through this area then becomes a question of whether the two intervals shown above have an overlap. Since $56 ge e^2$ and $-8le frac e2$, the overlap is present. Now we subdivide the area and check each subdivision. This particular equation has the variables separated, so if I choose to subdivide only one direction at a time, the interval associated with the other variable does not change. I will choose to subdivide the $x$ interval in half, as $xin[1,1.5]$ and $xin[1.5,2]$. I may end up measuring a portion of the graph multiple times by including boundaries in every subdivision, but this does not hurt the result. Taking the $x$ side of the equation again, we first have
$$8([1,1.5]^3-[1,1.5])=8([1,3.375]-[1,1.5])\
=8([-0.5,2.375])=[-4,19]$$
which again clearly overlaps $left[frac e2,e^2right]$. The other subdivision works out as
$$8([1.5,2]^3-[1.5,2])=8([3.375,8]-[1.5,2])\
=8([1.375,6.5])=[11,52]$$
Now, as $e^2lt 9lt 11$, we see that this interval does not overlap $left[frac e2,e^2right]$, so we know that the graph does not pass through this portion of the area.
It should be fairly clear how easy this approach is, but the degree of tedium is significant. This method is very good for a computer to use for graphing for these reasons, plus the fact that the rules of interval arithmetic make it so that it is possible to "prove" that a graph matches a given function. There are no limits on how many variables and how complex the equation is for interval arithmetic to be applied, the only limitation is whether a given equation will produce usable results in a reasonable time frame. I don't have specific examples on hand, but there were many times where I was dealing with complex functions for which my favorite graphing program "Grafeq" would fail to obtain results.
answered Jul 21 at 5:11
abiessu
6,61721540
Thank you for explaining a more general method for solving the example problem. I am glad my intuition was correct about the 3D visualization. Could this method be extended to cases where the explicit functions are not given, only the graphs of $u=f(y)$ and $u=g(x)$? For example you can sketch the graph of $y=p(x)q(x)$ by "multiplying" the y value of $y=p(x)$ and $y=q(x)$ by eye, without needed to know their explicit formulas.
– packetpacket
Jul 23 at 14:39
add a comment |Â
up vote
1
down vote
up vote
1
down vote
For how to think about it, consider that both $u=8(x^3-x)$ and $u=y^-1e^y$ can be treated as $3$-d graphs, where in the first graph $y$ takes on any value, and so looking from the $xy$ perspective we get what looks like the plane completely filled, and from the second graph we have the same for $x$, and so the plane looks full again. The intersection of these two graphs by lining up the axes and viewing from the $xy$ perspective is the graph of $8(x^3-x)=y^-1e^y$.
Performing this intersection by hand is tedious, but interval arithmetic is an effective tool. I will demonstrate just a small part of how this is done for the area given by $(x,y)in [1,2]^2$.
First, verify that the graph passes through this area. So for the $x$ portion we have
$$beginalign
&8([1,2]^3-[1,2])\=&8([1,8]-[1,2])\=&8([-1,7])\=&[-8,56]
endalign$$
and the $y$ portion becomes
$$beginalign
&[1,2]^-1e^[1,2]\
=&left[frac 12,1right]cdot[e^1,e^2]\
=&left[frac e2,e^2right]
endalign$$
The decision of whether the graph passes through this area then becomes a question of whether the two intervals shown above have an overlap. Since $56 ge e^2$ and $-8le frac e2$, the overlap is present. Now we subdivide the area and check each subdivision. This particular equation has the variables separated, so if I choose to subdivide only one direction at a time, the interval associated with the other variable does not change. I will choose to subdivide the $x$ interval in half, as $xin[1,1.5]$ and $xin[1.5,2]$. I may end up measuring a portion of the graph multiple times by including boundaries in every subdivision, but this does not hurt the result. Taking the $x$ side of the equation again, we first have
$$8([1,1.5]^3-[1,1.5])=8([1,3.375]-[1,1.5])\
=8([-0.5,2.375])=[-4,19]$$
which again clearly overlaps $left[frac e2,e^2right]$. The other subdivision works out as
$$8([1.5,2]^3-[1.5,2])=8([3.375,8]-[1.5,2])\
=8([1.375,6.5])=[11,52]$$
Now, as $e^2lt 9lt 11$, we see that this interval does not overlap $left[frac e2,e^2right]$, so we know that the graph does not pass through this portion of the area.
It should be fairly clear how easy this approach is, but the degree of tedium is significant. This method is very good for a computer to use for graphing for these reasons, plus the fact that the rules of interval arithmetic make it so that it is possible to "prove" that a graph matches a given function. There are no limits on how many variables and how complex the equation is for interval arithmetic to be applied, the only limitation is whether a given equation will produce usable results in a reasonable time frame. I don't have specific examples on hand, but there were many times where I was dealing with complex functions for which my favorite graphing program "Grafeq" would fail to obtain results.
answered Jul 21 at 5:11
abiessu
6,61721540
For how to think about it, consider that both $u=8(x^3-x)$ and $u=y^-1e^y$ can be treated as $3$-d graphs, where in the first graph $y$ takes on any value, and so looking from the $xy$ perspective we get what looks like the plane completely filled, and from the second graph we have the same for $x$, and so the plane looks full again. The intersection of these two graphs by lining up the axes and viewing from the $xy$ perspective is the graph of $8(x^3-x)=y^-1e^y$.
Performing this intersection by hand is tedious, but interval arithmetic is an effective tool. I will demonstrate just a small part of how this is done for the area given by $(x,y)in [1,2]^2$.
First, verify that the graph passes through this area. So for the $x$ portion we have
$$beginalign
&8([1,2]^3-[1,2])\=&8([1,8]-[1,2])\=&8([-1,7])\=&[-8,56]
endalign$$
and the $y$ portion becomes
$$beginalign
&[1,2]^-1e^[1,2]\
=&left[frac 12,1right]cdot[e^1,e^2]\
=&left[frac e2,e^2right]
endalign$$
The decision of whether the graph passes through this area then becomes a question of whether the two intervals shown above have an overlap. Since $56 ge e^2$ and $-8le frac e2$, the overlap is present. Now we subdivide the area and check each subdivision. This particular equation has the variables separated, so if I choose to subdivide only one direction at a time, the interval associated with the other variable does not change. I will choose to subdivide the $x$ interval in half, as $xin[1,1.5]$ and $xin[1.5,2]$. I may end up measuring a portion of the graph multiple times by including boundaries in every subdivision, but this does not hurt the result. Taking the $x$ side of the equation again, we first have
$$8([1,1.5]^3-[1,1.5])=8([1,3.375]-[1,1.5])\
=8([-0.5,2.375])=[-4,19]$$
which again clearly overlaps $left[frac e2,e^2right]$. The other subdivision works out as
$$8([1.5,2]^3-[1.5,2])=8([3.375,8]-[1.5,2])\
=8([1.375,6.5])=[11,52]$$
Now, as $e^2lt 9lt 11$, we see that this interval does not overlap $left[frac e2,e^2right]$, so we know that the graph does not pass through this portion of the area.
It should be fairly clear how easy this approach is, but the degree of tedium is significant. This method is very good for a computer to use for graphing for these reasons, plus the fact that the rules of interval arithmetic make it so that it is possible to "prove" that a graph matches a given function. There are no limits on how many variables and how complex the equation is for interval arithmetic to be applied, the only limitation is whether a given equation will produce usable results in a reasonable time frame. I don't have specific examples on hand, but there were many times where I was dealing with complex functions for which my favorite graphing program "Grafeq" would fail to obtain results.
answered Jul 21 at 5:11
abiessu
6,61721540
answered Jul 21 at 5:11
abiessu
6,61721540
answered Jul 21 at 5:11
abiessu
6,61721540
answered Jul 21 at 5:11
abiessu
6,61721540
6,61721540
Thank you for explaining a more general method for solving the example problem. I am glad my intuition was correct about the 3D visualization. Could this method be extended to cases where the explicit functions are not given, only the graphs of $u=f(y)$ and $u=g(x)$? For example you can sketch the graph of $y=p(x)q(x)$ by "multiplying" the y value of $y=p(x)$ and $y=q(x)$ by eye, without needed to know their explicit formulas.
– packetpacket
Jul 23 at 14:39
add a comment |Â
Thank you for explaining a more general method for solving the example problem. I am glad my intuition was correct about the 3D visualization. Could this method be extended to cases where the explicit functions are not given, only the graphs of $u=f(y)$ and $u=g(x)$? For example you can sketch the graph of $y=p(x)q(x)$ by "multiplying" the y value of $y=p(x)$ and $y=q(x)$ by eye, without needed to know their explicit formulas.
– packetpacket
Jul 23 at 14:39
Thank you for explaining a more general method for solving the example problem. I am glad my intuition was correct about the 3D visualization. Could this method be extended to cases where the explicit functions are not given, only the graphs of $u=f(y)$ and $u=g(x)$? For example you can sketch the graph of $y=p(x)q(x)$ by "multiplying" the y value of $y=p(x)$ and $y=q(x)$ by eye, without needed to know their explicit formulas.
– packetpacket
Jul 23 at 14:39
Thank you for explaining a more general method for solving the example problem. I am glad my intuition was correct about the 3D visualization. Could this method be extended to cases where the explicit functions are not given, only the graphs of $u=f(y)$ and $u=g(x)$? For example you can sketch the graph of $y=p(x)q(x)$ by "multiplying" the y value of $y=p(x)$ and $y=q(x)$ by eye, without needed to know their explicit formulas.
– packetpacket
Jul 23 at 14:39
add a comment |Â
up vote
1
down vote
The system
beginalign
y^-1exp(y) &= 8(x^3-x)
endalign
has a solution for $y$ in terms of Lambert W function,
beginalign
-yexp(-y) &= -frac18(x^3-x)
,\
operatornameW(-yexp(-y))
&= operatornameWleft(-frac18(x^3-x)right)
,\
y&=
-operatornameWleft(-frac18(x^3-x)right)
tag1label1
.
endalign
For real solutions
we need to consider two branches
beginalign
y_0(x)&=
-operatornameW_0left(-frac18(x^3-x)right)
tag2label2
,\
textand quad
y_1(x)&=
-operatornameW_-1left(-frac18(x^3-x)right)
tag3label3
.
endalign
But first, we need to consider
the argument $t$ of $operatornameW$:
beginalign
t(x)&=-frac18(x^3-x)
=-frac18x(x-1)(x+1)
tag4label4
.
endalign
It is not difficult to make a sketch of eqref4:
$$
beginarrayccccc
hline
&x-textrange & t-textrange & y(x) & y-textrange
\ hline
1&(-infty,-1) & (0,infty) & colorred-operatornameW_0(t) & colorred(-infty,0)
\
2&(-1,x_1) & (-infty,-tfrac1mathrme) & - & -
\
3&text[x_1,x_2text] & text[-tfrac1mathrme,-tfrac3sqrt316text] & colorred-operatornameW_0(t),
colorblue-operatornameW_-1(t)
& colorredtext[-operatornameW_0(-tfrac3sqrt316),1text]
cup
colorblue(1,-operatornameW_-1(-tfrac3sqrt316)text]
\
4&(x_2,0) & (-infty,-tfrac1mathrme) & - & -
\
5&(0,1) & (tfrac3sqrt316,infty) & colorred-operatornameW_0(t) &colorred(-infty,-operatornameW_0(tfrac3sqrt316)text]
\
6&(1,x_3) & (-infty,-tfrac1mathrme) & - & -
\
7&text[x_3,infty) & text[-tfrac1mathrme,0)
& colorred-operatornameW_0(t),
colorblue-operatornameW_-1(t)
& colorred(0,1]cupcolorblue(1,infty)
\ hline
endarray
$$
Values of $x_1,x_2,x_3$
are solutions of
beginalign
t(x)&=-frac1mathrme
,
endalign
or the cubic roots of
beginalign
8x^3-8x-mathrme&=0
,
endalign
and can be found as
beginalign
x_1&=-tfrac2sqrt33cosleft(tfracpi3
-tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx -0.731986
,\
x_2&=-tfrac2sqrt33cosleft(tfracpi3
+tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx -0.4074
,\
x_3&=tfrac2sqrt33cosleft(
tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx 1.13939
.
endalign
answered Jul 21 at 17:33
g.kov
5,5321717
Thank you for the very in depth analysis of the example. However I am looking for a more general method. Ideally, the method wouldn't require the functions but just the graphs themselves. In this case it was possible to break down the given functions into various ranges, but in more complex situations this might not be feasible.
– packetpacket
Jul 23 at 14:25
add a comment |Â
up vote
1
down vote
The system
beginalign
y^-1exp(y) &= 8(x^3-x)
endalign
has a solution for $y$ in terms of Lambert W function,
beginalign
-yexp(-y) &= -frac18(x^3-x)
,\
operatornameW(-yexp(-y))
&= operatornameWleft(-frac18(x^3-x)right)
,\
y&=
-operatornameWleft(-frac18(x^3-x)right)
tag1label1
.
endalign
For real solutions
we need to consider two branches
beginalign
y_0(x)&=
-operatornameW_0left(-frac18(x^3-x)right)
tag2label2
,\
textand quad
y_1(x)&=
-operatornameW_-1left(-frac18(x^3-x)right)
tag3label3
.
endalign
But first, we need to consider
the argument $t$ of $operatornameW$:
beginalign
t(x)&=-frac18(x^3-x)
=-frac18x(x-1)(x+1)
tag4label4
.
endalign
It is not difficult to make a sketch of eqref4:
$$
beginarrayccccc
hline
&x-textrange & t-textrange & y(x) & y-textrange
\ hline
1&(-infty,-1) & (0,infty) & colorred-operatornameW_0(t) & colorred(-infty,0)
\
2&(-1,x_1) & (-infty,-tfrac1mathrme) & - & -
\
3&text[x_1,x_2text] & text[-tfrac1mathrme,-tfrac3sqrt316text] & colorred-operatornameW_0(t),
colorblue-operatornameW_-1(t)
& colorredtext[-operatornameW_0(-tfrac3sqrt316),1text]
cup
colorblue(1,-operatornameW_-1(-tfrac3sqrt316)text]
\
4&(x_2,0) & (-infty,-tfrac1mathrme) & - & -
\
5&(0,1) & (tfrac3sqrt316,infty) & colorred-operatornameW_0(t) &colorred(-infty,-operatornameW_0(tfrac3sqrt316)text]
\
6&(1,x_3) & (-infty,-tfrac1mathrme) & - & -
\
7&text[x_3,infty) & text[-tfrac1mathrme,0)
& colorred-operatornameW_0(t),
colorblue-operatornameW_-1(t)
& colorred(0,1]cupcolorblue(1,infty)
\ hline
endarray
$$
Values of $x_1,x_2,x_3$
are solutions of
beginalign
t(x)&=-frac1mathrme
,
endalign
or the cubic roots of
beginalign
8x^3-8x-mathrme&=0
,
endalign
and can be found as
beginalign
x_1&=-tfrac2sqrt33cosleft(tfracpi3
-tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx -0.731986
,\
x_2&=-tfrac2sqrt33cosleft(tfracpi3
+tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx -0.4074
,\
x_3&=tfrac2sqrt33cosleft(
tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx 1.13939
.
endalign
answered Jul 21 at 17:33
g.kov
5,5321717
Thank you for the very in depth analysis of the example. However I am looking for a more general method. Ideally, the method wouldn't require the functions but just the graphs themselves. In this case it was possible to break down the given functions into various ranges, but in more complex situations this might not be feasible.
– packetpacket
Jul 23 at 14:25
add a comment |Â
up vote
1
down vote
up vote
1
down vote
The system
beginalign
y^-1exp(y) &= 8(x^3-x)
endalign
has a solution for $y$ in terms of Lambert W function,
beginalign
-yexp(-y) &= -frac18(x^3-x)
,\
operatornameW(-yexp(-y))
&= operatornameWleft(-frac18(x^3-x)right)
,\
y&=
-operatornameWleft(-frac18(x^3-x)right)
tag1label1
.
endalign
For real solutions
we need to consider two branches
beginalign
y_0(x)&=
-operatornameW_0left(-frac18(x^3-x)right)
tag2label2
,\
textand quad
y_1(x)&=
-operatornameW_-1left(-frac18(x^3-x)right)
tag3label3
.
endalign
But first, we need to consider
the argument $t$ of $operatornameW$:
beginalign
t(x)&=-frac18(x^3-x)
=-frac18x(x-1)(x+1)
tag4label4
.
endalign
It is not difficult to make a sketch of eqref4:
$$
beginarrayccccc
hline
&x-textrange & t-textrange & y(x) & y-textrange
\ hline
1&(-infty,-1) & (0,infty) & colorred-operatornameW_0(t) & colorred(-infty,0)
\
2&(-1,x_1) & (-infty,-tfrac1mathrme) & - & -
\
3&text[x_1,x_2text] & text[-tfrac1mathrme,-tfrac3sqrt316text] & colorred-operatornameW_0(t),
colorblue-operatornameW_-1(t)
& colorredtext[-operatornameW_0(-tfrac3sqrt316),1text]
cup
colorblue(1,-operatornameW_-1(-tfrac3sqrt316)text]
\
4&(x_2,0) & (-infty,-tfrac1mathrme) & - & -
\
5&(0,1) & (tfrac3sqrt316,infty) & colorred-operatornameW_0(t) &colorred(-infty,-operatornameW_0(tfrac3sqrt316)text]
\
6&(1,x_3) & (-infty,-tfrac1mathrme) & - & -
\
7&text[x_3,infty) & text[-tfrac1mathrme,0)
& colorred-operatornameW_0(t),
colorblue-operatornameW_-1(t)
& colorred(0,1]cupcolorblue(1,infty)
\ hline
endarray
$$
Values of $x_1,x_2,x_3$
are solutions of
beginalign
t(x)&=-frac1mathrme
,
endalign
or the cubic roots of
beginalign
8x^3-8x-mathrme&=0
,
endalign
and can be found as
beginalign
x_1&=-tfrac2sqrt33cosleft(tfracpi3
-tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx -0.731986
,\
x_2&=-tfrac2sqrt33cosleft(tfracpi3
+tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx -0.4074
,\
x_3&=tfrac2sqrt33cosleft(
tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx 1.13939
.
endalign
answered Jul 21 at 17:33
g.kov
5,5321717
The system
beginalign
y^-1exp(y) &= 8(x^3-x)
endalign
has a solution for $y$ in terms of Lambert W function,
beginalign
-yexp(-y) &= -frac18(x^3-x)
,\
operatornameW(-yexp(-y))
&= operatornameWleft(-frac18(x^3-x)right)
,\
y&=
-operatornameWleft(-frac18(x^3-x)right)
tag1label1
.
endalign
For real solutions
we need to consider two branches
beginalign
y_0(x)&=
-operatornameW_0left(-frac18(x^3-x)right)
tag2label2
,\
textand quad
y_1(x)&=
-operatornameW_-1left(-frac18(x^3-x)right)
tag3label3
.
endalign
But first, we need to consider
the argument $t$ of $operatornameW$:
beginalign
t(x)&=-frac18(x^3-x)
=-frac18x(x-1)(x+1)
tag4label4
.
endalign
It is not difficult to make a sketch of eqref4:
$$
beginarrayccccc
hline
&x-textrange & t-textrange & y(x) & y-textrange
\ hline
1&(-infty,-1) & (0,infty) & colorred-operatornameW_0(t) & colorred(-infty,0)
\
2&(-1,x_1) & (-infty,-tfrac1mathrme) & - & -
\
3&text[x_1,x_2text] & text[-tfrac1mathrme,-tfrac3sqrt316text] & colorred-operatornameW_0(t),
colorblue-operatornameW_-1(t)
& colorredtext[-operatornameW_0(-tfrac3sqrt316),1text]
cup
colorblue(1,-operatornameW_-1(-tfrac3sqrt316)text]
\
4&(x_2,0) & (-infty,-tfrac1mathrme) & - & -
\
5&(0,1) & (tfrac3sqrt316,infty) & colorred-operatornameW_0(t) &colorred(-infty,-operatornameW_0(tfrac3sqrt316)text]
\
6&(1,x_3) & (-infty,-tfrac1mathrme) & - & -
\
7&text[x_3,infty) & text[-tfrac1mathrme,0)
& colorred-operatornameW_0(t),
colorblue-operatornameW_-1(t)
& colorred(0,1]cupcolorblue(1,infty)
\ hline
endarray
$$
Values of $x_1,x_2,x_3$
are solutions of
beginalign
t(x)&=-frac1mathrme
,
endalign
or the cubic roots of
beginalign
8x^3-8x-mathrme&=0
,
endalign
and can be found as
beginalign
x_1&=-tfrac2sqrt33cosleft(tfracpi3
-tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx -0.731986
,\
x_2&=-tfrac2sqrt33cosleft(tfracpi3
+tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx -0.4074
,\
x_3&=tfrac2sqrt33cosleft(
tfrac13arctanleft(sqrttfrac25627mathrme^2-1right)right)
approx 1.13939
.
endalign
answered Jul 21 at 17:33
g.kov
5,5321717
answered Jul 21 at 17:33
g.kov
5,5321717
answered Jul 21 at 17:33
g.kov
5,5321717
answered Jul 21 at 17:33
g.kov
5,5321717
5,5321717
Thank you for the very in depth analysis of the example. However I am looking for a more general method. Ideally, the method wouldn't require the functions but just the graphs themselves. In this case it was possible to break down the given functions into various ranges, but in more complex situations this might not be feasible.
– packetpacket
Jul 23 at 14:25
add a comment |Â
Thank you for the very in depth analysis of the example. However I am looking for a more general method. Ideally, the method wouldn't require the functions but just the graphs themselves. In this case it was possible to break down the given functions into various ranges, but in more complex situations this might not be feasible.
– packetpacket
Jul 23 at 14:25
Thank you for the very in depth analysis of the example. However I am looking for a more general method. Ideally, the method wouldn't require the functions but just the graphs themselves. In this case it was possible to break down the given functions into various ranges, but in more complex situations this might not be feasible.
– packetpacket
Jul 23 at 14:25
Thank you for the very in depth analysis of the example. However I am looking for a more general method. Ideally, the method wouldn't require the functions but just the graphs themselves. In this case it was possible to break down the given functions into various ranges, but in more complex situations this might not be feasible.
– packetpacket
Jul 23 at 14:25
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2856852%2fhow-to-sketch-an-xy-graph-from-a-yu-and-xu-graph%23new-answer', 'question_page');
);
Post as a guest
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
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
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
One tedious way to do this by hand is to use interval arithmetic and break each area to be graphed into successively smaller pieces until you reach your desired precision limit, or until you know that the graph does not pass through the portion of the area that you are looking at.
– abiessu
Jul 19 at 17:16