Professional Documents
Culture Documents
>
(1) Basic Definitions for Partial Differential Equations (PDEs ). The definitions are used
to classify PDEs. PDEs in one class all have the same solution form (or lack thereof ),
and similar properties.
o 2u o
A (x, y )- 2 +2B (x , y )-
2
u o
2
u OU OU
+C (x,y )- ') +D (x , y )- +E (x,y )- +F(x , y )u = G(x , y )
0x 0x0y 0 y· 0x 0y
. .·
(i) In order to have unique solutions, second order PD Es require the following
boundary conditions:
• Parabolic: D or N BCs on the open boundary, and D, N or M BCs on the
closed boundary.
• Elliptic: D,N, or M BCs on closed boundaries.
•Hyperbolic: CBC on open boundary and D,N, or M BCs on closed boundary.
(2) Solutions for Special Ordinary Differential Equations (ODEs). An ODE is a special
case of a PDE when there is only a single independent variable x.
du P (x )
dx = Q(u )
where P and Q are arbitrary functions , then it has solution given by:
j Q(u)du = j P (x )dx + C
where C is a constant.
(b) Linear, First-Order: is of the type
du
dx + P (x)u = Q(x )
and has solution
_ J Q(x) µ (x )dx + C
( )
u x - µ(x)
where
µ (x ) :=exp[/ P(x )dx]
d2 u du
dx 2 +a dx +bu= 0, a, b real
has characteristic roots defined by >i 2 +a>i+b = 0, which has the two solutions:
.)
• Both lambdas are real and A+ = )._ =>. :
u( x ) = c1 exp ( >.x ) + xc2 exp (>. x )
2 d2u du
x dx 2 + ax dx + bu = 0, a, b real
d2u du
-dt 2 + (a - 1)-
dt
+ bu = 0
which may be solved as above for u(t ), then u(t =log x ).
(e) N onhomogeneous, Second Order :
d2u du
dx 2 +a dx +bu= R (x ), a, b real
The general solution is the sum of the homogeneus solutions found above, plus
the particular solutions up (x ) given below
• Both lambdas are real and distinct:
exp(>.+x )
up (x ) = >.+ _ )._
j exp(->.+x )R (x )dx - exp(>._x )
>-+ _ )._
j exp (->._ x) R (x) dx
• Both lambdas are real and >-+ = )._ = >.:
up( x ) = xexp(>.x) j exp(->.x )R(x)dx - exp(>.x ) j xexp(- >.x )R(x )dx
• Bo th lambdas are imaginary: A± = p ±qi, p = -a / 2, q = Jb - a 2 / 4:
u p( x ) =
exp(px ) sin ( qx )
q
j exp(-px ) cos (qx )R (x )dx-
exp(px ) cos (qx )
q
j exp (-px ) sin (qx )R (x )dx
(f) Equidimensional linear ODEs: These can be written in the form
where the an are constants. If Q(x) = 0, then these can often be solved by
assuming a polynomial of the form
n=-oo
:: :=log x, x = exp(z)
2 <Pu du ( 2 2 2
x - 2
dx
+ xdx
-+ a x - n )u =.0, n is a positive integer
has solution
u(x) = c1Jn(ax) + c2Yn(ax)
where ln is the Bessel function of the first kind, order n, and Yn is the Bessel
function of the second kind , order n. These are tabulated in Abramowitz and
Stegun, for example, and are available in many standard software packages
and symbollic manipulators. These have differentiation formulae and many
recursion formulae given below.
(h) Modified Bessel's Equation:
., dzu du 2 2 2
x - -2
- dx
+ xdx- - (a x - n )u = 0.· n is a positive inte 0uer
has solution
0.5
Function
Value
0
-0 .5
-1
0 2 4 6 8 10 12 14
x
Figure 1: Functional dependence of the first two Bessel functions of the first kind ln and of the
second kind}~ . Higher order functions can be related to these two through the recurrence relations.
where In is the modified Bessel function of the first kind , order n , and Kn
is the modified Bessel function of the second kind , order n". These are also
tabulated.
• Differentiation Formulae:
• Recursion Formulae:
2n
Zn - i (ax ) = -Zn (ax ) - Zn+1 (ax ),
ax
for Z =J, Y
d n
-d [Zn ( ax )] = -Zn (ax ) ± Zn+1 (ax ),
x ax
- for Z = J, Y, ]{ and + for Z = I
2n
Zn-1 (ax ) = ±-Zn(ax ) + Zn+l (ax ),
ax -
+ for Z =I and - for Z = f{
:)
Similar relations hold for the other derivatives, and the expression is easily generalized
to a different number of independent variables.
d rb rb a f ab 8a
dt la f(x , t)dx =la Ftdx + atf(b, t) - 8t J (a, t )
(b) Generalization of Leibnitz ,.s Rule for Differentiating an Integral to Multiple
Dimensions: The integral is taken over the entire volume V (i.e., J actually
represents more than one integral), and s(r, t) is a scalar field that is in general
a function of position r and time t.,
where S represents the whole surface of the volume, V is the enclosed volume,
n is the unit outward normal vector of the surface element dS , and the gradient
operator is defined
3 a
\J := 2::>5i-
i=l axi
6; is the unit vector in the x; direction (x 1 = x,x 2 = y,x 3 = z) .