Koch, Helge von
Koch, Helge von
(b. Stockholm, Sweden, 25 January 1870; d. Stockholm[?], 11 March 1924)
mathematics.
Von Koch is known principally for his work in the theory of infinitely many linear equations and the study of the matrices derived from such infinite systems. He also did work in differential equations and in the theory of numbers.
The history of infinitely many equations in infinitely many unknowns is long; special cases of infinite systems were studied by Fourier, who used them naïvely in his celebrated Théorie analytique de la chaleur; and there are even earlier examples. Yet despite the many applications in differential equation theory and in geometry, the rigorous study of infinite systems began only in 18841885 with the publication by Henri Poincaré of a few special results.
Von Koch’s interest in infinite matrices came from his investigations in 1891 into Fuchs’s equation:
D^{n} + p_{2}(χ) D^{n1} + … + p_{n}(χ)y =0,
were
all of which converge in some annulus A with center at the origin. It was known that there existed a solution
which also converged in A; but in order explicitly to calculate the coefficient b_{k} and the exponent ρ, von Koch was led to an infinite system of linear equations. Here he used Poincare’s theory, which forced him to assume some unnaturally restrictive conditions on the original equation.
To remove the restrictions, von Koch published another paper in 1892 which was concerned primarily with infinite matrix theory. He considered the infinite array or matrix
A = {A_{iк} : i, к = …, −2, −1, 0, 1, 2, …}
and set
D_{m} = det{A_{iк} : i, к = −m, …, m}
The determinant D of A was defined to be lim_{m→∞}D_{m} if this limit existed. He then noted that the same array could give rise to denumerably many different matrices—by the use of different systems of enumeration—each with a different main diagonal. He was, however, able to prove that if converged abosutely and also converged absolutely, then D existed and was independent of the enumeration of A. A matrix which satisfied the above hypotheses was said to be in normal form.
Various methods to evaluate D were then given by von Koch, all of them analogous to the evaluation of finite determinants. Minors of finite and infinite order were defined, and it was proved that D could be evaluated by the method of expansion by minors in a direct generalization to infinite matrices of the Laplace expansion. Finally, he showed that
Here, a_{pq} = A_{pq} − δ_{pq}(δ_{jк} = 1 if j = к, δ_{jк} = 0 if j ≠ к); the largest summation index in each term is to range over all integers; and the others are to range over all integers as indicated. This is particularly interesting because it was the form used by Fredholm in 1903 to solve the integral equation
for the unknown function φ, the other functions being supposed known.
Von Koch then went on to prove that if A and B are in normal form, then the usual product matrix C = ÁB can be formed. The matrix C will also be in normal form and det C = (det A)(det B). He also was able to show that the property of being in normal form is not a necessary condition for D to exist and indicated how his theory could be extended to matrices whose entries are functions all analytic in the same disk.
Finally, von Koch applied his results to systems of infinitely many linear equations in infinitely many unknowns. Although he claimed a certain amount of generality, he actually considered only the homogeneous case
.Here the matrix {A_{ik}} was supposed to be in normal form, and the only solutions sought were those for which ׀ x_{κ} ׀ ≤ M for k = –∞, …, ∞. He then established that if det {A_{ik}} is different from zero, then the only such solution for the above equation is x_{k} = 0 for к = −∞ …, ∞. He then showed that if D = 0 but A_{iк} ≡ 0, there will always exist a minor of smallest order m which is not zero. Then if the nonvanishing minor is obtained from {A_{ik}} by deleting columns k_{1}, k_{2},…, k_{m}, a solution {x_{k}} can be obtained by assigning arbitrary values to χк_{1}, χк_{2}…χк_{m} and expressing each of the remaining χ_{к}’s as a linear combination of χк_{1}, χк_{2} …, χк_{m} This is similar to the finite case. Von Koch then asserted that analogous results could be obtained for unhomogeneous systems, which is now known to be false unless further restrictions are placed on {A_{iк}}.
Von koch’ work cannot be called pioneering. His results were all fairly readily accessible, although many of the calculations are lengthy. He was aware, through a knowledge of Poincaré’s work, of the possibility of obtaining pathological results but did little to explore them. Yet this work can be said to be the first step on the long road which eventually led to functional analysis, since it provided Fredholm with the key for the solution of his integral equation.
BIBLIOGRAPHY
A complete bibliography of von Koch’s papers is in Acta mathematica, 45 (1925), 345348. Of particular interest is “Sur les déterminants infinis et les équations differentielles linéaires,” in Acta mathematica, 16 (18921893), 217295.
A secondary source is Ernst Hellinger and Otto Toepletz, “Integralgleichungen und Gleichungen mit unendlichenviele Unbekanntem,” in Encyklopädie der mathematischen Wissenschafte, II, pt. C (Leipzig, 19231927), 13351602, also published separately.
Michael Bernkopf
Cite this article
Pick a style below, and copy the text for your bibliography.

MLA

Chicago

APA
"Koch, Helge von." Complete Dictionary of Scientific Biography. . Encyclopedia.com. 16 Feb. 2019 <https://www.encyclopedia.com>.
"Koch, Helge von." Complete Dictionary of Scientific Biography. . Encyclopedia.com. (February 16, 2019). https://www.encyclopedia.com/science/dictionariesthesaurusespicturesandpressreleases/kochhelgevon
"Koch, Helge von." Complete Dictionary of Scientific Biography. . Retrieved February 16, 2019 from Encyclopedia.com: https://www.encyclopedia.com/science/dictionariesthesaurusespicturesandpressreleases/kochhelgevon
Citation styles
Encyclopedia.com gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).
Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.
Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, Encyclopedia.com cannot guarantee each citation it generates. Therefore, it’s best to use Encyclopedia.com citations as a starting point before checking the style against your school or publication’s requirements and the mostrecent information available at these sites:
Modern Language Association
The Chicago Manual of Style
http://www.chicagomanualofstyle.org/tools_citationguide.html
American Psychological Association
Notes:
 Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most Encyclopedia.com content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
 In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.