Classifying a PDE's order and linearity

  • Thread starter Thread starter docnet
  • Start date Start date
  • Tags Tags
    Linearity
Click For Summary
The discussion focuses on classifying a system of first-order partial differential equations (PDEs) based on the nature of the functions f1 and f2. If these functions are linear in u1 and u2, the PDEs are classified as linear; if they are quasilinear, the coefficients of the highest derivatives depend on lower derivatives. An example provided illustrates that if f1 involves trigonometric functions, the PDEs become quasilinear. The conversation clarifies that fully nonlinear PDEs would require a dependence on the highest derivatives that is nonlinear, which is not possible in this case due to the nature of the functions involved. The participants reach a consensus on the definitions and classifications of the PDEs discussed.
docnet
Messages
796
Reaction score
489
Homework Statement
State the system of PDEs order and whether they are linear, semi-linear, quasilinear, or fully nonlinear.
Relevant Equations
The equations of conservation laws.
##\partial_t u_1 = \partial_x (f_1(u_1, u_2))##
##\partial_ t u_2 = \partial_x (f_2(u_1, u_2))##
please see below.
 
Last edited:
Physics news on Phys.org
We have the following equations of conversation laws.

##
\partial_t u_1 = \partial_x (f_1(u_1, u_2))##
##\partial_ t u_2 = \partial_x (f_2(u_1, u_2))
##This is a system of first order PDEs, because the highest derivatives are of order 1. The nature of the functions ##f_1## and ##f_2## are not given, so we assume the linearity of the PDEs depend on these functions. If the functions ##f_1## and ##f_2## are linear in both ##u_1## and ##u_2##, the PDEs are linear. if the functions ##f_1## and ##f_2##are not linear in ##u_1## and ##u_2##, we have quasilinear PDEs because the coefficients of the highest derivatives depend on lower derivatives.
 
What if say ##f_1(u_1,u_2)=\sin u_1+\frac{1}{\cos u_2}## isn't then the PDEs full non linear?
 
  • Like
Likes docnet
@Delta2
Then we have

##\partial_t u_1 = \partial_x (\sin u_1+\frac{1}{\cos u_2})##
##\partial_t u_1 = cos(u_1)\partial_x u_1 +sec(u_2)tan(u_2)\partial_x u_2##

and our highest derivatives ##\partial_x u_1## and ##\partial_x u_2## depend on trigonometric functions of ##u_1## and ##u_2##, which means our PDE is quasilinear.

We learned a PDE is quasilinear if the coefficients of highest derivatives only depend on lower derivatives. a PDE is fully nonlinear if the dependence on highest derivatives is nonlinear, for example, when we have ##(\partial_x u_1)^2## in a term. Am I misunderstanding the definitions?
 
  • Like
Likes Delta2
docnet said:
We learned a PDE is quasilinear if the coefficients of highest derivatives only depend on lower derivatives. a PDE is fully nonlinear if the dependence on highest derivatives is nonlinear, for example, when we have (∂xu1)2 in a term. Am I misunderstanding the definitions?
I see, hmm, then if those are your definitions of quasilinear and non linear then I think you are correct.
 
  • Like
Likes docnet
@Delta thank you

So we have a system of PDEs whose properties depend on our functions ##f_1## and ##f_2##.

(1) If ##f_1## and ##f_2## are both linear in both ##u_1## and ##u_2##, our PDEs are linear with constant coefficients.

(2) If ##f_1## and ##f_2## result in derivatives whose coefficients are functions of ##u_1## and ##u_2##, our PDEs are quasilinear, because the coefficients of the highest derivatives are functions of ##u_1## and ##u_2##.

For example, for ##f_1 = (\sin u_1+\frac{1}{\cos u_2}) ## we have ##\partial_x (\sin u_1+\frac{1}{\cos u_2}) = cos(u_1)\partial_x u_1 +sec(u_2)tan(u_2)\partial_x u_2##.

(3) If ##f_1## and ##f_2## result in derivatives whose coefficients are functions ##f(x, t)##, our PDEs are semi-linear, because the coefficients of the highest derivatives only depend on ##x## and ##t##.

(4) If ##f_1## and ##f_2## result in PDEs whose dependence on highest derivatives is nonlinear, then we have fully nonlinear PDE.

I am not sure if the case is possible, for I cannot think of an example.
 
Last edited:
No case (4) is not possible for these PDEs because from the chain rule we get $$\partial_x f_1(u_1,u_2)=\partial_{u_1}f_1\partial_x u_1+\partial_{u_2}f_1\partial_x u_2$$ so the derivatives ##\partial_x u_1,\partial_x u_2## appear as they are, without being raised to powers or anything else.
 
  • Like
Likes docnet
I am sorry, for my last post to make sense, I should have explained that
##u_1, u_2 : t × x → R## and ##f_1, f_2 : R^2 → R ##

Delta2 said:
No case (4) is not possible for these PDEs because from the chain rule we get $$\partial_x f_1(u_1,u_2)=\partial_{u_1}f_1\partial_x u_1+\partial_{u_2}f_1\partial_x u_2$$ so the derivatives ##\partial_x u_1,\partial_x u_2## appear as they are, without being raised to powers or anything else.

Thank you! I understand now.
 

Similar threads

Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
2
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
1
Views
2K