Classifying a PDE's order and linearity

  • Thread starter Thread starter docnet
  • Start date Start date
  • Tags Tags
    Linearity
Click For Summary

Homework Help Overview

The discussion revolves around classifying the order and linearity of a system of partial differential equations (PDEs) derived from conservation laws. The equations involve functions of two variables, and participants explore the implications of different forms of these functions on the nature of the PDEs.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the classification of PDEs as linear, quasilinear, semi-linear, or fully nonlinear based on the nature of the functions involved. Questions arise regarding specific examples and definitions, particularly concerning the implications of trigonometric functions on the linearity of the equations.

Discussion Status

The conversation is active, with participants examining definitions and providing examples to clarify their understanding of the classifications. There is acknowledgment of the complexity of the definitions, and some participants express uncertainty about specific cases, particularly regarding fully nonlinear PDEs.

Contextual Notes

Participants note that the functions involved, ##f_1## and ##f_2##, significantly influence the classification of the PDEs. There is a mention of constraints related to the chain rule and the behavior of derivatives in the context of the discussed equations.

docnet
Messages
796
Reaction score
487
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   Reactions: 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   Reactions: 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   Reactions: 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   Reactions: 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
3K
  • · 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