Integral Geometry


Also found in: Wikipedia.

Integral Geometry

 

a branch of mathematics that studies certain special numerical characteristics (“measures”) for sets of points, lines, planes, and other geometrical objects, calculated, as a rule, with the aid of integration. Here the “measure” must satisfy the following two requirements: (1) additivity (the measure of a set consisting of several parts is equal to the sum of the measures of these parts) and (2) invariance with respect to motion (two sets differing only in position have the same measure). Integral geometry primarily includes problems of finding lengths, areas, and volumes, which are solved by means of integration (involving simple, double, and triple integrals, respectively).

The impetus for the development of integral geometry was provided by problems related to so-called geometric probabilities, defined as the ratio of the measure of the set of favorable cases to the measure of the set of all possible cases (by analogy with the classical definition of probability as the ratio of the number of favorable cases to the number of all possible cases). The first and most famous example is Button’s needle problem (1777). Consider a plane covered by a family of parallel lines such that any two adjacent lines are a fixed distance h apart. A thin cylindrical needle of length l < h drops to the plane in a random manner. What is the probability that the needle will intersect one of the lines? This problem is equivalent to the following: What is the probability that a randomly chosen line that intersects a circle (of diameter h) intersects a given segment of length l < h whose midpoint is at the center of the circle? This probability is defined as the ratio of the “measure” of the set of lines intersecting the given interval to the measure of the set of lines intersecting the given circle. The measure of a set of lines that intersect a convex figure of finite perimeter is introduced in such a way as to satisfy the two requirements formulated above: additivity and invariance under motion.

In the case of the set of all lines intersecting a line segment, the measure of this set must, by virtue of invariance with respect to motion, be a function only of the length of the segment. The requirement of additivity of measure implies that this function f(x) must be additive: f(x + y) = f(x) + f(y). But then f(x) = Cx, where C is a constant. Thus, in the plane, the measure of the set of all lines intersecting a given segment must be proportional to its length. The proportionality coefficient is conveniently taken to be 2, that is, it is agreed that the number 2 is taken to be the measure of the set of lines that intersect a segment of length 1. Then the measure of the set of lines intersecting any segment turns out to be double its length.

It can be shown that the measure of the set of lines each of which intersects the boundary of a given convex polygon (in two points) is equal to its perimeter.

Proceeding, finally, to the set of lines intersecting a closed convex curve (an “oval”), it is not difficult to establish the fact that in a plane the measure of the set of lines intersecting the given convex curve must be equal to the length of this curve.

In Buffon’s needle problem the measure of the set of favorable cases is double the length (21) of the needle, and the measure of the set of possible cases is the circumference (πh) of a circle of diameter h; therefore the desired probability p = 2l/πh. This result has been experimentally tested many times. In one such experiment, 5,000 throws were performed; with l = 36 mm and h = 45 mm, a frequency of intersection of 0.5064 was obtained, which gives an approximate value of π equal to 3.1596.

With certain modifications, the above theory may be carried over to sets of lines that intersect nonconvex figures. In general, for two-parameter sets of lines in a plane, a measure (μ) can be defined by the formula μ = ∫∫ dρdϕ, where ρ and ϕ are the polar coordinates of the projection of the origin to a line. If the line is defined by the equation ux + vy = 1 (x and y are the rectangular coordinates of a point on the line), then

By the turn of the 20th century the investigations of integral geometry were still connected with geometric probabilities (works of the British mathematician M. Crofton and the French mathematician H. Poincaré), but already in the work of the French mathematician E. Cartan (1896) these studies became part of a general theory of integral invariants, and in the 1920’s they formed an independent theory with various applications: in geometry “in the large,” primarily in the study of convex regions, and in geometric optics and the theory of radiation.

REFERENCES

Blaschke, W. “Lektsii po integral’noi geometrii.” Uspekhi matematiches-kikh nauk, 1938, issue 5. (Translated from German.)
Blaschke, W. Vorlesungen über Integralgeometrie, 2nd ed. Berlin-Leip-zig, 1937.

IA. S. DUBNOV

References in periodicals archive ?
Crofton (1868) elaborated the topic further and proved several theorems from the future integral geometry.
Together with his students he also started to publish a series of papers under the generic title integral geometry, denoting by this term the theory based on the concepts of probability, measure, transformation groups and geometry, which he viewed as important as differential geometry; this early research was summarized in the book (Blaschke, 1935).
The introduction, written by Helgason, provides background on the subjects of the articles: invariant differential operators, geometric properties of solutions, double fibrations in integral geometry, Radon transforms, spherical functions and transforms, duality for symmetric spaces, representation theory, Fourier transform on Riemannian symmetric spaces, and multipliers.
The topics include ill-posed problems of linear algebra, integral geometry, linear problems for parabolic equations, and inverse coefficient problems for hyperbolic equations.
The book can be used in advanced graduate courses in modern integral geometry, analysis on Lie groups, and representation theory of Lie groups.
The results include such themes as frame theory and applications, harmonic analysis and function spaces, harmonic analysis and number theory, integral geometry and Radon transforms, and multi-resolution analysis, wavelets and applications.
Along the way he describes the literature and historical progression of the study, the work of Gauss, the global geometry of surfaces, inequalities of Loewner and Pu, systolic applications of integral geometry, surfaces at a basic level, Loewner's hyperelliptic surfaces, an optimal inequality for CAT(0) metrics, volume entropy and asymptotic upper bounds.
AMS Special Session on Tomography and Integral Geometry (2004: Rider University) Ed.
Lavrent'ev and Savel'ev divide the material into three sections: general mathematical concepts, which introduces the language of set theory and concepts of abstract, linear and multilinear algebra; operators, which covers the most important function spaces and operator classes for both linear and nonlinear operators; and ill-posed problems, which is devoted to problems of mathematical physics, integral and operator equations, evolution equations and problems of integral geometry.
In these proceedings from the June 2003 conference in honor of Professor Lawrence Zalcman, contributors describe their work in a wide range of fields, including classical complex analysis of one and several variables, differential equations and integral geometry.
Integral geometry and geometric probability, 2d ed.
Topics include variational principles of billiard motion, symplectic geometry of rays of light and integral geometry, existence and non-existence of caustics, optical properties of conics and quadrics, completely integrable billiards, periodic billiard trajectories, polygonal billiards, chaos and dual billiards.