Download Solution

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Horner's method wikipedia , lookup

Clenshaw–Curtis quadrature wikipedia , lookup

Resampling (statistics) wikipedia , lookup

Mathematical optimization wikipedia , lookup

Linear least squares (mathematics) wikipedia , lookup

Finite element method wikipedia , lookup

Eisenstein's criterion wikipedia , lookup

Dynamic substructuring wikipedia , lookup

Quadratic equation wikipedia , lookup

Cubic function wikipedia , lookup

System of polynomial equations wikipedia , lookup

Simulated annealing wikipedia , lookup

Root-finding algorithm wikipedia , lookup

Interval finite element wikipedia , lookup

Quartic function wikipedia , lookup

Newton's method wikipedia , lookup

False position method wikipedia , lookup

System of linear equations wikipedia , lookup

Calculus of variations wikipedia , lookup

Transcript
1.
Nonlinear equations:
Solution:
The function f (x) = x − g(x) is continuous on [a, b] and crosses the axis: f (a) = a − g(a) <
0 < b − g(b) = f (b). Hence, there exists at least one zero, u, of f (that is, a fixed point of g) in
[a, b]. Assume also that g(v) = v 6= u. Then 0 < |u − v| = |g(u) − g(v)| < λ|u − v| < |u − v|, a
contradiction. Thus, u = v and we have proved uniqueness. Convergence holds as follows:
|u − xn+1 | = |g(u) − g(xn )| ≤ λ|u − xn |,
which, by induction, implies convergence of xn to u according to
|u − xn | ≤ λn |u − x0 |.
The explicit linear convergence bound now follows:
|xn+1 − u| = |g(xn ) − g(u)| ≤ λ|xn − u|.
2.
Numerical quadrature:
Solution:
We first note that symmetry tells that = . (If there were solutions with ! , we would obtain
equally valid ones with and interchanged, and averaging these formulas will also create valid
formulas with the coefficients for u(0) and u(1) equal.)
In all the three cases, the resulting formula should be exact for the test function u(x) = 1,
implying
1 = 2 + .
(1)
It thus only remains in each of the three cases to find a second test function, giving a second
equation for the two unknowns.
a.
Trapezoidal rule:
This quadrature formula should be exact for piecewise linear functions. Hence, consider
for example
 x , 0 [ x [ 12
.
u(x) = 
1
 1−x , 2 [x[1
1
It should now hold ¶ 0 u(x) dx =
1
1
= 4, = 2.
b.
1
4
=$0+$
1
2
+ $ 0. Together with (1), we obtain
Simpson's formula:
This method should be exact for an arbitrary quadratic function, in particular for
1
u(x) = x(1 − x). We now get ¶ 0 u(x) dx = 16 = $ 0 + $ 14 + $ 0, i.e. = 16 , = 23 .
c.
Natural spline:
In this case, it is natural to construct a second test function as follows: Let u(x) over
0 [ x [ 12 be a cubic polynomial with the properties
u(0) = 0, u ∏∏ (0) = 0, u( 12 ) ! 0, u ∏ ( 12 ) = 0,
(2)
and then define u(x) for 12 [ x [ 1 as the reflection around x = 12 , i.e. as u(1 − x). This
function u(x) is a natural cubic spline over [0,1]. It is straightforward to see that for ex.
1/2
u(x) = x − 43 x 3 obeys the requirements (2), and satisfies u( 12 ) = 13 , ¶ 0 u(x) dx = 485 . We
5
3
thus obtain as our second equation 24
= 13 , and can conclude that = 16
, = 58 .
3.
Interpolation Approximation:
Solution:
Since e is continuous, there must exist α, β ∈ [a, b] that satisfy
M = e(α) = max e(x)
x∈[a,b]
and
m = e(β) = min e(x).
x∈[a,b]
Then the polynomial p∗n + (M + m)/2 satisfies
−
M −m
M +m
M +m
M −m
=m−
≤ f (x) − [p∗n + (M + m)/2] ≤ M −
≤
.
2
2
2
2
We must therefore have M = (M − m)/2, that is, M = −m, which proves the result.
4.
Linear algebra:
Solution:
(a) This is a result of the following identities:
max
x6=0
< AT Ay, y >
kQARxk2
kQARR∗ yk2
kQAyk2
< AT Q∗ QAy, y >
=
max
.
=
max
=
max
=
max
y6=0
y6=0
y6=0
y6=0
kxk2
kR∗ yk2
kyk2
< y, y >
< y, y >
(b) A = U ΛV ∗ , where U, V ∈ <n×n are unitary and Λ is n × n diagonal.
(c) kAk = kU ΛV ∗ k = kΛk = kV ΛU ∗ k = kA∗ k = kAT k.
(d) Suppose Au = λu, where 0 6= u ∈ <n and |λ| = ρ. Then ρ(A) = kλuk/kuk = kAuk/kuk ≤ kAk.
T
2
2
2
(e) kAk2 = maxx6=0 <
A Ax,x > / < x, x >= maxx6=0 < A x, x > / < x, x >= ρ(A ) = ρ(A) .
0 1
(f) The matrix A =
satisfies 0 = ρ(A) << kAk = 1:
0 0
5.
Numerical ODEs:
a.
The stencil for the scheme includes the stencil for Forward Euler, but has two additional
entries. With the optimal choice of coefficients, we would therefore expect to be able to
achieve two additional orders of accuracy compared to Forward Euler, i.e., to achieve
third order.
b.
We enforce that the scheme, when using h = 1, is exact for the test functions 1, x, x 2 , x 3 ,
giving the relations
 a1




Solution:
+a 2
= 1
a 2 −b 0 −b 1 = −1
a 2 +2b 0
= 1
= −1
a 2 −3b 0
Starting from the bottom two equations, the system is readily solved, giving
{a 1 = 45 , a 2 = 15 , b 0 = 25 , b 1 = 45 }.
c.
To test the root condition, we apply the scheme to the ODE y ∏ = 0. The resulting
three-step linear recursion relation has the characteristic equation r 2 − 45 r − 15 = 0, with
the two roots r 1 = 1, r 2 = − 15 . Since the second root is inside the unit circle, the root
condition holds.
d.
Applying the scheme to the special ODE y ∏ = y, and setting h = gives the
characteristic equation
r 2 (1 − 25 ) − r( 45 + 45 ) −
1
5
= 0.
We can now plot the stability domain boundary by solving for , setting r = e i , and
letting run over 0 [ [ 2. (Carrying out these steps analytically and simplifying
produces (3).)
e.
We see immediately from (3) that the real part always is less than zero when ! 0. The
boundary curve (apart from at the origin) is located in the left half plane, which is
impossible for an A-stable scheme (for which the whole left half-plane should be within
the stability domain).
Alternatively, we can refer to the theorem that an A-stable linear multistep method can at
most be of second order of accuracy. Since the present scheme is third order accurate, it
cannot be A-stable.
6.
Numerical PDEs:
a.
The difference approximation is
b.
Substitute u(x, t) = t/k e i ' x into the difference approximation above to obtain
= 1 + hk2 2(cos 'h − 1). When 'h varies over [−, ], the expression 2(cos 'h − 1)
varies over [-4,0], and = 1 + hk2 2(cos 'h − 1) over [1 − 4 hk2 , 1]. The latter interval must
fit inside [-1,1], implying hk2 [ 12 .
c.
The described discretization is the Method of Lines (MOL)- produced ODE system
d
dt
u1
u2
§
§
= 12
h
Solution:
u(x, t + k) − u(x, t) u(x + h, t) − 2u(x, t) + u(x − h, t)
=
.
k
h2
−2 1
1
1 −2 1
• • •
• • •
1
1 −2
u1
u2
§ .
§
By noting that the matrix is symmetric, and using Gersgorin's theorem, we obtain that its
eigenvalues (including the factor 1/h 2 ) satisfy c h12 [−4, 0]. These have all to fit inside
the Forward Euler stability domain (which is the inside of a unit radius circle centered at
-1), i.e. we need (for all the ∏ s above) that k c [−2, 0]. This becomes assured if hk2 [ 12 .