Page images
PDF
EPUB

Composition of two uniform circular motions.

This is intimately connected with the explanation of two sets of important phenomena,--the rotation of the plane of polarization of light, by quartz and certain fluids on the one hand, and by transparent bodies under magnetic forces on the other. It is a case of the hypotrochoid, and its corresponding mode of description will be described in a future section. It will also appear in kinetics as the path of a pendulum-bob which contains a gyroscope in rapid rotation.

Fourier's
Theorem.

75. Before leaving for a time the subject of the composition of harmonic motions, we must, as promised in $ 62, devote some pages to the consideration of Fourier's Theorem, which is not only one of the most beautiful results of modern analysis, but may be said to furnish an indispensable instrument in the treatment of nearly every recondite question in modern physics. To mention only sonorous vibrations, the propagation of electric signals along a telegraph wire, and the conduction of heat by the earth's crust, as subjects in their generality intractable without it, is to give but a feeble idea of its importance. The following seems to be the most intelligible form in which it can be presented to the general reader : THEOREM.-- A complex harmonic function, with a constant term

added, is the proper expression, in mathematical language, for any arbitrary periodic function; and consequently can express any function whatever between definite values of the variable.

76. Any arbitrary periodic function whatever being given, the amplitudes and epochs of the terms of a complex harmonic function which shall be equal to it for every value of the independent variable, may be investigated by the “method of indeterminate coefficients."

Assume equation (14) below. Multiply both members first

2ιπξ
by cos dệ and integrate from 0 to p: then multiply by

P
2ιπξ
sin dẾ and integrate between same limits.

Thus instantly
P р
you find (13).

Theorem.

This investigation is sufficient as a solution of the problem, Fourier's -to find a complex harmonic function expressing a given arbitrary periodic function,-when once we are assured that the problem is possible; and when we have this assurance, it proves that the resolution is determinate; that is to say, that no other complex harmonic function than the one we have found can satisfy the conditions.

For description of an integrating machine by which the coefficients Ai, B; in the Fourier expression (14) for any given arbitrary function may be obtained with exceedingly little labour, and with all the accuracy practically needed for the harmonic analysis of tidal and meteorological observations, see Proceedings of the Royal Society, Feb. 1876, or Chap. v. below.

77. The full theory of the expression investigated in $ 76 will be made more intelligible by an investigation from a different point of view.

Let F (2) be any periodic function, of period p. That is to
say, let F (a) be any function fulfilling the condition
F(x + ip) = F (2)

(1),

where i denotes any positive or negative integer. Consider the
integral

F(x) da
a+ Xc2

[ocr errors]
[ocr errors]
[ocr errors]
[ocr errors]

where a, c, c denote any three given quantities. Its value is
doc

doc
less
and

if z
a + 2?

a2 + x2
and a denote the values of x, either equal to or intermediate
between the limits c and c', for which F(ə) is greatest and least
respectively. But
dix 1

él

(2), as + x2

[ocr errors]
[merged small][merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][ocr errors][merged small][merged small][merged small][merged small][merged small][subsumed]

Fourier's
Theorem.

T

Hence if A be the greatest of all the values of F'(x), and B the least,

F(a) adx

A tan-
a2 + 22
2

.(4) and

>B

tan

[ocr errors]
[ocr errors]

T

[merged small][ocr errors][ocr errors][merged small]
[ocr errors]
[ocr errors]

T
+
a

[ocr errors]

(5)

[blocks in formation]

3 (tan

T
+
a

2

[ocr errors]

Adding the first members of (3), (4), and (5), and comparing with the corresponding sums of the second members, we find F(x)ado

<F(2)( tan as + 20

tan-1 a)

}(6) and >F(Z)( tan- tan

+ tan

<

[ocr errors]

But, by (1),
F(x) doc

1
F(x) dx

(7).

a' + (wc + ip)? Now if we denote - 1 by v,

1

1
1

1
a' + ( + ip) 2av (x + ip - av XC + ip + av
and therefore, taking the terms corresponding to positive and
equal negative values of i together, and the terms for i=0 sepa-
rately, we have
1

1 Σ


až + (oc + ip)

2uv lx – av ixp2 (oc - au)
1
i=1 p* – (wc + av

X ),
π(α - αυ)

TT (3C + av)
cot

cot
2αρυ
P

р
2παυ

2παυ
sin

sin
2apu
P

apo P р

2παυ 2пх
cosa
P
P
P р

P

αυ

(+6+ip?

[merged small][ocr errors][merged small][merged small]
[merged small][merged small][ocr errors][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][ocr errors][merged small][merged small][ocr errors][merged small][merged small][merged small][ocr errors][merged small][ocr errors][ocr errors]
[merged small][merged small][merged small][merged small][merged small][ocr errors][ocr errors][ocr errors][ocr errors][merged small][merged small][merged small][merged small][merged small][merged small][merged small][ocr errors][ocr errors][merged small][merged small][ocr errors][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][subsumed][merged small][subsumed][subsumed][subsumed][subsumed][subsumed][ocr errors][ocr errors][ocr errors][subsumed][merged small][merged small][ocr errors][merged small][merged small][merged small][subsumed][ocr errors][subsumed][subsumed][subsumed][merged small][merged small][subsumed][ocr errors][subsumed][subsumed][merged small][ocr errors][merged small][subsumed][subsumed][merged small][subsumed][ocr errors]

Now let

c'=-C,
and x =

E' -Ě,
E' being a variable, and 3 constant, so far as the integration is
concerned ; and let

F(x) = 4(x + $) = $(8),

and therefore

F (*) = (+),
F (+) = (+z).

[merged small][merged small][ocr errors][merged small][merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small]
[ocr errors]

(11)

a

(

$')

р where o denotes any periodic function whatever, of period p.

Now let c be a very small fraction of p. In the limit, where c is infinitely small, the greatest and least values of ($') for values of & between & + c and $ - c will be infinitely nearly equal to one another and to $ (F); that is to say,

(3+2) = $($+z)= $(5). Next, let a be an infinitely small fraction of c. In the limit

[merged small][merged small][merged small][merged small][merged small][ocr errors]
[ocr errors]

5)}... (12)

Hence the comparison (11) becomes in the limit an equation
which, if we divide both members by , gives
1

2in (E-))
$($)
р

?
This is the celebrated theorem discovered by Fourier* for the
development of an arbitrary periodic function in a series of simple
harmonic terms, A formula included in it as a particular case
had been given previously by Lagranget.

2ιπ (ξ' )
If, for cos

we take its value
P
2οπξ' 2ιπξ 2ύπξ 2iTts

sin
р
P р

P

P and introduce the following notation :

[ocr errors]

COS

COS

+ sin

A.

[ocr errors]
[blocks in formation]

2

2ιπξ
A;
р

P р
2

2οπξ B;

de,
р

р
Théorie analytique de la Chaleur. Paris, 1822.
+ Anciens Mémoires de l'Académie de Turin.

« PreviousContinue »