III

From The Foundations of Science by Henri Poincaré.

Let us now see what analysis owes to physics.

It would be necessary to have completely forgotten the history of science not to remember that the desire to understand nature has had on the development of mathematics the most constant and happiest influence.

In the first place the physicist sets us problems whose solution he expects of us. But in proposing them to us, he has largely paid us in advance for the service we shall render him, if we solve them.

If I may be allowed to continue my comparison with the fine arts, the pure mathematician who should forget the existence of the exterior world would be like a painter who knew how to harmoniously combine colors and forms, but who lacked models. His creative power would soon be exhausted.

The combinations which numbers and symbols may form are an infinite multitude. In this multitude how shall we choose those which are worthy to fix our attention? Shall we let ourselves be guided solely by our caprice? This caprice, which itself would besides soon tire, would doubtless carry us very far apart and we should quickly cease to understand each other.

But this is only the smaller side of the question. Physics will doubtless prevent our straying, but it will also preserve us from a danger much more formidable; it will prevent our ceaselessly going around in the same circle.

History proves that physics has not only forced us to choose among problems which came in a crowd; it has imposed upon us such as we should without it never have dreamed of. However varied may be the imagination of man, nature is still a thousand times richer. To follow her we must take ways we have neglected, and these paths lead us often to summits whence we discover new countries. What could be more useful!

It is with mathematical symbols as with physical realities; it is in comparing the different aspects of things that we are able to comprehend their inner harmony, which alone is beautiful and consequently worthy of our efforts.

The first example I shall cite is so old we are tempted to forget it; it is nevertheless the most important of all.

The sole natural object of mathematical thought is the whole number. It is the external world which has imposed the continuum upon us, which we doubtless have invented, but which it has forced us to invent. Without it there would be no infinitesimal analysis; all mathematical science would reduce itself to arithmetic or to the theory of substitutions.

On the contrary, we have devoted to the study of the continuum almost all our time and all our strength. Who will regret it; who will think that this time and this strength have been wasted? Analysis unfolds before us infinite perspectives that arithmetic never suspects; it shows us at a glance a majestic assemblage whose array is simple and symmetric; on the contrary, in the theory of numbers, where reigns the unforeseen, the view is, so to speak, arrested at every step.

Doubtless it will be said that outside of the whole number there is no rigor, and consequently no mathematical truth; that the whole number hides everywhere, and that we must strive to render transparent the screens which cloak it, even if to do so we must resign ourselves to interminable repetitions. Let us not be such purists and let us be grateful to the continuum, which, if _all_ springs from the whole number, was alone capable of making _so much_ proceed therefrom.

Need I also recall that M. Hermite obtained a surprising advantage from the introduction of continuous variables into the theory of numbers? Thus the whole number's own domain is itself invaded, and this invasion has established order where disorder reigned.

See what we owe to the continuum and consequently to physical nature.

Fourier's series is a precious instrument of which analysis makes continual use, it is by this means that it has been able to represent discontinuous functions; Fourier invented it to solve a problem of physics relative to the propagation of heat. If this problem had not come up naturally, we should never have dared to give discontinuity its rights; we should still long have regarded continuous functions as the only true functions.

The notion of function has been thereby considerably extended and has received from some logician-analysts an unforeseen development. These analysts have thus adventured into regions where reigns the purest abstraction and have gone as far away as possible from the real world. Yet it is a problem of physics which has furnished them the occasion.

After Fourier's series, other analogous series have entered the domain of analysis; they have entered by the same door; they have been imagined in view of applications.

The theory of partial differential equations of the second order has an analogous history. It has been developed chiefly by and for physics. But it may take many forms, because such an equation does not suffice to determine the unknown function, it is necessary to adjoin to it complementary conditions which are called conditions at the limits; whence many different problems.

If the analysts had abandoned themselves to their natural tendencies, they would never have known but one, that which Madame Kovalevski has treated in her celebrated memoir. But there are a multitude of others which they would have ignored. Each of the theories of physics, that of electricity, that of heat, presents us these equations under a new aspect. It may, therefore, be said that without these theories we should not know partial differential equations.

It is needless to multiply examples. I have given enough to be able to conclude: when physicists ask of us the solution of a problem, it is not a duty-service they impose upon us, it is on the contrary we who owe them thanks.

Read and discuss in amphi

A place to think
Built for depth, not dopamine. Come thinkwith us
explore the betaDither Right Arrow
FIND US
amphi.