Solving a system of multivariable equations

  • Context: MHB 
  • Thread starter Thread starter maxjohnson
  • Start date Start date
  • Tags Tags
    Multivariable System
Click For Summary
SUMMARY

The discussion focuses on solving a system of multivariable equations defined by the equations x*e^y + y*f(z) = a and x*g(x,y) + z^2 = b, where f(z) and g(x,y) are differentiable functions. Participants emphasize the importance of expressing the derivatives dx/dz and dy/dz using the Implicit Function Theorem. The conversation highlights the necessity of ensuring the non-singularity of the Jacobian matrix D_1F to apply the theorem effectively, allowing for the differentiation of the implicit function G(z) defined by the system.

PREREQUISITES
  • Understanding of multivariable calculus, specifically the Implicit Function Theorem
  • Familiarity with differentiable functions and their properties
  • Knowledge of partial derivatives and Jacobian matrices
  • Ability to manipulate and differentiate implicit equations
NEXT STEPS
  • Study the Implicit Function Theorem and its applications in multivariable calculus
  • Learn how to compute Jacobian matrices for systems of equations
  • Explore examples of differentiating implicit functions in practical scenarios
  • Investigate the properties of differentiable functions and their continuity
USEFUL FOR

Mathematicians, engineering students, and anyone involved in solving complex systems of equations, particularly those interested in multivariable calculus and its applications.

maxjohnson
Messages
2
Reaction score
0
Consider the equation system

x*e^y + y*f(z) = a
x*g(x,y) +z^2 = b

where f(z) and g(x,y) are differentiable functions, and a and b are constants. Suppose that the system defines x and y as differentiable functions of z. Find expressions for dx/dz and dy/dz.

Any help would be appreciated!

Thank you!
 
Physics news on Phys.org
Hello maxjohnson and welcome to MHB! :D

We ask that our users show their progress (work thus far or thoughts on how to begin) when posting questions. This way our helpers can see where you are stuck or may be going astray and will be able to post the best help possible without potentially making a suggestion which you have already tried, which would waste your time and that of the helper.

Can you post what you have done so far?
 
This is what I’ve got so far:

1. dxe^y + dyxe^y + dyf(z) + yf’(z)dz = 0

2. g(x,y) + x(dg(x,y)/dx)dx + x(dg(x,y)/dy)dy = -2zdz
 
maxjohnson said:
This is what I’ve got so far:

1. dxe^y + dyxe^y + dyf(z) + yf’(z)dz = 0

2. g(x,y) + x(dg(x,y)/dx)dx + x(dg(x,y)/dy)dy = -2zdz

Hi maxjohnson! Welcome to MHB! (Smile)

Good.
Now divide both equations by dz, so that they will contain $\d x z$ and $\d y z$.
That means we have 2 equations with $\d x z$ and $\d y z$ as unknowns, which we can solve can't we? (Wondering)
(Click Reply With Quote if you want to know how to format derivatives like that.)
 
I'm not so fond of treating derivatives as quotients of differentials, but I think formally it works out here.

Without wanting to be argumentative, I would like to add some comments that I hope could be helpful for the OP and/or others. The original system from post #1 is
\[
\left\{
\begin{aligned}
x e^y + y f(z) &= a\\
x g(x,y) +z^2 &= b
\end{aligned}
\right.
\]
It was given that the system defines $x$ and $y$ as differentiable functions of $z$, but how do we find out whether this is indeed the case? This can be done together with the rest of the problem along the following lines, at least locally and provided that we are allowed to assume additionally that the derivatives of $f$ and $g$ are continuous.

The above system can be written as $F(x,y,z) = 0$ with $F : \mathbb{R}^2 \times \mathbb{R} \to \mathbb{R}^2$ given by
\[
F(x, y, z) =
\begin{pmatrix}
x e^y + y f(z) - a\\
x g(x,y) +z^2 - b
\end{pmatrix}
\]
Let $D_1F$ be the partial derivative of $F$ with respect to its first two arguments. At any point $(x_0,y_0,z_0) \in \mathbb{R}^3$ where $F(x_0,y_0,z_0) = 0$ and the $2 \times 2$ matrix $D_1F(x_0,y_0,z_0)$ is non-singular, the Implicit Function Theorem applies: There exists a continuously differentiable function $G$, defined in a neighborhood $U$ of $z_0$ and taking values in a neigborhood $V$ of $(x_0,y_0)$, such that for each $z \in U$ the equation $F(x,y,z) = 0$ has the unique solution $G(z) \in V$. We may differentiate the relation $F(G(z),z) = 0$ with respect to $z \in U$ to find
\[
D_1F(G(z),z)DG(z) + D_2F(G(z),z) = 0,
\]
so $DG(z) = -[D_1F(G(z),z)]^{-1}D_2F(G(z),z)$ for all $z \in U$. (The non-singularity of $D_1F(G(z_0),z_0)$ and the continuity of the derivatives of $f$ and $g$ are used together to ensure that the matrix inverse exists for $z$ near $z_0$.)
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
935
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K