Civil Engineering Reference
In-Depth Information
4.6 Example. Suppose we want to find the solution of the potential equation in
the unit disk satisfying the (Dirichlet) boundary condition
1
k(k
u( cos ϕ, sin ϕ) =
1 ) cos kϕ.
k =
2
Since it is absolutely and uniformly convergent, the series represents a continuous
function. By (1.2), the solution of the boundary-value problem in polar coordinates
is
r k
k(k
u(x, y)
=
1 ) cos kϕ.
( 4 . 7 )
k =
2
Now on the x -axis, the second derivative
1
x k 2
u xx (x, 0 ) =
=
1
x
k
=
2
is unbounded in a neighborhood of the boundary point ( 1 , 0 ) , and thus Theorem 4.5
is not directly applicable.
A complete convergence theory can be found, e.g., in Hackbusch [1986]. It
uses the stability of the differential operator in the sense of the L 2 -norm, while
here the maximum norm was used (but see Problem 4.8). Since the main topic
of this topic is the finite element method, we restrict ourselves here to a simple
generalization. Using an approximation-theoretical argument, we can extend the
convergence theorem at least to a disk with arbitrary continuous boundary values.
By the Weierstrass approximation theorem, every periodic continuous func-
tion can be approximated arbitrarily well by a trigonometric polynomial. Thus, for
given ε> 0, there exists a trigonometric polynomial
m
v( cos ϕ, sin ϕ) = a 0 +
(a k cos + b k sin kϕ)
k
=
1
ε
4
with
| v u | <
on ∂. Let
m
r k (a k cos + b k sin kϕ)
v(x,y) = a 0 +
k =
1
and let V be the numerical solution obtained by the finite difference method. By
the maximum principle and the discrete maximum principle, it follows that
ε
4
ε
4
| u v | <
in ,
| U V | <
in h .
( 4 . 8 )
 
Search WWH ::




Custom Search