• 沒有找到結果。

We say that the pair (u, v) of vectors is positively oriented if 0 &lt

N/A
N/A
Protected

Academic year: 2022

Share "We say that the pair (u, v) of vectors is positively oriented if 0 &lt"

Copied!
5
0
0

加載中.... (立即查看全文)

全文

(1)

The parallelogram spanned by the nonzero plane vectors u = (a, b) and v = (c, d) equals to the absolute value of

∆ =

a c b d

.

Assume that the angle from u to v is θ. We say that the pair (u, v) of vectors is positively oriented if 0 < θ < π and negatively oriented if π < θ < 2π.

Lemma 2.1. The pair of plane vectors (u, v) is positively (negatively) oriented if and only if ∆ > 0 (∆ < 0).

Proof. Let us use polar coordinate of R2. Let r = |u| and ρ = |v| and φ be the angle from x-axis to u. Then u = r(cos φ, sin φ) and v = ρ(cos(φ + θ), sin(φ + θ)). Using the property of determinant, we see

a c b d

=

r cos φ ρ cos(φ + θ) r sin φ ρ sin(φ + θ)

= rρ

cos φ cos(φ + θ) sin φ sin(φ + θ)

= rρ (sin(φ + θ) cos φ − cos(φ + θ) sin φ) = rρ sin θ.

Since 0 < θ < π, sin θ > 0 and hence ∆ = rρ sin θ > 0.  Remark. When (u, v) is positively oriented, the area of the parallelogram spanned by u, v exactly equals ∆.

Definition 2.1. A subset Γ of R2is called a simple closed curve if there exists a function γ : [a, b] → R2, t 7→ (x(t), y(t))

such that

(1) both x(t) and y(t) are continuous functions on [a, b], and (2) γ(a) = γ(b), and

(3) if γ(t) = γ(s), then t = s. (one-to-one), and (4) Γ = {γ(t) ∈ R2: t ∈ [a, b]}.

A simple closed curve is C1if both x, y ∈ C1[a, b].

Let Ω be a bounded plane region (a subset of R2) and Γ be its boundary, denoted by ∂Ω. Assume that Γ is a simple closed curve. Let us choose a point P in the interior of Ω and define θ : [a, b] → R be the angle between−−−→

P γ(t) and the horizontal line passing through P. Let us assume further that θ(b) = θ(a) + 2π and θ is a continuous function. We say that γ is positively oriented if θ is increasing on (a, b) and negatively oriented if θ is decreasing on (a, b).

1

(2)

Proposition 2.1. Let P0, · · · , Pn be n + 1-distinct points on R2 with Pi = (xi, yi) and assume that these points determine a bounded plane region whose boundary is a simple closed polygon, positively oriented. Then the area of the polygon is given by

1 2

n+1

X

i=1

xi−1 xi yi−1 yi

. Here we set Pn+1= P0.

Now, let us assume that the boundary Γ of Ω is a simple closed C1plane curve positively oriented.

Let P = {a = t0 < t1< · · · < tn = b} be a partition of [a, b]. Denote γ(ti) by Pi for 0 ≤ i ≤ n.

Notice that Pn= P0. Then the set of points {Pi: 1 ≤ i ≤ n} determines a polygon on R2. We define the approximate area A(Ω, P) of Ω with respect to the partition P to be the area of the polygon defined by {Pi: 1 ≤ i ≤ n}.

Thus the approximate area of Ω with respect to P is given by A(Ω, P) = 1

2

n

X

i=1

x(ti−1) x(ti) y(ti−1) y(ti)

Lemma 2.2. Let f, g be C1-functions on [a, b]. Define a function h : [a, b] → R by h(x) =

f (a) f (x) g(a) g(x)

.

Then h ∈ C1[a, b]. Moreover, there exists c ∈ (a, b) such that h(b) = h0(c)(b − a). In other words, we

have

f (a) f (b) g(a) g(b)

=

f (a) f0(c) g(a) g0(c)

(b − a).

(3)

Proof. The proof follows from mean value theorem.  We can rewrite A(Ω, P) as

(2.1) A(Ω, P) = 1

2

n

X

i=1

x(ti−1) x0(ci) y(ti−1) y0(ci)

(ti− ti−1)

for some ci ∈ (ti−1, ti). Unfortunately, the right hand side of (2.1) is not a Riemann sum. Let us rewrite (2.1) as follows:

A(Ω, P) = 1 2

n

X

i=1

x(ci) x0(ci) y(ci) y0(ci)

(ti− ti−1) (2.2)

+1 2

n

X

i=1



x(ti−1) x0(ci) y(ti−1) y0(ci)

x(ci) x0(ci) y(ci) y0(ci)



(ti− ti−1) (2.3)

Let us define F : [a, b] → R by

F (t) =

x(t) x0(t) y(t) y0(t)

.

Since x, y ∈ C1[a, b], F ∈ C[a, b]. The right hand side of (2.2) is a Riemann sumPn

i=1F (ci)(ti−ti−1) of F (t) with respect to the partition P of mark C = {ci}. By the continuity of F, this Riemann sum is convergent to the integral of F (t) over [a, b] which is

I = Z b

a

x(t) x0(t) y(t) y0(t)

dt.

Lemma 2.3. Let f, g be C1 functions on [a, b]. Define a function h : [a, b] → R by h(x) =

f (x) f0(b) g(x) g0(b) .

For any x1, x2∈ [a, b], there exists c ∈ (x1, x2) such that h(x2) − h(x1) = h0(c)(x2− x1). In other words, we have

f (x2) − f (x1) f0(b) g(x2) − g(x1) g0(b)

=

f0(c) f0(b) g0(c) g0(b) .

Proof. By mean value theorem. 

Using this lemma, we obtain that

x(ti−1) x0(ci) y(ti−1) y0(ci)

x(ci) x0(ci) y(ci) y0(ci)

=

x0(di) x0(ci) y0(di) y0(ci)

(ci− ti−1).

By continuity of x0, y0on [a, b] and the Weierstrass theorem, x0, y0are bounded functions on [a, b]. As- sume that |x0(t)|, |y0(t)| are both bounded by M on [a, b]. Thus the absolute value of the determinant

x0(di) x0(ci) y0(di) y0(ci)

is bounded by 2M2:

|x0(di)y0(ci) − y0(di)x0(ci)| ≤ |x0(di)||y0(ci)| + |y0(di)||x0(ci)| ≤ M · M + M · M = 2M2. Moreover, |ci− ti−1| < ti− ti−1 ≤ kP k for all i. Thus the absolute value of (2.3) is bounded by M2kP k(b − a) :

1 2

n

X

i=1



x(ti−1) x0(ci) y(ti−1) y0(ci)

x(ci) x0(ci) y(ci) y0(ci)



(ti− ti−1)

≤1 2

n

X

i=1

2M2kP k(ti− ti−1)

= M2kP k

n

X

i=1

(ti− ti−1)

= M2kP k(b − a).

(4)

Theorem 2.1. Let Ω be a plane region. Suppose its boundary Γ = ∂Ω is a simple closed C1-curve with positive orientation. For every  > 0, there exists δ> 0 such that

|A(Ω, P) − I| <  whenever kP k < δ. Proof. By the continuity of F, given  > 0, we may choose δ0> 0 such that

n

X

i=1

F (ci)(ti− ti−1) − I

<  2. Let δ= min{δ0, /2M2(b − a)}. Therefore

1 2

n

X

i=1



x(ti−1) x0(ci) y(ti−1) y0(ci)

x(ci) x0(ci) y(ci) y0(ci)



(ti− ti−1)

<  2. Using the equality

A(Ω, P)−I =

n

X

i=1

F (ci)(ti− ti−1) − I

! +1

2

n

X

i=1



x(ti−1) x0(ci) y(ti−1) y0(ci)

x(ci) x0(ci) y(ci) y0(ci)



(ti−ti−1) and the triangle inequality, we find

|A(Ω, P) − I| ≤  2+ 

2 = .

We prove our assertion. 

Definition 2.2. Let Ω and Γ be as above. Then the area of Ω is defined to be A(Ω) = 1

2 Z b

a

x(t) x0(t) y(t) y0(t)

dt = 1 2

Z b a

(x(t)y0(t) − y(t)x0(t))dt.

Using integration by parts, we also obtain A(Ω) =

Z b a

x(t)y0(t)dt = − Z b

a

y(t)x0(t)dt.

Suppose P (x, y) and Q(x, y) are functions in x, y. Let Γ be a C1-parametrized curve with parametrization x = x(t), y = y(t) for a ≤ t ≤ b. Assume that P (x(t), y(t)) and Q(x(t), y(t)) are continuous functions on [a, b]. We define

Z

Γ

P (x, y)dx + Q(x, y)dy = Z b

a

{P (x(t), y(t))x0(t) + Q(x(t), y(t))y0(t)}dt.

Thus the area formula can be rewritten as A(Ω) = 1

2 Z

Γ

(xdy − ydx) = Z

Γ

xdy = − Z

Γ

ydx.

Example 2.1. Verify that the area of the closed disk D = x2+ y2≤ a2 is πa2. Solution:

The boundary of the closed disk D is the circle Ca : x2+ y2= a2. We know Ca is a simple closed curve. We take

x = a cos t, y = a sin t, for 0 ≤ t ≤ 2π.

Then Ca is parametrized and positively oriented. We compute dx = −a sin tdt, dy = a cos tdt.

Hence

xdy − ydx = {a cos t · a cos t − a sin t · (−a sin t)}dt = a2dt.

Thus the area of D is given by

A(D) = 1 2

Z 0

a2dt = πa2.

(5)

Example 2.2. Let Ω be a plane region. Suppose Γ is simple, closed C1 and positively oriented.

Suppose r = r(θ), α ≤ θ ≤ β is the parametrization of Γ using polar coordinate system of R2. Show that

A(Ω) = 1 2

Z β α

r(θ)2dθ.

Proof. We know x(θ) = r(θ) cos θ and y(θ) = r(θ) sin θ. Then

x0(θ) = r0(θ) cos θ − r(θ) sin θ, y0(θ) = r0(θ) sin θ + r(θ) cos θ.

Hence

x(θ)y0(θ) − y(θ)x0(θ) = r(θ) cos θ(r0(θ) sin θ + r(θ) cos θ) − r(θ) sin θ(r0(θ) cos θ − r(θ) sin θ)

= r(θ)2(cos2θ + sin2θ) = r(θ)2. The area of Ω is given by

A(Ω) = 1 2

Z β α

r(θ)2dθ.



參考文獻

相關文件

(You may use the result obtained in

Since p is an arbitrary chosen point of U and p is an interior point of U, U is open.. We see that p is never an interior point

If we can show that U 1 and U 2 are open, so is their union by the open set property (any union of open sets

You need to prove that the set int(S) you found is the

In the examples worked out so far, we had no trouble finding the limits of integration, since the region R was bounded by contour curves of u and v, which meant that the limits

[r]

[r]

In order to use Green’s theorem we must make sure C satisfies all of the assumptions for the theorem, that is that C is a positively oriented, piecewise smooth, and simple