8 Sign-Invariants and Exact Solutions 395
equation in radial geometry
P[u] ≡ u
t
− L(r, u, u
r
, u
rr
) = 0, (8.43)
where r > 0 denotes |x|,andL(r, u, p, q) satisfies the parabolicity condition (8.11).
We take the SI in the general form
H[u] = H (r, u, u
r
), (8.44)
where smooth H (r, u, p) satisfies H
p
> 0. By H
∗
(r, u, s) we denote the inverse
function such that
H (r, u, H
∗
(r, u, s)) ≡ s for (r, u, s) ∈ IR
+
× IR × IR .
We will set h(r, u) = H
∗
(r, u, 0) and use other notations from the previous sec-
tion. In particular, in the functions L, H , and their derivatives L
r
, L
u
,..., H
r
, H
u
,...,
variables p and q are replaced by h(r, u) and h
r
+ h
u
h respectively.
Theorem 8.11
Operator
(8.44)
is a sign-invariant of the equation
(8.43)
if
H
satis-
fies the following identity for all
(r, u) ∈ IR
+
× IR
:
F(r, u) =−h
u
L + L
r
+ L
u
h + L
p
(h
r
+ h
u
h)
+ L
q
h
rr
+ 2h
ru
h + h
uu
h
2
+ h
u
h
r
+ (h
u
)
2
h
≡ 0.
(8.45)
Proof. Let J = H (r, u, u
r
),sou
r
= H
∗
(r, u, J ) and J satisfies
J
t
= H
u
u
t
+ H
p
u
tr
. (8.46)
By (8.43), u
t
= L and hence,
u
tr
= L
r
+ L
u
H
∗
+ L
p
u
rr
+ L
q
u
rrr
. (8.47)
Let us derive for J a linear parabolic PDE of the form (8.24). Since the coefficient
F in this equation is eventually derived by the standard linearization of the equation
about J = 0, this allows us to calculate the derivatives in (8.46) and (8.47) from the
equality u
r
= h(r, u). In this case,
u
rr
= h
r
+ h
u
h and u
rrr
= h
rr
+ 2h
ru
h + h
uu
h
2
+ h
u
h
r
+ (h
u
)
2
h.
Substituting into (8.46) yields (8.24) with F = 0 given by (8.45). By the MP, this
completes the proof.
8.3.1 Quasilinear heat equations
Considerthe equation(8.1) with k = ϕ
, which, for radial solutionsu = u(r, t) using
the radial Laplacian in IR
N
, is written as
u
t
= (k(u)u
r
)
r
+
N−1
r
k(u)u
r
+ f (u). (8.48)
We take the SI (8.44) in the semilinear form
H[u] = u
r
− g(r)(u), (8.49)
© 2007 by Taylor & Francis Group, LLC