• Non ci sono risultati.

Mathematical Methods 2017/01/27

N/A
N/A
Protected

Academic year: 2021

Condividi "Mathematical Methods 2017/01/27"

Copied!
3
0
0

Testo completo

(1)

Mathematical Methods 2017/01/27

Solve the following exercises in a fully detailed way, explaining and justifying any step.

(1) (6 points) Compute Z

0

1 cos(x)

2

+ 16 .

(2) (5 points) Solve, via Fourier series, the differential equation x

′′

+ x

+ 2x = sin(t) + cos(2t).

where the unknown function x(t) is defined on R and required to be periodic of period 2π.

(3) (5 points) State the dominated convergence theorem. Provide an example of appli- cation of that theorem and an example where the theorem is not applicable.

SOLUTIONS

(1). The function 1/(cos(x)

2

+ 16) is continuous on [0, 2π] and so the integral exists and it is finite. By changing variable

z = e

ix

dz = ie

ix

dx cos(x) = (z + 1 z )/2

and letting γ be the unit circle in C oriented counter clockwise, the requested integral

becomes Z

γ

1

iz((

z+21z

)

2

+ 16) dz =

Z

γ

4z

i((z

2

+ 1)

2

+ 64z

2

) dz

The function

i((z2+1)4z2+64z2)

is holomorphic except at 4 simple poles: the zeroes of (z

2

+ 1)

2

+ 64z

2

, which are i(±4 ± √

17). The poles ±i(4 + √

17) lies outside the region bounded by γ so the index of gamma at such poles is zero. The poles ±i(−4 + √

17) are inside the unit disk, so the index of γ at such poles is 1 because γ is counter clockwise oriented. By residue theorem

Z

γ

4z

i((z

2

+ 1)

2

+ 64z

2

) dz = 2πi(Res( 4z

i((z

2

+ 1)

2

+ 64z

2

) , i(4− √

17))+Res( 4z

i((z

2

+ 1)

2

+ 64z

2

) , i( √

17−4)) we have

(z

2

+ 1)

2

+ 64z

2

= (z − i(4 + √

17)(z + i(4 + √

17))(z − i(4 − √

17))(z + i(4 − √ 17) =

= (z

2

+ (4 + √

17)

2

)(z − i(4 − √

17))(z + i(4 − √ 17) whence

Res( 4z

i((z

2

+ 1)

2

+ 64z

2

) , i(4− √

17)) = 4i(4 − √

17) i(−(4 − √

17)

2

+ (4 + √

17)

2

)(2i(4 − √

17)) = 1 8i √

17

Res( 4z

i((z

2

+ 1)

2

+ 64z

2

) , −i(4− √

17)) = −4i(4 − √

17) i(−(4 − √

17)

2

+ (4 + √

17)

2

)(−2i(4 − √

17)) = 1 8i √

17 Therefore the requested integral is

2πi( 1 8i √

17 + 1 8i √

17 ) = π 2 √

17 .

1

(2)

2

(2). Let x = b

0

+ P

n=1

a

n

sin(nt)+b

n

cos(nt) be the Fourier series of x. Then the Fourier series of x

is

X

n=1

na

n

cos(nt) − nb

n

sin(nt) and that of x

′′

is

X

n=1

−n

2

a

n

sin(nt) − n

2

b

n

cos(nt).

Thus, the Fourier series of 2x + x

+ x

′′

is 2b

0

+

X

n=1

(2a

n

− nb

n

− n

2

a

n

) sin(nt) + (2b

n

+ na

n

− n

2

b

n

) cos(nt)

The function sin(t) + cos(2t) is its Fourier series. In order to impose the equality we must have

• 2b

0

= 0

• 2a

1

− b

1

− a

1

= 1

• 2b

1

+ a

1

− b

1

= 0

• 2a

2

− 2b

2

− 4a

2

= 0

• 2b

2

+ 2a

2

− 4b

2

= 1

• 2a

n

− nb

n

− n

2

a

n

= 2b

n

+ na

n

− n

2

b

n

= 0 for n ≥ 3 The system  2a

1

− b

1

− a

1

= 1

2b

1

+ a

1

− b

1

= 0 has solution a

1

= −b

1

= 1/2.

The system  2a

2

− 2b

2

− 4a

2

= 0

2b

2

+ 2a

2

− 4b

2

= 1 has solution a

2

= −b

2

= 1/4.

For n ≥ 3, the system  2a

n

− nb

n

− n

2

a

n

= 0

2b

n

+ na

n

− n

2

b

n

= 0 has solution a

n

= b

n

= 0 So we must have

x = 1

2 (sin(t) − cos(t)) + 1

4 (sin(2t) − cos(2t)).

Let’s check that this solves the initial equation:

x

= 1

2 (cos(t) + sin(t) + cos(2t) + sin(2t)) x

′′

= 1

2 (− sin(t) + cos(t) − 2 sin(2t) + 2 cos(2t)) hence

2x + x

+ x

′′

= sin(t) − cos(t) + 1

2 (sin(2t) − cos(2t))+

+ 1

2 (cos(t)+sin(t)+cos(2t)+sin(2t))+ 1

2 (− sin(t)+cos(t)−2 sin(2t)+2 cos(2t)) = sin(t)+cos(2t)

(3)

3

(3). Theorem: Let Ω ⊂ R

k

be a measurable set (w.r.t. the Lebesgue measure). Let (f

n

)

n∈N

: Ω → C be a sequence of measurable functions. Suppose that there is a function f : Ω → C such that f

n

pointwise converges to f .

If there is g : Ω → R summable such that |f

n

(x)| ≤ g(x) for any x ∈ Ω and n ∈ N, Then f is summable and

n→∞

lim Z

f

n

(x)dx = Z

f (x)dx.

Trivial example: Ω = [0, 1] ⊂ R, f

n

(x) = 0, f = g = 0.

Less trivial example: Ω = [0, ∞), f

n

(x) = e

−nx2

, g(x) = e

−x2

. g is summable (with integral √

π/2, we did it at lesson!). The pointwise limit of f

n

is the function f (x) =

 1 for x = 0

0 for x 6= 0 . Thus lim

n

R

0

f

n

= 0.

Non-Example: Ω = (0, ∞), f

n

(x) = ne

−nx

. The pointwise limit of f

n

is the function f (x) = 0. But

Z

0

ne

−nx

dx = −e

−nx

|

0

= 1 6→ 0 = Z

0

f (x)dx.

Riferimenti

Documenti correlati

In section 3, we evaluate the Lebesgue constants on some sets that have a different structure, showing that there exist at least a set with at most quadratic growth of the

ˆ LDV quality layer: depth + occlusion views, 8.8Mbps, to be received over 93% of the coverage area with a target time availability higher than 98%.. ˆ DES quality layer: 2 nd depth

Wojtaszczyk, Banach Spaces for Analysts, Cambridge University Press,

It follows from the fact (that can be verified in a similar manner as in 4 and 12) that a regular topological space X has the Rothberger property if and only if its fine uniformity

The aim of this paper is to investigate how rigid is the set of holomorphic self-maps in the unit disk ∆ of the complex plane C | after imposing some con- ditions on the

[r]

[r]

Since, by definition, no flow can cross a streamline it requires that the velocity vector field v have to be divergence-free