This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
l onto the "exterior" of a closed curve P. If this curve is simple, we have obtained a gas flow past P . We may be sure that this curve will be simple if arg w* (e*") is monotone for 0 < w < T . This can be achieved by choosing the auxiliary profile P' as convex. In order to integrate eq (12.15) it is convenient to introduce new coordinates {i, iji by the relation 0 , sgn 8 = — 1 fors<0. W i t h the aid of eq (14.9) let us find the value of e(v>) from eq (14.10) at the position ^ = 0 ; that is, let us find the value of 1 i ikMt «0=2 are absolutely continuous, F****(v>) is integrable and F***(v>) is a normed conjugate function to ¿7***(^). le in the square in any finite interval. Let further Bo{ip)~^ andy(ip) — ip be periodic with period 2 T . Define, starting with Bo(ip)j the sequence of functions ö « ( ^ ) ( n = 0 , 1, . . .) by the recurrence formula ) and we have » ). On the other hand PX 3 and proceed by induction. We assume that our theorem is already proved for all smaller values of m and that therefore we have Proof. 0 . I t is to be expected that the difference l^jCtt?)—w| will be "small*when c is " s m a l l " , and i t is desired, therefore, to find an estimate for this difference. T h i s problem has been considered i n the literature principally i n two forms: (a) T o determine an upper bound for | ^ ( t ( ? ) — i n terms of e and p which is valid i n any circle tt)| 0. (We shall state all results in terms oif{z) rather than the inverse function.) The earhest estimate for f(z)-~z , which holds uniformly in \z\ ^ 1, appears to be the one given by Bierberbach [4]: 1.4 0 , then for all v'^2for
(f+^'/)(6i+^nl) = l , and to set where T„ is the value of T for f = « » , and w and x are required to be regular functions of For x (iit Vi) we obtain a perfectly well-behaved linear partial differential equation which is to be integrated within the unit circle with continuous boundary conditions of the first kind. Thus the construction of a symmetrical gas flow (with a prescribed maximum local speed) past an airfoil has been reduced to the solution of the Dirichlet problem for a linear equation of elliptic type. The theory of this problem is well known, and so are numerical methods which in principle permit us to compute the solution. The effective computation of the solution, however, would involve an immense amount of labor. The practical appUcation of the method described here must await the further development of computation techmques. It is hardly necessary to point out that what is desired is a machine capable of solving a large number of simultaneous linear algebraic equations,
7.
The "Direct" Proble
The direct problem of airfoil theory (determination of the flow around a given profile) has been solved thus far only for the case of a minimal surface. We want to show, however, how in the general case this problem may be reduced to a functional equation for a function of a single real variaWe [12]. We shall restrict ourselves to symmetrical flows. Assume that we know the flow and the mapping described in section 5. Without loss of generality we assume that the length of P is 2ir and write the equation of this curve in the form z^Z(a)
= ZT+£
e*^^^^da\
0 <
Our mapping takes a point e*" of the circle into the point Z[/(a>)] of the profile. metry we have /(0) = 0, /(2T) = 2 T .
(12.23)
B y reasons of s>Tn(12.24)
W e shaU see that the knowledge of the function
dip
dtp
dff
T 0)
1
(12.25)
I f we know q and tp along If | = 1 we can obtain/(w) b y a simple integration, the multiplicative constant entering i n tp being determined b y the second condition (12.24). T n u s we have described a n analytic process which leads from the function/(6)) back to the same function. This m a y be written symbolically i n d i e form /=T(y), (12.26) where T is a certain rather complicated operator. If we Imew that for a given profile a gas flow w i t h arbitrarily high subsonic speeds exists, then we would know that the functional eq (12.26) is solvable. T h e corresponding existence theorem, however, has been proved thus far (by F r a n k l and K e l d y s h [25]) only for flows w i t h "sufficiently s m a l l " free stream speed." I t m i ^ h t well be that the proof of the existence of the flow w i l l depend upon a direct proof of the solvabihty of (12.26), as was the case for m i n i m a l surfaces. I n the case of m i n i m a l surfaces the preceding considerations simplify considerably and can be carried o u t for asymmetrical (in particular circulatory) flows as well. I t turns o u t that the functional equation (12.26) m a y be written out expUcitly as a nonlinear integral equation. If the profile has a sharp trailing edge of opening ax ( 0 < a < l ) and no intruding comers, the equation reads: ''co8»(^^-r^e*^>|d(r /(o,)=T[y(«)]
1 2irJo
(12.27) sm^
sm^
where
M
X = 2 -^-/maxj s m ^
eL/(«)l rf,
cos
T h e proof that this equation has a solution has been given under fairly general conditions o n the profile f l 4 , 15]: the function 9 (0-) is absolutely continuous and satisfies a uniform Hdlder condition, and the VH^ofUt is ''essentially convex." B y this is meant that the negative variation of 8(
I n principle, the same method could be applied to the functional equation (12.26), except that a t each step one would have to solve a Dirichlet problem for a linear partial differential equation. N u merical computations w i l l have to be postponed until adequate automatic calculators are i n operation. Since this lecture was dehvered, considerable progress has been achieved. T h e analogy between solutions of equations of the form (12.4) and analytic functions (§ 3) appears today as a very special case of the general theory of "pseudo-analytic" functions developed b y the author [42, 43] (cf. also the work of P o l o i i i [48, 49, 50]). T h i s theory appUes to the most general linear eUiptic system of two partial differential equations for two unknown functions ^ (x,v), 4^ (x^y). It includes a complex differentiation and integration, a classification of singularities and branch-points, a C a u c h y i n t ^ a l formida, T a y l o r and Laurent series, etc. The conjecture (stated i n § 3) concerning removable singularities of solutions of the non-linear system (12.3) for which qp{q) is bounded has been verified b y F i n n [45]. I n fact, F i n n obtained a more general result [46]. Independently of the work of Shapiro ( § 4 ) , Dressel and Gergen [47] obtained an extension of Riemann's mapping theorem for certain linear systems of partial differential equations. T h e existence theorems for minimal surface stated i n § 7 have been shown to hold without the "essential convexity" condition [44 . V e r y recently the "direct prob e m " (see sec. 7) has been solved b y M . Schiffman for smooth profiles, and a little later b y the author also for profiles w i t h a sharp trailing edge. Schiffman used variational methods, whereas the present author treated equation (12.26) b y the Schauder-Leray method.
8. References 1 S. Bartnoflf and A. Gelbart, N A C A Tech. Note 1171 (1947). 2 8. Bergman, Math. Sbomik 2, 1169 to 1198 (1937). S. Bergman, Trana. Am. Math. See. 53, 130 to 155 (1943). Ì S. Bergman, N A C A Tech. Note 972 (1945). 5 8. Bergman, N A C A Tech. Note 973 (1945). 6 S. Bergman, N A C A Tech. Note 1018 (1946). 71 S. Bergman, N A C A Tech. Note 1096 (1946). 8 S. Bergman, Trans. A m . Math. Soc. 61, 452 to 498 (1947). S. N. Bernstein,^omm. Soc. Math. Kharkov, 16, 38 to 45 (1915).
h
21] 22 23 24 25 26 27 281 29 30 31 32 33 34 35 36 37) 38 39 40 41 421
L. Bere, N A C A Tech. Note 1006 (1946). L. Bere, N A C A Tech. Note 1012 (1946). k. Bers, N A C A Tech. Note 2056 (1950). L. Bers, Proc. First Symp. Appi. Math., American Math. 8oc. 1, 1 (1949). L. Bere, Trans. A m . Math. Soc. 70, 465 to 491 (1951). L. Bere, Annais of Math. 63, 364 to 386 (1951). L. Bere, Amer. J . Math. 7Ï, 705 to 712 (1950). L. Bere and A. Gelbart, Quart. Appi. Math. 1, 168 to 188 (1943). L . Bere and A. Gelbart, Trans. A m . Math. Soc. S6, 67 to 93 (1944). L. Bere and A. Gelbart, Annais of Math. 48, 342 to 357 (1947). S. A. Chaplygin, Trans. Moscow Univ. Math. Phys. See. 21, 1 to 121 (1902). (Also N A C A Tech. Note 1063 (1944)). T . M . Cherry, Proc. Roy. Soc. I M , 45 to 79 (1947). S. A. Christianovitch, T r u d i C A H I , 481 (1942). R. Courant and K . O. Friedrichs, Supereonic flow and shock waves. (Interecience Publisbere, Inc., New York, 1948). F . Frankl and M . Keldysh, Izvestya Akad. Nauk SSSR 13, 1 to 121 (1934). A. Gelbart, N A C A Tech. Note 1170 (1947). A. Gelbart and D . Resch, N A C A Tech. Note 2057 (1950). P. Germain, Comptes Rendues (Paris) 532 to 534 (1946). T . V. Kirmàn, Journal Aero. Sci. 8, 337 to 356 (1941). M . A. LavrentiefT, Mat. Sbomik 42, 407 to 424 (1935). M . A. Lavrentieff. Mat. Sbornik 21 (63), 285 to 320 (1947). M . A. Lavrentieff, Izvestya Akad. Nauk SSSR, Ser. Mat., 12, 513 to 554 (1948). J . Leray and J . Schauder, Ann. Ecoie Norm. Sup., 51, 46 to 78 (1934). M . J . LighthUl, Proe. Roy. Soc. 191, 341 to 369 (1947). M . J . Lighthill, Proc. Roy. Soc. IW, 135 to 142 (1947). C. C . L i n , Quart. Appi. Math. 4, 291 to 297 (1946). P. Molenbroek, Arch. Math. Phvs. S, 157 to 186 U 890). Z. Y . Schapiro, Doklady Akad. Nauk. SSSR 30, 685 to 687 (1941). N. A. Slioskm, Trans. Moscow Univ. Math. Phys. Sec. 7, 43 to 69 (1937). Stolloff, Leçons sur les principes topologtques de la théorie des fonctions analytiques. (Ganthiere-Vil lare, Paris, 1938.) H . 8. Tsien, Jour. Aero. Sci., 6 , 399 to 407 (1939), I^. Bere, Proc. Nat. Acad. Soi. 30, 130 to 136 (1950). L. Bere, Proc, Nat. Acad. Sci. 87, 42 to 47 (1951). L. Bere, BuU. A m . Math. Soc. 57, 463 (1951). R. S. Finn, Bull. A m . Math. Soc. 57, 178 (1951). R. S. Finn. Bull. A m . Math. Soc. 57, 466 (1951). F. G. Dressel and J . J . Gergen, Duke Math. J . 18, 185 to 210 (1951). G. N . Poloiii, Doklady Akad. Nauk, 58, 1275 to 1278 (1947). G. N. PoloSii, Dokladv Akad. Nauk, 60, 769 to 772 (1948).
13.
The Use o l Conformal Mapping to Determine Flows With Free Streamlines David M . Y o u n g '
1.
Introduction
1. Notation and Terminology. Conformal mapping is the classical method used to determine plane flows w i t h free streamlines i n an ideal incompressible fluid. T h e physical assumptions that are made i n order to permit a mathematical treatment of such flows are well known and are given i n [7].* W e define: i n the physical plane; i=i+i>i} vector; W=U+iV; W is the complex potential of the velocity field; that is, (7=velocity potential, F = s t r e a m fimction, dWldz=i\ « = l o g f. T h e conformal mapping of the coordinate lines of the H^-plane into the Z-plane gives streandines a n d equipotentials. Similarly, isobars (lines of constant pressure) and isoclines (lines of constant velocity direction) are obtained b y the conformal mapping of the coordinate lines of the f-plane into the Z-plane. I n free streandine theory, both conformal mappings are achieved indirectly b y methods t h a t we now describe. 2. The Analytic Method. L e t us consider flows whose f-domain, caUed the "hodograph", is a circular sector of angle ir/n. A circular sector may be mapped onto the upper half-plane of the variable tby Z=x-\-iy;
Xf y are coordinates {""^i? is the velocity
t
^(r+f-),
(13.1)
or b y t
(13.2)
r
W e map the W-domain onto the upper half-plane of the variable T by a Schwarz-Christolfel transform a t i o n . I n a complete flow which is bounded b y streamlines, the Tr-domain is bounded b y parallels to the U-9^is; hence, dW/dT w i l l be a rational function of T. Since T and t are variables, each of whose domain is the upper half-plane, we have T
At{i:)+B
(13.3)
Ct(S) + D
N o w (13.3) represents the most general conformal mapping of the upper half-plane onto itself. A, B, C, a n d D are real parameters (with AD—BCT^O) so far undetermined, whose evaluation will be treated i n sections 3 and 4. Once we have the parameters of (13.3), we can obtain l F ( f ) and Z ( f ) as follows: Wit)
dW dT
dT d(, di
(13.4) (13.5)
V The work described herein was done under the direction of Professor Garrett BLrkhoff, at Harvard University, for Naval Research Contract N5orl*76» Pro)ect 32. The work of part I V was done mainly by the author. ^FUrures In bradcets indicate the literature references at the end of this paper
Relations of the form (13.1) through (13.5) connecting W , i", and Z are usually regarded, i n the classical literature, as the solution of the mapping problem. W h e n mmaerical results are desired, however, there are several practical difficulties to be overcome. These are described i n subsequent sections.
2. Manual Computation and the Use of Tables Unfortunately, the parameters A, By C, and D of (13.3) may not be expressible directly i n terms of the given physical dimensions. T h u s i n the problem [17] of uie divided jet (fig. 13.1) one is usually given the length of the plate, and 5, the specification of the 3.
The Determiriation
of Parameters.
FlOURB 13.1.
position of the plate relative to the axis of the incoming jet. T h e narameters, however, are k n o w n functions of and as, the angles of the branches of the divided jet. W e have 1 TSJ-\-
(13.6)
2 Cj log tan ^ a¡
and 2
JZ^[hs sin (ai+a^)log s m ^ —
+sin
(ai—aj)
2 hi cos ( a , — o i ) + 2
log sm
2
cos (oj—a,),
(13.7)
where
C/=C08 Uj, hr
Ci-C,
0%—Ca
Si=áa 3
a,, h,=
hi
1,
O2—C\
O2—6j
Given a i , a nomogram (fig. 13.2) is constructed by calculating by (13.6) and (13.7) values of p and q corresponding to given values of as and «3- The values of ota(p,2) and «3(2),?) are then obtained b y inverse interpolation. The parameters Ay B, Cy and D may then be determined. 4. Another Example—A Generalized Riabouchinsky Flow. For a generalized Riabouchinsky flow [1, 15] the difficulty of determining the parameters is much more acute. In this problem the flow is desired around a pair of 45** wedges placed symmetrically in a channel of infinite length (fig. 13.3). By symmetry we need treat only one-quarter of the fiow, so that the hodograph is again a circular sector (fig. 13.4). The IT-diagram is bounded by a rectangular polygon (fig. 13.5). Sudi a domain may be
a_« ConttoAt
a^«Conttont
FiouRB 13.2.
Lin« of Symmetry FiauBB 13.3.
upper half-plane of the variable T by a Schwarz-Christoffel transformation so that except for at most square roots.'
Thus
(13.8)
and
1
(13.9)
«^ere m
1 - r 1 + f*'
I
2
ri-pjri
1 '
r i - » n c
—L i + « » * J
W PLANC F I G U R E 13.4.
F I O U B E 13.5.
The parameters depend upon Vj the limit of the velocity at large distances from the wedges, and upon vc, uie velocity at point C (fig. 13.3). Physicidly, one is given L/W and D/W, where L=proiected length of each wedge; l^=half width oi channel; 2>=half total length of cavity. As in the divided jet problem, a nomogram can be constructed by computing the values of L/W and D/W for given values of vc and and using inverse interpolation. The construction here is much * Mora fcoenUy. let OS consider those cases where we can by syminetiT treat 0 ^ H the part constdered Is bounded by free itnunltaus and Its hodoeraph is a olrenlar sector of angle wjn with n rational, then Z may be expressed In the form ImfR(h y p ( 0 Mt where RH) is a raUonal taKtion u i d P(0 is a polynomial. X is by definition a byperelllptic integral. When P(0 is of degree 4 or less, / is an eQiptlo integral.
ore difficult, since the values of LjW and DjW are expressible only as untabulated definite integrals; 2-J
L
1+ m 1— m
2 C
A+C + 1
W
m a»
(13.10)
drtiy
m;2 - è
(13.11)
cos 0
D
(13.12)
where tan 2 9 = r
2 A-\-C
a
The above integrals must be evaluated b y a numerical integration procedure (sec. 9), which requires 2 days of hand computation for each pair of values vc and . 5. EvcUiiaiion of the Iviegrals {IS4)
HODOGRAPH F I G U R E 13.6.
If n is irrational, the integrals (13.4) and (13.5) represent untabulated functions. T o obtain numerical results one must either use complex numerical integration (sec. 9) or else construct tables of special functions of a complex variable. Whether or not tables are worthwhile depends o n the generality of the functions, the number of real parameters involved, and hence the size of the tables, and upon problems of interpolation. W e consider special examples. (1) Circular and Hyperbolic Functions. I n cases where n = l (fig. 13.6) the numerical work could be greatly reduced if two-parameter * tables of inverse circular and hyperbolic functions were available w i t h a sufficiently fine mesh to permit convenient interpolation. F o r example, for the K i r k h o f f Rayleigh fiow [7] (fig. 13.7) we have B.
Untabulated Functions.
z(r)
+ cos a r + 1 ) ' ' 2 s i n * 1
r^-2
f — cos a a ( r ^ - 2 c o s a * f + 1)
4 sin^ a
r log
4
r\W)=^[h±^h
h = nlT+Cy
J+const.,
(13.13)
(13.14)
M=const
Formulas (13.13) and (13.14) are rather compficated, and to compute Z{W) requires 67 operations. I n terms of complex circular functions the formulas become much simpler: f = tan 0 sin a + c o s a,
(13.15) (13.16)
a
0=-+-
Z
1
cos
-™sm' a 2T
cos
(13.17)
M
(
1
in
a {
4
i—7— <^ sin a + 2 cos {2
+const.
(13.18)
* B y elementary functions is meant complex alRcbraic, trigonométrie, exponential, and loRaritbmio functions. « Since the complex variable Z varies, two real variables 9t(Z) and 3(Z) are involved. For purposes of discussion in this section, the term "parameters" also will Include both 9t(Z) and 3 ( Z ) .
T o use formulas (13.15) through (13.18) one must evaluate complex direct and inverse fimctions. T w o to three significant figures can he obtained b y the use of Kennelley's tables an [11]. The direct complex fimctions can be evaluated to foiu* places b y the use of the W P A tal
FlQURB 13.7.
for the corresponding real functions, although i t woidd be desirable to extend the range of the ai^imient f r o m 2.0 to at least 10. Tables for the complex inverse functions woidd be desirable. W i t h a mesh of .01, about five volumes of 200,000 entries each would be required. B y the use of these tables the l a b o r needed to evaluate Z{W) could be reduced to 20 simple operations. (2) Incomplete Beta Function. F o r a simply connected now with circidar sector h o d o ^ a p h of angle x/n, where n may be irrational, i t is shown i n [9] that the integrals may be expressed m closed f o r m i n terms of elementary functions and the incomplete beta function, defined b y
j: s -
(13.19)
Also when n is rational, n—r/s, and s is large, the elementary solution i n closed form is possible b u t involves many complex partifd fractions. I n these cases the use of the incomplete beta fimction w o i d d be much more convenient. F o r example, the problem of the infinite wedge (fig. 13.8) can be solved w i t h the aid of the incomplete beta function, with
z(r)
8=r
2[Bu„(8)-e"''B,U-s)],
FIGURE
9
l/m+l/n=l.
(13.20)
13.8.
Three real parameters are involved. About five volumes of 200,000 entries each would be necessary t o tabulate this function. Higher order interpolation i n three variables would be required, (3) Jacobian Elliptic Integrals (5]. F o r the generalized Riabouchinsky flow, Z(f) and Z{W) can be expressed i n terms of elliptic integrals of the third kind, defined b y n{z,n,K)
dt {\-Vnt^[{\~t^{\-KH^\^
(13.21)
The Jacobian eUiptic integrals of first, second, and third kinds are of wide generality and occur i n m a n y other problems/ Tabulation of Jacobian elliptic functions (an elUptic function is the inverse of a n elhptic integral of the first kind) for real and purely imaginary a r ^ m e n t was started b y the M a t h e m a t i c a l Tables Project of the National Bureau of Standards but is now mactive. F o r the elliptic functions and elUptic integrals of the first kind three parameters are involved, hence about five volumes per function would be necessary for complete tabulation. F o r the elUptic integral of the third kind four parameters are involved. Since i t does not appear practical to construct four parameter tables, tabulation of (13.21) for real and purely imaginary arguments would seem to be called for. E v e n if this were done, three real parameters would be involved. Additional formulas would be used for complex values o f 2 . About eight volumes of tables would be required. 6. Interior Streamlines and Equipotentiais. Isobars and isoclines may be computed readily when the parameters of sections 3 and 4 have been found, provided the integral (13.5) can be evaluated directly or b y use of tables. O n the other hand, the problem of getting interior streamlines and equipotentials is i n many cases much harder; yet the distinction is generally overlooked. Although W{i) may always be obtained directly, and usually i n closed form b y (13.4), i t is not usually easy to compute f(ÍÍO. Smce i(T) may always be obtained i n closed form, i t is sufficient to get T(W)f which m a y be the solution of a complex algebraic or transcendental equation.
W PLANE
•
FIGURE
13.9.
FIGURE
13.10.
Thus let us consider the problem of the planning forms [21] (fig. 13.9). The IF-diagram (fig. 13.10) may be mapped onto the upper half-plane Thy dW dT
and
W=\ogT+T,
where get
(13.22)
W=U+iV,
(13.23)
T=R+iS
T o solve for T(W), we can separate this equation into real and imaginary parts and, eliminating S, F = ( É 2 ( t ' - « ) - i ? 2 ) * + a r c tan
R^^ R
This may be solved for R by an iteration process [4, p. 171]. S =
(e}^^-^-R^K
(13.24)
S may then be obtained from (13.25)
• We estimate that i t would take about three times as long to obtain streamlines and equipotentials in this way as to obtain isobars and isoclines. I n other cases the ratio of times would be even greater, since we might be led to solve two simultaneous real transcendental equations. • The following has been proved b y E . Zarantonello, Harvard University. Theorem: Let the flow be simply connected and bounded b y two isobars and two Isoclines. Further, let the angle between the isoclines be a rational multiple of w. If there are a finite number of point sources, sinks, and vortices i n the flow, then there exists a parameter t such that t V - K i ( * ) , f - E i ( » ) , and 2 - E 1 C * ) , where are elliptic Integrals of the first, seoond, or third kinds.
Another method that may be used to solve (13.23) is to integrate the differential equation dT
T
dW
T+l
b y step-by-etep numerical integration i n the complex plane. I n some cases the determination of ^{W) may be straightforward but laborious, as i n the HelmholtzR a v l e i g h flow where the evaluation of ^(W) consumed about 30 percent of the time required to get Z(W).
One can get the free streamline b y noting that i t is also the isobar (fl = l . Then, having determ i n e d the boundary of the flow, one might get the interior streamlines by the finite difference methods, section 11, or b y use of an electrolytic tank [19]. A n alternative procedure for obtaining interior streamlines and equipotentials is to compute values of z and W for equally spaced values of $8(log T) and 3 G o g f), and plot these i n the s-plane. These w i l l be nodes of a grid of isobars and isoclines. H a v i n g the values of W for points of an irregularly spaced grid i n the 2-plane, we m-ay get streamlines and equipotentials by inverse complex interpolation. T h i s method would seem to be laborious when more than three significant figures of accuracy are required.
3.
The Use of Large-scale Calculating Machines
If the interiors of flows w i t h free streamlines are to be computed, large-scale computing machines seem called for even i n the simplest cases. The M a r k I Automatic Sequence Calculator of the H a r v a r d Computation Laboratory was used 8] to compute the Kirkhoff-Rayleigh flow for a = 9 0 ° , 45'', 15° (fig. 13.7). T o compute 1,600 values required ten 24-hour machine d&ya; the machine computing, checking, and printing each value. We estimate that i t would take at least one computer a year to do the same work w i t h a desk machine and tables. I n those cases where Z(f) and/or Z{W) are expressible i n terms of elementary functions, the adaptation to large-scale computing machines is straightforward i n principle. The choice of scale factor and mesh size can be foreseen b y computing selected values b y hand. 8. The Use of Large-Scale Computing Machines to Determine Parameters. F o r problems i n which the determination of the parameters presents a serious difficulty, such as i n sections 3 and 4, a large-scale computing machine would be particularly useful i n evaluating definite integrals needed to construct the nomogram. The definite integrals may be evaluated b y real numerical integration, modified near the s i n ^ l a r i t i e s of the integrand (see Appendix I). The procedure may be adapted to some of the more flexible machines so that the integrals may be evaluated for many values of the parameters and an accurate nomogram constructed. 9. Complex Numerical Integration. Although complex numerical integration can be arranged very conveniently for machine comi)utation, i t has not previously been used for fiow problems w i t h free streamlines. T o obtain isobars and isoclines, we may use formula (13.5), 7.
The Need of Large-Scale Computing Machines in the Simplest Cases.
The integrand is often algebraic or can be expressed i n terms of exponentials, logaritlims, and trigonometric functions which the machine can compute. Numerical integration may also be used to enable the machines to construct tables of special functions of a complex variable, such as those given i n section 2, A . T o perform the complex numerical integration one may use the ordinary ® formulas for real numerical integration; or, if sufficient storage capacity is available i n the machine, a five-point formula, wluch utihzes the fact that the integrand is an analytic function, may be used. We have
The error ^ is not greater than (AV1890)|/"(Q • ScarborouRh \4], pages 117-14A. ' T h e error estimates are derived from results riven in (13] and (141: /"(t) is a point in the domain of convexity corresponding to the domain oovered by /**(Z). where Z covers a convex region oontainlng the five points;/•({) has an analogous interpretation In the error estimate lor f
949581—52
10
We have also
+y(Z,.,,,)]4-tl5L/(Z,_,.,)-/(Z,^,.,)l}.
(13.28)
Here the error is not greater than (AV360)|/"({) T h e above formulas appear preferable to those formulas for real integration with corresponding error terms since points closer to the region of integration are used. In some problems even when the substitution method could be used, numerical integration m a y be preferable. T h u s i n the Kirkhoff-Rayleigh flow, with a = 4 5 ° (fig. 13.7) numerical integration could be used for W with four-place accuracy, provided the mesh size is less than one-fourth the distance f r o m the singularity (the stagnation point). W e estimate that 50 percent of the multiplications could be saved. T h e values near the stagnation point could be obtained b y series development. 10. Unified Coding. A s a substitute for four parameter tables, we have prepared a unified c o d i n g scheme for a high-speed, large-scale computing machine, to obtain isobars and -isoclines for a n entire class of problems. T h u s , for the class of flows bounded b y free streandines, whose hodograph is a circular sector * of angle x/n, Z may be obtained as a n integral of the form n jfTT—ne""'"
sinh
r = c o s h w,
u>=n log f.
(13.29)
Here there are 3 or less values of the real parameters nj. W e propose to compute the integrand and to perform numerical integration syBtematically for l
4.
Approximate Numerical Methods
A s a n alternative to the analytic method, finite difference methods have been used [2, 3] to solve flow problems w i t h free streamlines. One great advantag;e of these methods is that one can start w i t h the physical dimensions, avoiding the difi&culties discussed m sections 3 and 4. A x i a l l y synmietric flows [12] and flows w i t h curved boundaries, whose analytic solutions are not y e t known, have also been solved b y finite difference methods. F o r the generalized Riabouchinsky flow (sec. 4), streamlines and equipotentials were obtained i n a week b y D . .Mien and G . Vaisey b y using finite difference methods. W h e n the values of the parameters thus obtained were used as a first approxunation, 2 months were required to obtain the correct parameters and to compute the free streamline and the length of the plate b y the analytic methods. B y the use of an electrolytic tank,* L . M d a v a r d obtained a third solution of the flow problem. W e give a comparison of the values of V^/Vf and F c / F , : 11. Finite Difference Methods.
A n a l y t i c method Relaxation methods Electrolytic tank
Vr
Vr
0.707
0.921
.714 699
. 907 . 906
W h e n the values of Vc/Vf and V„/Vf found b y finite difference methods for the analytic solution were used, the length of the plate and the length of the cavity were found to be about 7 percent too low. Since those values of the parameters are oidy about 1% percent different from the correct values, we conclude that the physical dimensions are very sensitive to changes i n the velocity ratios. A practical diflSculty with finite difference methods for flow problems w i t h free streamlines is that the free streamlines must either be obtained b y other methods, or found by successive guesses." These require great skill and experience [3]. 12. Analysis of Error. I n addition, the relaxation methods have two apparent sources of error: the well-known error due to the finite difference approximation to the second partial derivatives discussed further i n section 13 and i n [22]; and an error, which has received little attention, caused b y the < This class Is somewhat less general than that treated In this paper, and does not include the Riabouchinsky flow. • For a description of the electrolytic tank, s e e [19]. 1« V f - i f r e e streamline velocity; Va>=Iimiting velocity at large distance from the wedges; Vr«»the velocity at C, (see fig. 13.3). T h e values of F w / V / a n d Vcl Vt given for the finite difference methods and for the electrolytic tank were obtained by numerical difTerentiation, which process is estimated to be accurate to within about 1 percent. T h e length of the channel was taken as finite and equal to the distance t>etween the walls. Although the values obtahied analyticaUy apply to a channel of infinite length, the velocity ratios would change less than 0.5 percent if the length had been taken as finite. i> Since free streamlines have in general infinite curvature near the ends of a plate, they cannot be obtained by any nonzero mesh.
necessity of replacing an unboimded region b y a boimded region, and correspondingly assuming artificial boimdary conditions. F o r the finite difference solution, the velocity was assmned constant on an artificial boimdary DE, figxire 13.3, eight half-diameters upstream from the plate. A variation i n velocity of 3 percent on BE was found b y the analytic method. I n the finite difference solution, i t was also assumed that the velocity potential is constant on the artificial boundary DE. I t can be proved analytically that a solution where both the velocity and the velocity potential are constant on the line DE does not exist. W h e n only the potential was assumed to be constant on DEy analytic expressions for the mapping functions were obtained. I t was found that the effect of the artificial boundary on the physical dimensions was less than 1 percent. Next, for the case without the artificial boundary, and with the correct parameters, the values of Z(W) corresponding to a rectangular region R i n the W^-domain were calculated b y numerical integration. Interior values of Z , for a square grid i n i?, were obtained b y finite difference methods w i t h the aid of the Electric Computing Board of the Watertown Arsenal [101. I n this combined finite difference and analytic solution, the errors due to artificial boundary conditions and incorrect free streamlines were eliminated. 13. Error of Finite Difference Approximation. Since we use conformal mapping frequently, i t seemed of interest to determine the error due to the finite difference approximation of the finite difference methods i n the simple case of the mapping of the unit circle onto the unit square. M e s h sizes of A.= l/2,1/3,1/4, and 1/6 were u s e d , " and the values of R and 6 were compared with the exact values foimd b y elliptic functions. F o r the finest mesh (A=l/6) the maximum error i n R and $ was 3 percent (most of the values were much more nearly exact). The numerical results and computational details are given i n Appendix I I .
Appendix 1. Numerical Integration Near Singularities The procedure for evaluating
0(z)
a)
(13.30)
i
N o w G{z) is integrable i n closed form, and F(z)=f{z)—G{z) may be computed for a suitable grid i n z near z—a. T h e n S F{z)dz m a v be found b y numerical integration (see sec. 9). Finally, we have ff{z)dz=f
F(z)dz+f G{z)dz. 2. Case of One Singularity of Fractional f(z)=F(z)-\-Qiz), where "
Order.
líf(z)
has a pole of order k at 2 = a , we may write
G{z)={z — a)-*{ao+ai{z — a)+ . . .
+ar(z—aY},
(13.31)
a n d where r is chosen so that F{z) is small. T h e n G{z) may be integrated i n closed form, and F{z) = f(z)~G(z) m a y be integrated numerically as i n (13.30). If r is chosen large enough so that Flz) is very small, i t is very hkely that the error i n the numerical integration of F{z) w i l l be small. However, because of the factor of fractional order, the higher derivatives of F(z) w i l l have a singularity at 3 = a , and hence the formal error estimates for numerical integ r a t i o n will be inapplicable. Other methods may be employed which are more laborious but which avoid the above difficulty. O n e method is to change variables. Thus if k=rls (r and s integers), we may let (13.32)
a = {z—a)',
a n d then the integrand has a pole at
h(z).
J> For the mesh A * 1/6, the finite dlflerenoe solution was obtained by using the electric computer of the Watertown Arsenal [10]. u If there exist real constants m and Af so that 0<m< Um ''f'>-''«*'> Z—0
we may replace z by g(z) In (13.30) and (13.31). This may sometimes be more convenient In practice.
(13.33) (13.34)
t This may be transformed to the differential equation dh(z) dz
g(z)~h(z) a
which may be solved b y step-by-step methods, starting from the initial conditions h{a)=g(a),
h'(a)=l
g'(a).
3, Integration Near Two SingtUarities of Half Order Very Near Together. L e t the singularities be at z~ai and 2 = 0 3 , and let b be any convenient point near ai and O j , and near which J*f(z)dz is desired. We may write f{z) — G(z)+F(z)j where Giz)=(z-a,)-Hz-a2)-H<^o-tCy{z-b)+
in which r is chosen so that G{z) is small. found as before.
Appendix 2*
. . . +0,(2-6)'},
Since G(z) m&y be integrated i n closed form, Sf{z)dz
m a y be
Approximate Conformai Mapping of the Unit Square Onto the Unit Circle
The radius R is determined as follows [2]. W e find b y finite difference methods a function such that ^ = l o g r = l o g V ? + P on the boimdary of the square (see fig. 13.11), and ^ is harmonic i n the square. Then 7?=r c"*.
FIGURE
13.11.
B y using symmetry, we can find the angle B, which is the harmonic conjugate function of log i?, by solving a problem of mixed type (see fig. 13.12). Since the Watertown Arsenal machine is best adapted to solve the first boundary value problem, we solved the equivalent problem (fig. 13.13).
d=4 5'
FIGURE
13.12.
FIGURE
13.13.
The numerical results are given below. The conformal mapping of the unit square onto the unit circle A comparison of Ui6 approximate values of *'R" and 9 obtained by finite difference methods with the exact values obtained by elliptic funotions
v-0
R Exact
0 0 0 0 0
t-H
9-H
9
9
R
R
9-\
9
jlndeter) minate 0 0
Exact
.IMM
45.00 0.21845
*-H
.1M66
46.
Exact
.23180
45.
0.32740
.23390
45.
.32880
30D20
46.
31180
4A.
k-H
30062
46.00
.34556
17.71
Exact k-H
46967 47290
46.00 45.00
48937
26.25
.46760 .46683
45.00 45.00
48951
25.83
.65337
Exact k-H
.62715
45.00
.64280
30.18
k-H k-H k-H
.63 I.I I
46.
.62725
45.
Exact
-71180
45.00
.73860
45.
.74 IVI
*-«
9-H
9-H
9-H
9-H
21S65
k-H Exact
»-H
k-H k-H k-H
h-H k-H k-H k-H
71370
Exact k-H
k-H k-H k-H Exact k~H
k-H k-H k-H
.80079
I.I o I Mill I I II I H.I I I Mill
.34635
18.36
0.43643 .43860
. 64209
.43550 .51730
18.00
. 51910
17.37
.80960
32.00
46.00
.80965
31.93
45.00 1. MM I 46.00 45.00 46.00 45.00 1.00000
62.68
32.63
0 0
10.70
.64540 .64360
0 0
48
17.19
.74981
.706
.68060
16.44
44
16.96
.83730
.80750
9.33
0.89800
34.48
.80660
9.
.88860
A
36.84 1. I m I
36.46
.83506
0
24.83
A
.83335
1. M.U.I
0.83538
6.96
A
1. M i l
10.92
.74965
20.03
45.00
0.64360 .65040
56332
2a 46
.86802
10.98
.90606
4.12
30.35
.86797
10.83
.90668
4.06
31.47
1.00000 1.00000
12.17 11.25
1. M i l l
20.76
1. M_MJ
31.28
1.00000 1.00000
11.90 IZW
1. n o t
5.46
1.00000
6.19
1. M i l l
6.30
0.96337
I. M I.M
3.06 1 I.I.I It
1. Ml I.I
197 1. M.M.I
L37
1,35
I I Ml IMM Mill I.M I \ M.rM
References 1 D . Riabouchinsky, On steady fluid motion with free surfaces, Froc. London Math. Soc. 19» 206 to 215 (1920). 2 R. V . Southwell, Relaxation methods in theoretical physics (The Clarendon Press, Oxford, 1946). 3 R. V . Southwell and G . Vaisey, Fluid motions characterized by free streamlines, Phil. Trans. Roy. Soc. [A] 24#, 117 to 161 (1946). 4 J . B. Scarborough, Numerical mathematical analysis (Johns Hopkins Press, Baltimore, M d . , 1930). 5 E . T . Whittaker and G . N . Watson, Modern analysis (Macmillan Co., New York, N . Y., 1943). V . L. Streeter, Fluid mechanics (McGraw-HiU, New York, N . Y., 1948). 7 L. M . Milne-Thomson, Theoretical hydrodynamics (Macmillan and Co., Limited, London, 1938). 8 Harvard Computation Lab. Report No. 1, Helmholtz-Rayleigh flow streamlines and equipotentials (April 1949). This report was prepared for the Atomic Energy Commission under Contract AT(30-1)—497 Code H U X . [9: Birkhoff, Plesset, and Simmons, Wall efl'ects in cavity flow I. [10 O. L. Bowie, Electrical computing board for the numerical solution of partial difl'erential equations, Watertown Arsenal Laboratory Report W A L 790/22. 11 A. E . Kennelley, Tables of complex hyperbolic and circular functions (Harvard Univ. Press, 1914). 12 G . Shortley, R. Weller, P. Darby, and E . H . Gamble, Numerical solution of axisymmetrical problems with applications to electrostatics and torsion, J . App. Phys. 18« 116 to 129 (1947). [13] A. Lowan and H . Salzer, Coeflicients for interpolation within a square grid in the complex plane, J . Math. Pbvs. X X I I I , 156 to 166 (1944). [141 P. Montel, Sur quelques propriétés des différences divisées. Journal de Mathématique Pures et Appliquées, 9 Série, 16, 219 to 231 (1937). 15: N . Simmons, The geometry of liquid cavities with special reference to the effects of finite extent of the stream. 16 R. von Mises, Z. der Deutsche Ing. 61, 469 to 473 (1917). 17 A. E . H . Love, On the theory of discontinuous fluid motions in two dimensions, Proc. Camb. Phil. S o c , 7, 175 to 201 (1891). [18] National Bureau of Standards, Projects and Publications of the National Applied Mathematics Laboratories (Jan.March 1949). [19] L. Malavard, Le technique des analogies rhéoélectrique. Travaux du Laboratoire de Calcul Expérimental Analogique (Paris, 1949). [20] National Bureau of Standards, Tables of circular and hyperbolic sines and cosines for radian arguments, M T 3 (1939) Supt. of D o c , Wash., D . C . [21] G. GreenhiU, Theory of a streamline past a plane barrier. Advisory Committee for Aeronautics. Report No. 19, p. 35 (London 1910). [22] L . Fox, Some improvements in the use of relaxation methods for the solution of ordinary and partial differential equations, Proc. Roy. Soc. [A] 196, 31 to 59 (1947). r
'
F
h
^
•
4
4
4
14,
Conformai Mapping in Aerodynamics, with Emphasis on the Method of Successive Conjugates I. E . G a r r i c k ^
1. Introduction Some remarks of Dr. Hugh Dryden, Director of Research of the National Advisory Committee for Aeronautics, made in a portion of his recent Wilbur Wright Memorial Lecture [l] may well serve to introduce this paper. "One of the surprising developments in aeronautics is the wide utility of potential theory of a nonviscous fluid. A few decades ago classical hydrodynamics was considered as a piwely mathematical discipline, having little or no connection with the behavior of a real fluid. The practical field of hydraulics was based almost completely on empirical experiments with little underlying theory. With the advent of the airplane, and experimentation on its component parts, it was foimd that predictions made on the basis of the mathematical potential theories of classical hydrodynamics were strikingly accurate in many instances, especially as bodies of better aerodynamic form were discovered. As a result, aeronautical engineers have developed a considerable degree of confidence in the predictions of potential theory." Of great significance in potential flow theory is the theory of an incompressible fluid, even for wide subsonic flow ranges of a compressible fluid. Moreover, in the theory of the incompressible fluid that of the two-dimensional or plane flow field plays a leading rôle. It is in relation to this phase of the theory that the significance of complex variable theory and conformai mapping directly enters the aerodynamical or fluid dynamical scene. It is now over a century since Riemann's fundamental theorem of conformai mapping was first established. This theorem permits us to find the flow pattern and pressure distribution about a compUcated profile from that of a simple or standard flow pattern. For the actual achievement of this residt for an arbitrarily given single wing profile, the older methods, associated with the various mathematical proofs of the theorem, are entirely too slowly convergent in relation to a life span. Such is also the case with methods and criteria based on area distortions (associated with the names of Koebe, Bieberbach, and Hohendorf). Especially popidar in the literature has been the indirect procedure of defining classes of airfoil shapes by chosen transformations, and also the approximate methods based on thin ainoils. Practically all of the procedures prior to 1931 dealing with the direct problem have been either very laborious or approximate and not readily adapted to successive improvement. In 1931 and 1932 at the Langley Aeronautics Laboratory of the National Advisory Committee for Aeronautics, Theodorsen and the present author introduced a method for the direct treatment of arbitrary wing sections, that has remamed outstandmg in its convenience, simplicity, and generality of application. This work represents in a real sense a contribution to mathematics arising out of aerodynamics. It has been often referred to by now in the scattered literature. For the sake of completeness and to provide a proper background for some of the material to be discussed, some of the main features of this work will be reviewed. These features should find applications in many other boundaryviJue problems of current applied mathematics.
2.
Review of Features of the Theodorsen-Garrick Method
The method as applied to wing sections (exterior potential field problem) [2]* consists of two main parts (fig. 14.1): (a) Transformation of a given wmg-section profile into a near circle; (b) Transformation of the near circle into a circle. Remarks on (a). A few appropriate remarks may first be made on the transformation to a near circle. The achievement of a near circle from the given profile is highly desirable in the further developments, for it will effectively replace the given profile. It is actuaDy desired to map the profile into a t Lancley Aeronautical Laboratory, National Advisory Conimfttee for Aeronautics, Langley Field. Va. 'Fignivs in brackets Indicate the literature references at the end of tbls paper.
"star-shape'' contoiu'i that is, one in which a radius vector from the or^in intersects the boundary cm:ve only once. Although we speak of a transformation of the given profit into a near circle, actually equivalent to this clearly is any transformation of the region of the given body to a near standard region, ¿-PLANE
Z -
PLANE
f(2)
Z -
PLANE
FtauKE 14.1.
as for example, a near half-plane or near line-region, which standard boimdary can be transformed directly to a circle. For airfoil shapes the well-known transformation 2 ' = f + a V f , leading to elliptic cylinders and Joukowski airfoils, has proved to be convenient and simple enough for use as an initial transformation to invert the profile into a near circle. In conjunction with this inversion transformation it is important to choose the origin of coordinates so that the portions of sharp turning of the profile, near the leading and trailing edges, have a parabolic or elliptical appearance relative to their focii. These focii then serve to determine the proper choice of origin. For other types of bodies, other initial transmrmations may be considered appropriate. For example, even for wing profiles, the generalization of the Joukowski transformation that leads to finite angles at the trailing edge, the Karman-Trefitz transformation (based on a skeleton profile of circular arcs instead of a line segment) may be considered, although its inversion is much more difficult. In this coimection, the usefulness of lists or dictionaries of prepared conformai transformations is emphasized. Finally, it is remarked that even a residting near circle may be improved by the choice of its associated origin of coordinates (conformai centroid). Remarks on (b). As noted, the near circle in the 3'-plane replaces our ordinal profile. The next step is a decisive one, the conformai transformation of the near circle into a circle in the 2-plane. For this purpose the transformation from z' U> zis expressed in the form of the integral transcendental function
a4.1a) or (14.1b)
log|=/(2),
where f(z) is a power series in l/g,
Applying the transformation ( 1 4 . 1 ) to the correspondence of the boundaries of the circle of radius i?, z—Re^'^y and the near circle 2'=a€*''"'*, where ae* is the radius vector and B is the polar angle, and separating real and imaginary parts, we come directly to the following Fourier series relations: 2ü(«fi cos » ^ + 6 » sin n^); 1
bn cos n^-ha* sin n^).
(14.2)
where £2-
and
i{=a«^.
The mterchange of coefficients exhibited in the two infinite series is characteristic of conjugate Foiuier series. (Observe Uiat the constant ^ 0 is associated with the logarithm of the radius of the circle, and is given by
^ is associated with the logarithm of the radius vector in the s'-plane: and ^—6 is the angular displacement or ai^idar distortion of corresponding points on the boxmdaries. The correspondence of fields at infinity has been selected in this work as 2 = 2 ' and (dz'/dz) = l, thus fixing the choice of ^ 0 and also leading to the fact that I
(
The association of two functions y(^) and g{ip) defined by two conjugate Fourier series may also be expressed in an integral form: '31' 1 c
(14.3b)
2
It mav be observed that the relations essentially express the imaginary part of the boundary values, along a circle, of a complex fxmction, in terms of the real part, and vice-versa. The study of properties of a Fourier series in terms of conjugate series has led to some very profoimd mathematical developments in the theory of Fourier series. The integral relation may broadly be considered as an operation which generates functions conjugate to given ones.
3.
Method of Successive Conjugates
We may observe that the function yjf is originaUy given as a function of B, denoted by ^(fl), where d is the polar angle in the plane of the near circle. To denote ^ as a fimction of the polar angle tp of the circle, we will employ the notation ^(y). Thus (14.4) The basic integral relation corresponding to the series in eq (14.2) may be written, with tp—B designated by the function c(^), as cot
(14.5)
2
This relation is not a definite integral, but a functional equation, a nonlinear integral equation, since actually if{B) is known initially and not '^{ip). The process of solution which we have described as the "method of successive conjugates'' is as follows: Writing, in eq (14.5), * ( ^ ) = ^ ( ^ ) = ^ [ ^ — « ( ^ ) ] , we have 3»
(14.6)
«(v»0
An initial selection of the function c(^), denoted by eo, is inserted on the right-hand side. This function may actually conveniently be chosen to be zero if nothing better is known. Evaluation of the integral (see sec. 4) then leads to a new function ci(^) on the left-hand side. Repetition of the process l ^ d s ultimately to: e,(v>)] cot
2
dip.
Investigation of conditions on the given function 4f{B) and on the initial choice CQ necessary and stifficient
139
for convergence of the process is an exceedingly interesting theoretical matter. Although such conditions if sufficiently broad would be both gratifying and helpful, for practical evaluations they are not required, since at every stage the process represents a solution of a proper mapping problem and is self-checking, the deviations of tn+i and u measuring the convergence. (The appropriateness of the choice of the initial transformation to a near circle and of the origin of coordinates axe also reflected i n the convergence.) Conditions sufficient for convergence of the method of successive conjugates have been examined theoretically by S. E . Warschawski [3] i n an interesting contribution to this subject. H e defines a nearly circular curve i n a definite quantitative manner and establishes several sufficient conditions for convergence and also gives various estimates of the n t h approximations for t(
4«
Numerical Evaluation of Conjugate Functions
I n the following there is developed briefly a convenient and direct procedure for evaluation of conjugate functions. I n essence the procedure is simply a residt of direct harmonic analysis of a given function, and subsequent synthesis of its conjugate function. It is somewhat surprising that although classical i n principle i t appears to be of such recent vintage. The method has been given, at the suggestion of the writer, i n another development b y N a i m a n i n an N A C A wartime report [61.* (For related work done independently i n England and France, see [20].) L e t there be given a single-valued continuous bounded fimction ^(^), of period 2ir, whose conjugate fimction is sought. L e t the interval x < ^ < x be divided into 2N equally spaced intervals of extent 2w/(2N) = wlN=Qj and let the 2N values of the given function be written as —
^(-2)=*-i. * ( 0 ) = 4 ' Of
^(2)=*if
^{kq)
= ^^
^(Nq)='if{ir)^'^
rf}
where the 2N values correspond to integral values of the index k fro Observe that, because of periodicity, we nave
(14.7)
(AT—1) to AT, including 0.
L e t the original function ^ (^) be represented b y (or approximated by) the unique finite trigonometric series with graph passing through the 2N chosen points: (14.8a) where Z here, as elsewhere i n this section, means summing over the 2N values of s from — (N— 1) to including 0. T h i s form corresponds to the real series *(v»)=S
cos 8ip+b, sin Sip),
(14.8b)
where We first solve for the coefficients .¿1, i n terms of the 2N values of
Consider the following sum of 2N terms each term consisting of a product of
-2
*
and a unit vector e'""*',
^ a
«
where 5=
S
B y direct sununing of the geometric progression or otherwise, we obtain 0
for s 7^ m,
2N
for s = m.
B=2NS:=
T h e n the desired evaluation of the coefficients is (14.9) E q u a t i o n (14.9) corresponds directly to harmonic analysis of the function ^(^); and, as mentioned later, (14.9) determines the various coefficients of the transformation eq (14.1). T h e finite trigonometric series conjugate to the function ^(v>) given i n eq (14.8) m a y b y definition be expressed as « ( ^ ) = S ' ( « » 8 " ! s
The coefficient of
sgn « = 2 ] ^ 2 ' sgn « ^
^te
i n this expression is 2?^ S ' (sgn «)«
I
and examination shows its value to be
N
^"^
^'N
=
T cot ~
= 0
2N
for k odd, for ifc even.
Finally, grouping terms with corresponding positive and negative indices, we have « 0 = - ^
S(*.-*-Ocot|j,
fcodd.
(14.11)
F r o m the integral relation we have, i n general, ¿
=
r
X'' ^ í * ' )
^
(14.12a)
M^p' + vd-^i^'-ip)]
cotfrf^,
(14.12b)
and ,(0)=-l
( ' [^(^)->^(-^)] c o t f
(14.12c)
Comparison of eqs (14.11) and (14.12c) shows that the value of €o is obtained b y the simple geometrical rectangular rule of summing ordinates at odd stations times the width of the double interval between even stations. I n the harmonic analysis of periodic functions various writers have pointed out (for example, [7]) the pecuUar distinction of the trapezoidal rule, which yields a result corresponding to o n e given i n (14.9). Here, however, we have something even more simple, the rectangular rule. I t is observed however that, as long as we wish our evaluation of e(
(14.13)
where the sum is taken for the odd values of k, and the 2N values of * are designated
I t is known that the value of «(*») at ^ = 0 may depend markedly, i n fact exclusively, o n the local behavior of the function ^(v) near ^ = 0 F o r example, if ^(^) or its derivative d'^ldip should have a finite discontinuity at ^9=0, e(0) or, respectively, the derivative at ^ = 0 , w i l l be infinite (such cases m a y arise at sharp comers). T h u s «(0) m a y depend critically on the nature of the curve near *(0). However, the procedure for numerical evaluation just given shows that the ordinates of the curve at ^(0) do not even enter the problem. F o r the class of functions composed of a finite number of harmonics (actually equal to 2 i V - l ) , the result is exact for any such series passing through the chosen odd points and through an a r b i t r a n l y selected additional set of points intermediate to the odd set. T h e result must be considered as a property of the very useful class of curves defined b y finite trigonometric series. A c t u a l l y , for arbitrary curves, the local slope of the ^(^) curve at ^ = 0 may be significant; and the result assumes that any fairing of the curve between odd points is such t h a t no harmonics higher than 2A^-1 are introduced b y the process of fairing. It m a y also be remarked that the values of the derivatives dylz/dtp and dtjdtp, which are required i n a study of the velocity field of a flow pattern, can also be similarly developed i n terms of the chosen ordinates. Further remarks:
5.
Application of Conjugate Functions in Various Integral Equations With Singular Kernels
The process of generating a conjugate function from a given one and the associated numerical procedures can be of great utility i n other problems i n applied mathematics. I t perhaps m a y not b e considered out of place merely to indicate i n this paper the scope of such applications b y the example of how certain important integrals i n aerodynamics may almost automatically be handled with the conception of conjugate functions. * Consider the equation ,(g)^ir ^
'
IT Jo
., COS 5 — C O S a
(14.14) '
where Cauchy principle values are imphed. B y defining/(tr) to be an even function of a, and adding an i n t ^ a l expression easily identified by symmetry to be zero, we obtain sin Ö—sin
g(e) sin e
cot
2 a(r.
(14.15)
The functions g(B) sin B a n d / ( 0 ) are therefore related by conjugate Fourier series, so that conjugate Fourier series of J{B) S I
(14.16a)
C o n v e r s e l y the reciprocal relation (see eq (I4.3b)) may be employed to 3deld the solution of the integral equation as /(ö)=conjugate Fourier series of [g{B) sin
tf].
(14.16b)
F
T h i s procedm*e of relating conjugate functions may thus serve broadly as a fountain-head for rel a t i n g m a n y types of functions inventing symmetrical singular kernels; for there are numerous such kernels i n applied mathematical problems reducible to the cotangent b y various operations; for example. 1
x—y and so on.
1 cos ^—cos
V—Ö log sin 2
1—cos 1—cos
{iff—9) {fp+9)
The equation /({) 2
useful in aerodynamics and given a detaUed treatment by Sfihngen in [8], is another example for which the above procedure is directly appHcable.
6.
Remarks on the Evaluation of Flow Quantities in the Flow Field
The flow pattern for a given profile is determined directly in terms of the conformai mapping functions and the standard flow pattern past the circular cylinder. As has been described in [2], the boundary surface velocities and pressures are conveniently determined in terms of ^(^), t{*f>), and their first derivatives. In order to determine velocities and pressures in the flow field, if desired, one procedure is to utilize directly the conformai mapping fimction, the various coefficients of which may be determined from the ^(^) function as mentioned following eq (14.9). Another procedwe, described in [9], avoids the explicit determination of the mapping function, and utilizes an integral relation (generalized Cauchy formula), dip
log 1
(14.17)
R
This relation leads directly to the association of a given value in the 2-field with a value in the s'-field and by an iterative process described in [9] to the reverse.
7.
Application to the Flow Past Bodies of Revolution
It is intended to present in this section only the high spots of an application of conformal mapping to three-dimensional axial flow past bodies of revolution. The method has been developed by C. Kaplan of the Langley Aeronautical Laboratoiy and details are given in [10]. The equation of continuity apphed for this problem leads to the following equation for the velocity potential, replacing Laplace's equation in 2-dimensions: Ò /
Òip
ò x V'-^-^ò-pVòp òx
Ò /
Vo,
Òip
(14.18)
where x is the coordinate distance along the main axis and p is a perpendicular distance in a meridian plane. The basis of the method consists in the observation that the form of eq (14.18) is invariant under a conformal transformation: 2 = a: + t p = y ( { + t „ ) = / ( f ) ;
that is,
where /)=p(f,ij). Further, it is noted that the particular conformai transformation of the given meridian profile into a circle essentially yields the simplification that the parametric equations of the given profile for the two variables x and p are given i n terms of one variable |, where the radius vector i n the plane of the circle may be denoted as The circle itself corresponding to the meridian profile is given b y the coordinate i j = 0 . The actual evaluation of the coefficients of the conformai transformation is readily performed b y the procedures already discussed, i n particular from the harmonic analysis of the '*'(*») function; see eq (14.9). T h e boundary conditions to be satisfied on i j = 0 take simple forms i n terms of the velocity potential; and a process of iteration is then used to obtain the velocity potential, i n w h i c h successively one additional coefficient of the conformai transformation is introduced, the differential equation and the boundary conditions being satisfied successively to this order. T h e process is repeated, bringing i n as many terms of the transformation as are deemed desirable. I n each step certain imiversal functions occur which need be evaluated only once for all shapes and b y elementary intégrations (see [10] for details). It is to be noted that the problem of transverse flow may also be considered i n the same way, but details for this problem have not been published.
8.
Treatment of Poisson'g Equation in Some Plane Flow Problems of a Compressible Fluid
Partial differential equations more general than Laplace's equation often arise i n flow problems. I n the theoretical treatment of the difficult flow problems of a compressible fluid, iterative methods are often employed i n which expansion is made of the velocity potential, or stream function, i n terms of the M a c h number of the main stream, or i n a parameter representing the thickness or camber of the profile (see [11]). I n much of this work, the Poisson equation V2^=/(x,y) plays a central rôle. The function on the right-hand side may be associated with density changes i n the fluid and regarded as the effect of a continuous distribution of sources i n the field of flow. A procedure for treating this equation w i t h the aid of complex variables and conformai mapping [12] is as foUows: (a) I t is convenient to introduce the complex variables 7 i n place of x, in the plane of the given profile. (b) The profile is mapped onto a circle i n the Z-plane by a conformai transformation, thereby transforming/(ar,y) into a function of Z and Z . (c) The effect of a single singularity i n the external flow field (source) is found, satisfying also the boundary flow conditions. (d) Double integration of this effect over the field of flow for total effects of the distribution function is next: E v a l u a t i o n of this surface integration is accomphshed first b y the use of Stokes* theorem to yield a single integration over the boundary circle and a control circular boundary at infinity. I n this process i t is convenient to make use of various elegant results of vector analysis i n the plane employing functions of a complex variable [13]. (e) E v a l u a t i o n of the resulting line integrals is then systematicafly performed b y means of the device of creating analytic functions b y replacing Z by WjZ. Consequently the line integrals are evaluated b y Cauchy's residue theorem. I n brief, as stated i n [11], " T h e device of introducing z and 0 as independent variables, then utilizing the conformai mapping of the plane of the obstacle into the plane of a circle, and finally replacing the double integrals b y line integrals thus enables one to evaluate the first effects of compressibihty on the flow past an arbitrary shape. The point of interest to an applied mathematician is that here is a method whereby a Poissons' equation involving rather compUcated boundary conditions can be solved with the aid of analytic functions of a single complex variable. The subject is certainly worthy of further investigation."
9.
Conformai Mapping of Biplane Wing Sections
A generahzation of the methods described for single airfoils (simply connected regions) to biplanes or slotted airfoils (doubly connected regions) has been developed i n [14]. The essential features of this work are parallel to the monoplane case and consist of three parts:
(a) an initial transformation of a biplane arrangement of two arbitrary line segments onto two circles or onto an annular region; proper inversion of this transformation may yield for a given biplane ttrrai^ement a "near" annulus; (b) the transformation of the nearly annular region to an exact annular region; and (c) the utihzation of the flow pattern of two circular cylinders, in particular as developed by Lagally. The problem draws on the theory of eUiptic functions in a natural way and represents, we beueve, one of the most informative and appropriate applications of these ubiqmtous functions. In particidar we may mention only that the integral relationship central to the discussed method of successive conjugates is here replaced by two simultaneous relations representing the interrelation of four boundary functions for the two boundaries. A great deal of numerical effort is yet required to bring out properly the scope of systematic investigations in this work.
10.
Lattices or Cascades of Airfoils
The problem of determining the flow past infinite rows of airfoils symmetrically arranged is of considerable interest and utihty. It is noted that many approximate methods exist, in particular a convenient semi-graphical one being given in [15]. Treatments of lattices of arbitrary airfoils have been given by HoweU [16] and hy Garrick [9]. In the latter reference, the essential features of the method are parallel to those of the smgle airfoil case. In fact, the flow field of the lattice of airfoils can be transformed to the plane of a single circle, in which two (branch) points are distinguished, the neighborhoods of which represent the flow regions far ahead and far behind the airfoil lattice. The initial transformation of a lattice of lines is inverted to yield a ''near" circle, and the near circle transformed to a circle by the methods described. It is to be noticed that improvements in the initial transformation are desirable and should be sought, particularly to take care of highlv cambered airfoils more conveniently, in order to reduce the amount of subsequent calculations. In this connection and in order to gain useful insight into the method and results good use can be made of the inverse method of defining and creating airfoil lattice arrangements by choosing various appropriate functions S^(^) instead of working with 4f(0). This procedure would in a sense yield a glossary or dictionary of prepared mapping arrangements which would facihtate further systematic developments.
11 • Creation of Wing-Section Profiles of Desired Properties A growing hterature is developing on a so-called inverse problem, the finding of profiles to go with prescribed pressure distributions. In the opinion of the writer several diflSculties arise or exist in defining this problem, to satisfy both the mathematician and the aerodynamicist. For one thing, attempts have not been successful in making precise statements of the problem in regard to uniqueness, closure, proper trailing edge, leading edge contours, avoidance of grotesque nonstreamline figures most likely to be subject to separated flow, or of no physical significance as figures eight (or worse). For another, the prescription of pressure distributions with respect to a reference chord leads to nonuniqueness ; and prescription with regard to normals to the boundary surface leads to indefiniteness, since the physical boundaries are being sought. Another difficulty is the fact that our insight and knowledge of flow behavior are not developed to the point that an exactly defined desirable pressure distribution can be specified. We are perfectly content to obtain desired types of pressure distributions. Thus the problem retains elements of compromise and quaUtative features. Perhaps the safest and surest procedure would be to proceed from a given profile and a given pressure distribution to a quaUtatively modified neighboring pressure distribution and a correspondingly modified profile (see for example [17]). In this regard ^(v?) and t(
12,
Velocity Correction Formulas
The conception of "velocity correction formulas" has arisen i n attempts to associate the velocities and pressures i n the flow field about a body i n a compressible fluid with those about the same body in the incompressible fluid. The search for such simple concepts has of course been greatly prompted by the difi&cult mathematical nature of the flow equations of a compressible fluid and b y the fact that no exact relevant solutions are known for closed bodies. The procedures leading to velocity correction factors are best developed b y use of the hodograph variables. I n [21] a discussion is given with spcMcial reference to correction formulas of Prandtl-Glauert, von Kérmân-Tsien, Temple-Yarwood, and GarrickEaplan. Since these correction factors attempt to relate the solutions for the compressible and incompressible fluids, the conformai mapping methods, associated with the latter, are pointed up. Comparison of results obtained by these simple and cheap methods, with those obtained by long and tedious iteration methods, leads to the conclusion that the factors can be remarkably good for subcriticaJ subsonic flows. Such a comparison is given i n [11, p. 41] where it is stated: " T h e agreement between the two methods over such a wide range of thickness coeflicients and stream M a c h numbers is remarkable. Indeed the development of velocity correction formulas and their use i n the prediction of compressibility effects should be considered as an outstanding achievement of theoretical aerodynamics. For, consider that the problem of compressible flow involves a nonlinear differential ecjuation for which very httle mathematical treatment is available, nevertheless with the aid of a few simple ideas and very little labor the essential residts can be obtained b y means of velocity correction formulas." Though no completely logical justification can be offered for such overall corrections, they would seem to have at least as much merit as "sampling processes" that have been mentioned for some partial differential equations. The topic is an intriguing one and deserves to be made more precise. It has been brought up here mainly because it calls attention to additional usefulness of conformai mapping.
13.
Concluding Remarks
It has been the aim of this paper to sketch general conformal mapping methods of applied mathematics which have arisen and have been developed because of incentives of aerodynamical investigations. It need hardly be stated that the flow problems and methods bear a close relationship to the classical boundaiy-value problems of Dirichlet and Neumann and to the determination of Green's functions. Avoiding burdensome details as far as feasible we have indicated how the methods may be adapted to routine numerical procedures and have pointed to some fields of endeavor to be filled out b y numerical applications. Numerous broad aerodynamical applications have been completely omitted. A few among these concern such problems as various flow interference effects including body-wing interactions, and boundary jet corrections for wind tunnels, phases of nonstationary flows, boundary layers, downwash and loading distributions, " c o n i c a l " flows at supersonic speeds, and bodies i n ciu^ed flows. The importance of having available exact results for potential flow is not to be underemphasizcd. These results serve as a standard to which to refer results of all approximate methods of a nonviscous flmd, and further, as the ideal to which to refer results, both experimental and calculated, that take into accoujit viscous effects of a real fluid. Finally, another objective of this paper has been to emphasize that conformal mapping is not circumscribed i n its utility to classical two-dimensional incompressible flow problems, for its applications may deal also with flows i n space and with the flow of a compressible fluid.
14.
References
(1) H . L. Dryden, The aeronautical research scene—goals, methods and accomplishments, 1949 (37th) Wilbur Wright Memorial Lecture, London, April 28, 1949, Royal Aero. Soc. 2 T . Theodorsen and I. E . Garrick, General potential theory of arbitrary wing sections, N A C A Rep. No. 452, 1933. 3 S. E . Warschawski, On Theodorsen's method of conformal mapping of nearly circular regions. Quart, of Appi. M a t h . 3, No. 1, 12 to 28 (April, 1945). [4j H . Wittich, Bemerkungen zur Druckverteilungsrechnung nach Theodorsen-Garrick Jb. dtsch. Luftfahrt-Forsch. I, 52 to 57 (1941). See also same author, Z. angew. Math. Mech. 25/27, 131 to 132 (1947), and Fiat Review of German Science 1939-1946. Applied Math. Part I, Practice of conformal mapping, by K. Ullrich, 93 to 118 (1948). [61 E . Study, Vorlesungen Über Ausgewählte Gegenstände Der Geometrie. Zweites Heft, Herausgegeben unter Mitwirkung von W. Blaschke. Konforme Abbildung Einfach-Zusammenhängender Bereiche. (B. G . Teubner, Leipsig u. Berlin, 1913). [6] I. Naiman, Numerical evaluation by harmonic analysis of the c-Function of the Theodorsen arbitrary-airfoQ potential theonr, N A C A Wartime Report L-153 (originaUy A R R No. L5H18, Sept. 1945). m W. E . Milne, Numerical calculus, p. 302 (Princeton University Press, Princeton, N. J . , 1949). [8 H . SAhngen, Die Lösungen der Integralgleichung
9(x) TragflQgelthi
m di 2rJ-a X - l
[9] I. E . Gftrrick, On the plane potential flow past a lattice of arbitrary airfoils, N A C A Rep. No. 788» 1944. 10 C . Kaplan, On a new method for calculating the potential flow past a body of revolution, N A C A Rep. No. 752, 1943. 11 C . Kaplan, A review of approximate methods in subsonic compressible flow, N A C A - U n i v e r s i t y Conference on Aerodynamics: A compilation of the papers presented, Durand Reprinting Committee, Cal. Inst, of Tech., 29 to 47 (June, 1948), [12] C. Kaplan, On the use of residue theory for treating the subsonic flow of a compressible fluid, N A C A Rep. No. 728, 1942. 13 L. M . Milne-Thomson, Theoretical hydrodynamics (MacMillan and C o ^ London, 1938). 14 I. E . Garrick, Potential flow about arbitrary biplane wing sections, N A C A Rep. No. 542, 1936. 15 S. Katzoff, R. S. Finn, and J . C. Laurence, Interference method for obtaining the potential flow past an arbitrary cascade of airfoils, N A C A Tech. Note 1252, 1947. 16 A. R. Howell, Note on the theory of arbitrary aerofoils in cascade. Royal Aircraft Estab., Note No. E3859, Mar., 1941. 17 T . Theodorsen, Airfoil contour modifications based on c-curve method of calculating pressure distribution. N A C A Wartime Report L-135 (originally A R R L4G05, July, 1944). [18] T . Theodorsen, and I. Naiman, Pressure distributions for representative airfoils and related profiles. N A C A Tech. Note 1016 (1946). 19 I. H . Abbott, A. E . VonDoenhoff, and L. S, Stivers, Jr., Summary of airfoil data, N A C A Rep. No. 824. 1945. 20 S. Goldstein, Low-drag and suction airfoils, the Eleventh Wright Brothers Lecture, Jour, of Aero. Sciences, No. 4, 189 to 214 (April, 1948). [21] I. E . Garrick and C. Kaplan, On the flow of a compressible fluid by the hodograph method: I—Unification and extension of present-day results, N A C A Rep. No. 789, 1944; II—Fundamental set of particular flow solutions of the Chaplygin differential equation, N A C A Rep. No. 790, 1944,
are:
Other references and bibhographies are contained i n the foregoing references.
T w o notable omissions
T h . von K i r m ^ n and E . Trefftz, Potentialstrommung um gegebene Tragfl&chenquerschnitte, Z. F . M . t . 111 (1918). L . Lichtenstein, Neuere Entwicklung der Potentialtheorie; Konforme Abbildung. Encyklop&die der Math. Wissenschaft Bd. II, Analysis, Teil III, No. 3 (C3), 1919.
15.
O n the Convergence of Theodorsen's and Garrick's Method of Conformai Mapping' A. M . Ostrowski*
Introduction We consider a simple, closed, rectifiable curve C in the w-plane, tr= pc**, containing the origin in its interior. The equation of C in polar coordinates may be (15.1) 9 being the vectorial angle, where P(tf)=lg p is uniform, continuous and periodic with period 2 T . Let «'=y(2),
/(0)=0,
/'(0)>0,
2=rei9
(15.2)
give the conformal mapping of the interior of C upon the interior of i?., the unit circle. and is boimded, we obtain for C the parametric representation ^=<^(*>)=arg/(e"'),
p = |/(OI
If P'i?) exists (15.3)
In order to obtain a functional relation implying the unknown function B{ip) we consider the branch of the function Ig (/(2)/2), which is real for 2=0. This branch is in regular and uniform and remains continuous on the boundary.' Since for 2=c** we have 9ílg:ííf)=F(^(^)),
3lgM=^(^)
for an unknown integer m, we see that the function 0(^)—^ is the conjugate function to P(9(^)), that is to say that the Fourier series of (^(v>)—^ is an allied series to that of F(0(^)). The function B{tp)—tp is a periodic fimction with a period 2 T and represents the boundary values of the harmonic function ^ Ig {J{z)lz); since according to our assumptions this hannonic fimction vanishes at the origin, we have, by Gauss' mean value theorem.
X
2v
(15.4)
tp)dtp=(i.
can
•known e{ip)—ip
t
P(^^-O)]cot^á<.
(15.5)
Equation (15.5) is a nonlinear integral equation for 6{ip) and the starting point of Theodorsen's and Garrick's method for the determination of B{ip) [8, p. 11]^ and [9, p. 8 and 9]. As soon as 9{ip) is determined the functions/(3)/s and/(2) are obtained for instance from Poisson's integral and the problem of conformal mapping can be considered as solved. In the last 40 years very much subtle and ingenious work has been spent on the right-hand integral in (15.5). It was thus all the more a siuprise to the pure mathematicians that the frontal attack launched on the integral equation (15.5) by Theodorsen and Garrick in order to obtain numerical results, met > The iM'eparatlon o( this paper was sponsored (tn part) by the Office of Naval Research. 'National Bureau of Standards, Los Angeles, Calif., and University of Basle, Basic, Switterland. * Compare raferenoe C3|. tFifforea In b r a c t s Indicate the literature references at the end of this paper.
with full success. In many contours used in aerodynamics the first two steps alone of the method of successive approximations elaborated by Theodorsen and Garrick give an approximation suflficient for all practical purposes. Theodorsen and Garrick start from an initial value ^o(^) and derive a sequence of functions 9,(^) by the recurrence formula -Lj;im(^+o)
P{e,{9-m
cot I
A,
0,1,2,
(15.6)
In all the examples treated by them this sequence $,(^) converges rapidly to the function 6i
(0<Ö<2x)
(15.7)
0(ei).
(15.8)
and proves then
Under the further assiunption that for the same value of c (15.9) Warschawski proves even (15.10) further, under the additional assimaption (15.11) he proves that 6^,M converge imiformly to ö'(^) and that even (15.12) In his discussion Warschawski obtains not onlv the general estimates (15.8), (15.10), and (15.12) but also the corresponding inequahties with explicitly worked out niunerical coefficients.^ The leading idea of Warscnawski's method was the use of Parseval's formida and the inequalities between the mean values of the squares of conjugate functions derived from it, and the same type of argument is used in the present paper. Warschawski estimates in the first line the mean values of (B,~ fff, {$',~ 0^ and i^—B^^i from these estimates appropriate limits tor \9w—6\,\K—B'\ are easily derived. The choice 0O(^)B^ adopted throughout by Warschawski is even from the theoretical point of view an imnecessanly restricted one. ^though Theodorsen and Garrick usually start with this initial value the^ point out themselves in a certain example that this choice is a "relatively poor one". They say explicitly, "Indeed, the closer the choice of the function 'ZiO) is to the final solution 1(9), the more rapid is the convergence".* We show in this paper that the results of Warschawski can be proved and improved also imder the hypothesis of a more or less arbitrary initial fimction 6oOp). We prove that (15.10) remains valid if the inequality (15.9) is replaced by the assumption that |P''(0)| is uniformly bounded and that already under this assumption tlie sequence converges io$'; we obtain (16.13) T h e estimate (15.12) can be derived under the hypothesis that both \P"{B) and P'"(B) are uniformly b o u n d e d — i t is not necessary that they are " s m a l l " . A s a matter of fact we prove the ore general theorem i n which under the hypothesis (15.7) and the assumption that the first m derivatives of P(B) are imiformly bounded, the uniiorm convergence of the first m-1 derivatives of B, to the corresponding derivatives of B is shown. However all these results, although important from the theoretical point of View, cannot be immediately applied to the problems of practical computation. I n practice we do not work w i t h B, as they are derived successively from formula (15.6) but w i t h modified functions which are obtained from the > Further he iiiTestlntes what range of valaes of • wonld ensiua that the oontoors corres; * |0» p. 13]. T h e last remark must not hoveTer be taken too literally.
idlng to the approxlxnatlng functions #>(i») would be star^ehaped,
integral i n (15.6) by approximate integration and undergo under circumstances certain smoothing processes. F o r that reason i t is practically more important to obtain a good estimate of error of the initial function do and to derive an estimate for the corresponding function ^ i , estimates which may then be used at each step of the computation. Such estimates are given i n theorem 1, formula (15.54), and i n theorem 2, formula (15.60). In our discussion we concern ourselves with a generalization of equation (15.5) i n which
cot
^dt.
(15.14)
I n this case we camiot any longer assume the existence of a solution of (15.14) which followed i n the case of equation (15.5) from the general theory of conformal mapping. However, it is possible to prove the existence (and the uniqueness) of this solution under hypothesis (15.7) and the existence of its derivatives up to the (m — l ) s t order, if P{d) has bounded first m derivatives. We deal from the beginning w i t h (15.14), although i n the case of (15.8) where the existence and the properties of a solution ${ip) can be taken as granted, the discussion can be a little simplified. T h e results are contained i n the theorems 1-3, which are proved i n sections 4 to 6 of the paper after some lemmata are developed in sections 1 to 3. I n section 1 we give a table of notations which are employed throughout the paper without being each time introduced anew. I n this paper we deal only w i t h the theoretical aspect of the method. I n the following paper* we develop a practical procedure for this method.
1.
Notations*
Lemmata 1-3
I n what follows we use throughout the following notations: 37=
/ ( * . - « ) ) cot I d<,
(15.15) (15.16)
2 P«=P»>(^)=P<*>((?.(^)) D!f'=^!^ieifU-'en'
F,=P?> D.=^Dr
(Jfc=0,l,...;.p=0,l,...),
(15.17)
(it=o,i,...; 1^=0,1,...),
(15.18) (15.19) (15.20) (15.21) (15.22)
2 Lemma 1.
We have if P'{B)y . . . , P^'^^B) and 6\ , , ,
(15.23)
2
are continuous
dm P((?W)=P'(e)fl<->+B„(«). m dip
(15.24)
where
(15.25) B„(0)=TOP''(«)e'e'"-"(m>3), • Bee paper 16 In this volume.
(15.26)
Atn(e)=T,P'^(e)C„.Áe% Í.-2
and Cm,» ore polynomials in 6', ...
. . . ,
Í?*-»»),
(m>3),
with integral numerical coefficienis.
, d^"*
In particular
we have (15.28)
T h e proof b y mduction is immediate. Lemma
T >
2. (Minkowski's we have
inequ/iliiy).
IJ }\{.*p)y /a(^), - • • , /*(*») or^ integrable in the square (15.29)
T h i s follows at once from the integral form of the so-called general M i n k o w s k i ' s inequality [4, p. 3 1 , 146]. Lemma 3. (Warschawski*s inequality) [10, p. 18]. IJ J(
j(
j(€fdt
dt
Jo
(15.30)
r2T i J(
ProoJ: Under the hypothesis J
from (15.30). the identity
J(ip)dip=0 there exists avalué i¡f with /(^)=0, and (15.31) follow:
T o prove (15.30), we can assume without loss of generality that ^ < ^ < ^ + 2 T .
From
V+2r
J(id'~J(
£j(t)rit)dt
2 I
4'
J(t)f(t)dt
it follows that JM'-My\<2£\ff'\dt.
fi
JW-MYl
J
V / ' l dt+ 2J^"\JJ'\di
j =
dt
X
mm,
and (15.30) follows from the Cauchy-Schwarz inequality.
2.
Properties of Conjugate Functions.
Lemmata 4 - 5
If U(
''^+
sin vfp)
(15.32)
can be written down although this formula is to be understood in the well-known symbolic sense. In this case there exists also a function V(
cos v
(15.33)
i
V(^) is defined uniquely except on a zero set. A n y of the functions V'(^)+const. is then called the conjugate or allietl function to U(tp). A m o n g a l l these conjugate fimctions the functions corresponding to the development (15.33) are characterized by the equation (15.34) A periodic function with period 2x satisfying (15.34) w i l l be called normed. formula that if V(
It follows from Parseval's
(15.35) If y is a normed conjugate to
we have i n particular from (15.34) and (15.35): (15.36)
^(V^<^(Í7^.
If among the fimctions conjugate to Z7(^) there exists one Vi(v) which is piecewise continuous, then only the functions Vi(«>)+const. are to be called conjugate to L^(^) and m a y only be subject to modification i n the points of discontinuity. In this sense the following theorem is true: Lemma 4. Ij U(
I n applying this result repeatedly it is generalized i n the following way: Lemma 5. If U(
If U(*p) is periodic w i t h period 2 T and U'{^) function, V'(^) to Ui
is integrable, then we obtain a normed conjugate
F(^)=rC7(^),
(15.37)
where the integral on the right (15.15) converges for almost a l l values of v>. - I n particular this converges c e r U i n l y for a l l values of for which UM has a finite derivative or more genersJly a Lipschitz condition of positive order.
3.
Le
M i l l
ata on Certain Recurrent Formulae.
Lemma 6. Let «, a and b be three constants with 0 < < < 1 , a>0, an infinite sequence of nonnegative numbers satisfying the inequalities +
X,+i
b^pr,
b>0,
Le I I I 1 1 ata 6-8 ami X,(p=0,
1, 2,
. .) be
(15.38)
Then if
+a(l-€) X
(15.39)
1
is the one positive root of the equation
(15.40) we have for all Xw-
X < m a x (Xo,\). Proof:
If we have for one v: Xw<\,
it follows from (15.38)
X+i<«X-|-a+6Vx=X. * For proof, see |7, p. 2231.
(15.41)
If on the other hand X r > X , we have by (15.38)
therefore X,+i
and we have in any case
X + i < n i a x (X,X). (15.41) follows now by induction. Lemma 7.
Let X,{v=Ofl,
. . .), be a sequence of nonnegatwe numbers satisfying the recurrence formula
X„+i<Xn + (7on'V^+<^in''+<72V^(S/«'X;y where Co, Ci, C^t i j , r, are positive constants with IJT = 1, O - ^ O , p a positive constant>2
( n = l , 2 , . . ,).
Xn
(15.42) and c a
(15.43)
Put
(15.44) and take an integer n^ with 1
«o>(^')'"*
(15.45)
T h e n we will prove (15.43) with a = m a x (x^
. . . , ^ - . i ^ '
(15.46)
We prove this by induction, assuming that (15.43) is true for I, . . . , n and showing that then (15.43) is also true for n + 1 . B y (15.46) it is sufficient to assume n>no. T h e n we have to show that
-X',+eon'V^+6'xn'+<7,Vn(i: v**'X;)'<«(n +1) and by our assumptions it is sufficient to show that
this will follow certainly from
that is by (15.44), from a
(71+
lY'-'-n'-^'-n'^-Ciifii
But we have
and we have therefore only to show that a(pn''-C,-yJn)>C,n\
°^^^'>n^-%
.^->ni-'+5^-
(15.47)
But from (15.45) and (15.46) we have
and by adding we obtain (15.47). Lemma 7 is proved. Lemma 8. Let X (v=0, 1, . . . ) a ««fi^nctf of nonnegative numbers satisfying the recurrence formula
P^€iX?y+C,
Xl^^<€Xl+C,n^Xn+Ct(^^
( n = 0 , l , , . ( 1 6 . 4 8 )
where t, Cu Cj, Cz, i ; , r are positive constants and nr = \y c < l . Then the sequence X is bounded. Proof. On applying lemma 7 to the sequence X\ with
then ^Xn is bounded as n-> <» and the same is true for
v^^^f^ • XI satisfies therefore an inequahty
of the form XU,<^l+a
and our assertion follows from lemma 6.
4. Theorem 1.
Theorem 1.
Convergence of
B,{tp)
Let P($) be periodic with period 2 T and have a uniformly bounded derivative P'(B),
P'(6)l <e,
€<1,
(15.49)
where the constant e is positive and <1.^ Let 0o(f) 7(^) ^ « two functions of ^ absolutely continuous^ vhiU and y'(
( n = 0 , l , . . .).
Bn+iM--yM+TP(Bn) a.
(15.60)
Then the integral equation
(15.50a)
BW)-TP{e)=y{ip)
has one and only one continuous solution B{
(15.51)
D,<Ee 2T IK<2^é'+^^<2n+~
. 2T
B,+I-B,\<2^TE(^€'+j^^^^^
B^-B
B,-B\
<
1 - V Í
V
This condition is a very sharp one; In 1M7 H . Wittlcb |13] gave wltbout koowln« Warsehawskl't paper as a sufficient oondlUon t
M9581—52
11
(15.52) (15.53)
(15.54)
(15.65)
^/^/K'<ß^'+Y^^
(15.56)
T h e part j8 of the theorem follows at once from the lemma 5. W e have b y (15.50) for n = l , 2, . . . Proof:
9n+l(^)-«(v') = T [ P ( < ? , ) - m - l ) ] and therefore b y (15.36) P„ = V ^ ( < ' « + i - ' ? « ) ' < V ^ ( m ) - m - i ) ) ' < « V ^ ( ö , - Ö „ - i ) 2 = e Z ) , - i ,
and therefore b y induction i n virtue of (15.19) that is (15.51). A g a i n i t follows from (15.50) b y lemma 5 eUi-y'==TP'{en)eL
and therefore b y (15.36) Thence b y (15.29) and b y (15.20) and (15.21) i n iterating this repeatedly
and (15.56) is proved. I t follows now b y (15.29)
and (15.52) is proven.
B u t then, b y lemma 3 Ö„+i-Ö„|
that is (15.53).
I t follows that the series
^o+S
(Bw+i—0,) is convergent
uniformly i n a n y finite
interval, that is, that the sequence B,(ip) tends uniformly to a l i m i t 6(ip). W e have then
r ^ J , ? /
=
—
T
w
T
—
*
'
and (15.54), (15.55) are proved. $ is measurable, P{B) measurable and bounded and T{P{B)) exists almost everywhere. by (15.50), (15.49), and (15.36) f o r n ^ « : ^|J^mP{B)) + y-Bf<
^|UaT{P{B))-T{P(ßM+
V ^ ( ö « + i - ö ) ^ < ,^^{ß-B,f+
Then
V^(Ö«+i-^^-*0,
and (15.50a) follows. T o prove finaUy the uniqueness of 9(v»), assume that there are two solutions B{tp) and B*{tp) of (15.50a). T h e n we have B- B*=T{P{e) - P(0*)),
and therefore b y (15.49) ^{B-By
J^XB" By < ^/{P{B) - P{0^)f
I t follows, since B-B* is continuous. 0-^=0.
5. Theorem 2.
A,
Theorem 2.
Convergence of
e^ifp) and e'X<^
Suppose that beyond the hypotheses of theorem 1 P"{$) exists and is bounded:
(15.57) Then we hare
^«+1-01. <^2jrEE'nt'' ne
en~e\<'^'2irEE'
(1-0
(n>0),
(15.58)
(n>0),
(15.59)
(n>0).
(15.60)
B. Suppose that beyond the hypotheses of A, 0o(ip) and y'{
-Oil)
(15.61)
=0(nt'')
(15.62) (15.63)
Bu (-1—^n--Oi^fiit^)
-0(V^€")
(15.64) (15.65) (15.66)
Proof.
Under the hypotheses of A we have B:^,-B:=TiP'iBn)
B: - P X ^ - O B : . ^ ,
and therefore a l l B^ (^)^re'absolutely continuous, while Bl (tp) are integrable w i t h their squares. iyn'<^/iP'(Bn)B:
Further
- T O - i ) < ? :-i]^
The bracketed expression is equal to p'iBn) (B: -
- i)+(P'(-) - p'(B^ -1)) ^ : - 1
and its modulus is b y (15.49) and (15.57) is less than or equal to
therefore b y (15.29)
í>:<*2):-i+i7aV-^(.-<í-i)'í:'-i Put
now - / D Í = í í ' « * : t-hen b y lemma 3 and b y (15.51) Bn-^Bn-l\<^|21rE
g,^,i--'
and (15.67) becomes b y (15.56) gl
(n>0)
(»>o).
(15.67)
W e have therefore
+ that is (15.58).
F r o m lemma 3 we have now »+1
that is (15.59).
Bn I < V2irZ>«P: <E'^j2iE
71«"
(n>0),
F i n a l l y we have Bn-B\<J^\e,^l-Br\<E'^}2'KE
2
(»i>0),
I — »
and (15.60) follows at once.
T h e part A of the theorem 2 is proved.
U n d e r the hypotheses of part B we have
and b y (15.36)
T h e bracketed expression is equal to p:'^^{e:,^-B:y+2BLP:^^{Bu,~B:)+B:'^^^^
and its modulus is i n virtue of (15.57)
B y (15.29) i t now follows that (15.68) where 5=v^(
(16.69)
r=V^[(F:'+t-p:'Wi.
(16.70)
Here we have p:\,-p:\<2r„. P u t now for i ' = 0 , 1 . . . (15.71) T h e n we have from (15.70) (15.72)
T<2vtUn.
F o r the different terms of S we obtain b y lemma 3 a n d (15.56) and (15.58)
«:+.-e:i
^'zm
e:y=^0(.nU'D:),
V ^ ^ l ( < ' . + i - W 1 < ^2T D . D:
+1
=0(F«)
and therefore b y (15.68), (15.69), and (15.72) D:'^,'-éD:=O{n'€-D':)
+
(An%^^/D:'J+0(Un)+0{V,}
a 5.73)
To express Um and V« we start fro
From this and by lemma 3 we have
l«:i
C7.=0(l)+0(s«*V5jy-
(16.74)
Put now U\ = Un-x+*Un-t+
• • • +«-'l7o=S«-'-*C^-, y»0
(n=l,
2 . . . ( 1 6 . 7 5 )
Then we have by (15.74) f o r n > l : (15.76)
W^, = 0 ( l ) + 0 [ ( S / e ^ V S j ) From C i - Y ' ^ n P X + P I O w e have by (16.29), and (15.36)
+
by (15.71).
Thence, since by (15.71) and (15.21)
we obtain
and we have finally
V.=0(1)+0[(zj Introduce this and (15.74) into (15.73).
Put now J^=z,,
v'Sj)'"
We obtain
Then we have
for suitable constants cu c^, C|.
From lenmia 8 we have now x,=o(i),
D:=O(I),
that is (15.61). By lenmia 3 and (15.58) it follows further fl:+,-d; = 0(n€i). Therefore S
(dJ+i—^0 converges uniformly and ^i(^) is uniformly convergent to a continuous function.
which must be 9'(tp). We see further that $1 must be uniformly bounded.
We return now to (15.67) and use that €^ is uniformly bounded.
Then it follows from (15.51)
In iterating this we obtain
2?:<(2?í+íw;)«"=0(n€»), that is (15.62), and therefore by lemma 3 1+1
BL-B'=0
and the theorem 2 is proved.
6.
Theorem 3»
Convergence of B^^^)
Theorem 3. Let for an integer m>l the function P(B) be periodic with period 2v and suppose that has bounded derivatives up to the order m: P^W
(0
..
m),
(15.77)
where i ; i = € < l . Let Bo(
(;i=0,l, . . . , m - l ) ,
DS^=0(n^€*) D
continuous
(15.78) (15.79)
Oil),
e:ru-(>lr'=0(w+it')
(M=O, .
m-2),
(15.80) (15.81)
ffW_flW
= 0(n'+»€")
( 0 n
m-l
(AI = 0 ,
,m-2),
(15.82)
n\
2 e V .
(15.83)
We prove first the properties of the B,{(p) under a. They are true by hypothesis for i ' = 0 ; suppose that they are true for a certain value of then for this value B,+i{
D»> = 0(n'^€-)
( X = 0 , 1, . . . , m - 2 )
(15.84)
e + i - « . * ' = 0(n^+*«")
(
in-a
(X=0, . . . , m - 3 )
j i \
^a>_^w = 0 ( ^ x + i ^ » )
(x=0, . . . , m - 3 )
It follows then that each of the m—1 sequences ( X = 0 , 1, . . . . m - 2 ) converges uniformly to a l i m i t which is respectively B^M, that therefore B(^) has m—5 derivatives, and further that a l l expressions
1^1=0(1)
(X=0, 1, . . . , m — 2 ;
n = 0 , 1, . . . ),
t h a t is are boimded from above b y a constant independent of n and X. Since Bn+i—Bn+i is conjugate to P „ + t — P „ we have b y lemma 5 for k=m—l
or m
Therefore b y (15.36)
I P(^.+0 l^dtp
d
i Pi»n) dtp
a n d b y lemma 1 and (15.29)
where T,"', T ? ' designate respectively the first and second square root to the right. W e discuss first r,<»>. B y lemma 1 we have T^" = 0,
a n d for Ji;>3 b y (15.26) i n the notation of lemma 1 TIT < k - v C ^ ^ I ^ ^ X i T e r ^ ^ P r f i : ^ ^ +
I ^ ( 9 . + 0 - AMY
(fc > 3).
W e have obviously for k=2, m = 3 b y (15.77) and (15.90) p:+.«;v.-p:c=p:+.(c+.-o+(p:-i-p:)C=o(i9:+,-o;i)+r)(ie.H.,-#,i), v . ^ ( / ^ + . e . - p : o ' = O ( D : )+0(0.),
r^»=0(n«»). F u r t h e r for fc > 3 i n virtue of (15.77)
'.+1
0 . + ' » 2 ^ - '
0( 0.^-,» - 0." - " I)+0(10» a n d this is b y (15.86) w i t h X = 0 and b y lemma 3 equal to 0(
- e,
e; 11+1
e:i+iai9;.Mi 1«.»+-."
I (19,+. - 0.1+19U. - «: D),
It follows now by (15.29)
(15.95)
^j:MPu^e:^^^
Further it follows from (15.77) and (15.59) that P*^«?»+i)=P^(.)+0(e")
(M=0,1, . .
m-1)
and therefore in virtue of (15.27), by lemma 1 and by (15.90) and (15.28):
^«-,(^«+I) = SP^H»)CI..(«UI, . . A^(en+y) = ^
P^(en)C„M^U
• .
(15.96)
e+-.'0+O(e-),
(15.97)
e+-,^0 + O(l),
M
M-2
where Am-i{B) is the expression from lemma 1. Again we have by (15.86) and (15.87), since the expressions
(7„_,.,(^,+ „ . . ., Birn-Om-iMr C^M^u
. • *.B^^'?)-C^M.
• .
M
Ck,M are polynomials,
e-")=o(n"*"%")
• . .,e-^0 = o ( n ~ / )
(M = 2, . . . . m - 1 ) (M = 2, . . .,m).
Therefore we have A«-i(e«+i)=X-i(O+0(n""%-),
^«(e»,+i)=^«((?0+O(l),
V^l^-.-i«'-+0-^-.-i«'-)]'=O(n"-^")
(15.98)
V^[^«(^«+i)-^«(M'=0(l).
(15.99)
If now i t = m , it follows from (15.93), (15.95), (15.85), and (15.99) rj"» = 0 ( l ) + 0 ( V ^ € ^ V ^ ^ n ^ ' " ' ) »
(i5:=m>3).
(15.100)
If on the other hand we have k=m— 1, T ? * is given by (15.94), and we can therefore assume A:>3, m > 4 ; but then (15.84) is applicable for X = 2 and for x = ^ — l = m — 2 and (15.90) is applicable for X = 2 . We have then
v^(p:+i^:+ie+-i"-p: (»:<'."-")»=o{n^ « - ) + o ( n i « » ) = 0 ( 7 1 -
«-).
In combining this with (15.93) and (15.98) we obtain finally r i ~ - » = 0(n"-=^€'»)(^ = m = 3, 4, . . .),
(15.101)
since this is true also for m = 3 in virtue of (15.94). On the other hand we have for T\
and therefore by (15.29) and (15.59)
Introducing this and (15.101), (15.100) into (15.91), we obtain I>«Vi"<«Z>^-" + ^ ^ n " - ^ « ) + 0 ( V n e " ) V ^ ^ * " - " %
(15.102)
Düt^
tD£^ + 0(1)^-Oi^ßtt^ZÏÏ^^
+ OCVi^/V-^ö/-«»),
(15.103)
O n the other hand i t follows fro F-1
that -1
(15.104)
F-0
(15.102) assumes now the form
or if we put generally Z?*"~" = e ' X
(»»==0, 1, . . .), -1
and b y lemma 7 w i t h ^ = 0 we have
and this is (15.78) w i t h M = » » - 1 . I t follows now from (15.104) for k^m(15.103) becomes i n introducing (15.104) w i t h k=m • B—1 i?.^i«I>.^ + 6 V ^ « » S Z > ^ +
B-l
»
\ that ^ f l ^ " " ' is 0 ( 1 ) .
0(l)<eZ?^>+<7S€*^.'^+0(l),
»-0
F-O
(15.105)
and i f we apply the lenuna 8 i n replacing there « b y « * we see that Dir* = 0(1). and that is (15.79). W e see now that the sequence ^ J " ' " is uniformly convergent to a continuous function which must be and (15.82), (15.83) follow now immediately from (15.81). T h e proof of theorem 3 is completed.
7,
References
[1] S. N . Bernstein, Sur l'interpolation trigonométriqué p&r la méthode des moindres carrés, C . R. Acad. Se. de r u . R. S. S. 4 , (1934). [2 C . Carathéodory, Conformai representation, Cambridge tracts (Cambridge University Press, Cambridge, 1932). [3 I. E . Garrick, Conformai mapping in aerodynamics with emphasis on the method of successive conjugates, see this volume. 4 G . H . Hardy, J . E . Littlewood, and G . Pölya, Inequalities (Cambridge University Press, Cambridge, 1934). 5 I. Naiman, Numerical evaluation of the «-integral occurring in the Theodorsen arbitrary-airfoil potential theory, originally issued April 1944 as Advance Restricted Report L4D27a. [6] I. Naiman. Numerical evaluation by harmonic analysis of the «-function of the Theodorsen arbitrary-airfoil potential theory, N A C A Wartime Report L~1.53 (originally A R R No. L6H18, Sept. 1945). 7 W. Seidel, Über die Ränderzuordnung bei konformen Abbildungen, Math. Ann. I M (1931). 8 T , Theodorsen, Theory of wing sections of arbitrarv shape, N A C A Report No. 411, 1931. [9 T . Theodorsen and I. E . Garrick, General potential theory of arbitrary wing sections, N A C A Report No. 452, 1933. [10 S. E . Warschawski, O n Theodorsen's method of conformai mapping of nearly circular regions. Quart. Appl. Math., in. No. 1, 12 to 28 (April 1945). [11] E . J . Watson, Formulae for the computation of the functions employed for calculating the velocity distribution about a given aerofoil. Aeronautical Research Council, R. and M . No. 2176, M a y 1945. [12] H . Wittich, Bemerkungen zur Druckverteilungsrechnung nach Thoodorsen-Gamck, Jb. dtsch. Luftfahrt-Forsch. I, 52 to 57 (1941). [13] H . Wittich, Konforme Abbildung einfach zusammenhängender Gebiete, Z. angew. M a t h . Mech. vol. 25/27, 131 to 132 (1947)
•49081—92
12
163
I
16.
O n a Discontinuous Analogue ot Theodor sen's and Garrick's Method ' A. M . Ostrowski '
The integral equation e{^)-y{^)=^±£
cot | dt
[P(e(^+t))-P{e{
discussed i n the preceding paper ' is solved theoreticaUy b y a method of successive approximations w h i c h involves the repeated computation of the singular integral occurring i n the equaUon. I f this i n t e ^ a l is replaced b y a n approximating stun, i t is very diflBcult to estimate 3 i e influence of the approxi m a t i o n errors on the convergence of the process. W e w i l l therefore consider i n what follows a n approximating problem obtained b y replacing the singular integral i n our integral equation b y a sum and give a procedure for the complete solution of this problem. The difference between this solution a n d the solution of the original mtegral equation can then be discussed b y using the results of our preceding paper a n d involves only a single discussion of the approximation errors. O u r procedure depends upon the two foUowing theorems. Theorem 1. Consider for a positive, odd integer p=2n+l
the two sets of p values
2FT 9'f
P
— ( " = 1 1 2 , .
.
(16.1)
Then 3m p
X — Xp
(16.2»)
is a trigonometric polynomial of degree n satisfying the conditions gp=g(x,)
( v = i , 2 , . . ,,p),
(16.3)
The normed * conjugate trigonometric polynomial to g(x) is x—x,
COS—s y(x)=i
i:gp
X — X »
COSP—r—
^
^
(16.4»)
¿1
The values off(x) fp=f{x.)
(>'=1,2,. . .,p)
(16.5)
are connected with the g,by p linear relations f.^i^ci^^g,
(M =
1,2,. . .,!>)
> The preparation of this paper was sponsored (in part) b / the Office of Naval Research. > Nationa] Bureau of Standards, Los Aneelcs, Calif, and UnfTersity of Basle, Basle, Switurland. • A. Ostrowski. On the converKence of Tneodorsen's and Qarrick's method of conformai mapptntt. < The normed conjugate trigonometric poljmomial Is one, whoso Fourier expansion has the constant term«0.
(16.6)
with an antisymmetric matrix A,
the elements a^, of which depend only on the difference p. —v.
We have
(16.7) tan(M — y)
{fji — p even)
2p
pa^
(16.8*)
(n — v odd)
(t^-y)^^
cot
Proof. I t is verified immediately that the expression g(x) given i n (16.2°) satisfies the conditions (16.3), since if we take z=x^, the nmnerators sin p{x^—Xp)l2 vanish for IIT^V, while the l i m i t of
the coefficient of is obtained b y the BemoulU-L'Hôpital rule as 1. Consider now the expression .
i>-i
U=2e
(16.9*»)
+1.
In using here Euler's formula we obtain U
I
. cos —
sin pu+i(cos i i — c o s pu) sm u
U—€
sin u
so that sm pu sin u
m
cos u — c o s pu sin u
SU
(16.10°)
O n the other hand we obtain from (16.9**) p~i 2
/><(P-1)«_ 1 6
i
(16.11°)
irai
and see that both expressions (16.10*») are trigonometrical polynomials of degree 7i=(p—1)/2 in 2u and further that 3 U is the (normed) conjugate tr^onometric polynomial o f 9?U. It follows that the expression (16.2*') is a trigonometric polynomial o f degree n and that the expression (16.4**) is the (normed) conjugate trigonometric polynomial to g{x). If we put now x^ into (16.4**), we obtain the formula (16.6) where are given b y cos
X — Xp
V
sm
cos p
x—x, 2
(16.12°)
x—x, 2
If y>=v, we determine a,r i n making x^Xp and see at once b y B e m o u l l i - L ' H d p i t a l rule that If li^Vf we have ^cos
cos (M
(M-")-
sin (M
t« a
2
{n-yi—i-iy-'
J COS
sin (M—v)
v) —
and the relations (16.8**) follow immediately. Theorem 2. For a positive even iiUeger p=2nthe . yW ^ -
vjT
a„=^.
-
V
expression
X~Xp ^ X — Xr f?r sm 1) — 2 ~ cot — 2 "
(16.2")
onometric polynomial of degree n satisfying in the points (16.1) the conditions (16.3) nxfrmed conjugate trigonometric polynomial to g{x) is given by
fix)
.
X—Xp\
1 —COS p — —
2
. Z — Xp
) cot
2
(16.4-)
arid its values (16.5) are connected with the Op by p linear relations (16.6) where the matrix Ap is again an antisymmetric matrix in which the depend only on p.—p and are given by ' {jjL—p even)
0 * V = i ( l - ( - i r ' ) c o t ( M - F ) ^
2
X
-cot(^—v)-
(16.8*) (M — v o d d )
The relations (16.3) are in this case again immediately verified. Consider the expression ,g«p-n).. + g * ( y - i ) « _ 2 e - ^ " 2 sin u whose real and imaginary parts are Proof.
^ r r sin (p+l)ttH-sin ( p — l ) u 9Jf7= — i , ^ ^=sm^ 2 sin u
cot u (16.10«)
COS (p+ l)tt+cos ( p — l ) u — 2 cos u
3 ^
(16.9*)
(1—cos pv) cot u
2sm.u
O n the other hand, using Euler's formula for sin u, we obtain «-1
t7=l+2Xl«"'"+«""'' I—1
»
$RC/=1 + 2 S cos 2int+cos 2nu,
3 C / = 2 S sin 2vu+sin 2 n u . (16.11*)
r-l
vol
normed trigonometric given by 1—COS p
2
cot
2
and the expressions (16.8*) follow inamediately. The theorem II is proved. The formulae (16.8**) show that in the case of an odd 2>=2n+l we have exactly n=(p—1)/2 different |a„r|5^0, while for even p=2n we have exactly [(p/4] values of 1«^»! different from zero. This makes the case of an even particularly adaptable for use on high-speed computing machines with restricted high-speed memory. This case presents further the advantage that m usuig the formula (16.6) the computing work is reduced by M- O n the other hand for an odd p the interpolating polynomial (16.2°) is the most general trigonometric polynomial of degree Cp—1)/2, uniquely determined by (16.3). We obtain an interesting transformation of formulae (16.6) if we define /„, a^p for aU integer values of M and v as periodic functions with period p. Then the formulae (16.8*) and (16.8*) give wie right values of a„» for all integers M and P. It follows further from the same formulae that (16.13)
0^+
W e can now transform the formulae (16.6) into the following formulae p-i 2
f^—^ot^+pigt^+p—gi^f)
( M = I , 2 , . . . ,p)
(16.14)
Indeed, in the case of an odd p==2n-\-l, (16.6) can be written in the fom
I——B
and (16.14) follows at once from (16.13) and a^=0. *ThflM formula© (ie.8«) hare been Efven by E . J . Watwn, Formulae for the oomputatton of functions employed fbr calculatlnc the Telocity distribution about a glTen aerofoil, Aeronautical Research Council, R. and M . No. 2178, M a y 1046; I. Naiman, Numerical evaluation of the integral ooenrlnK in the Tfaeod£«sen arbitrary-airfoil potential theory, originally issued April 1944 as Advance Restricted Report I.4D27a; I. £. Oarrick, Conformal mapping in aerodynamicR v i t h emphasis on the method of successive conjugates, see this volume.
If p is even and of the form 4m, we have from (16.6)
S
-(2m-l)
(M=1,2,. ,
ccm+rQ^+p
,,p)
and (16.14) follows again i f we use that b y (16.8*) a ^ ^ + 2 « = 0 and ( p — l ) / 2 = 2 m — 1 + J i . F i n a l l y , i f we have p=^7n+2, we obtain from (16.6) 2m+2
/„=
S
<X^+'9M+' ( M = 1 , 2 , . , . , y ) .
-(2in-l)
B u t here cc^^2m+2=o^mt+im^O because the difference of the indices is even, and ci^,t+2m+i=ocut^ipf2i vanishes b y (16.8') too. Thus the limits of the s u m are ± ( 2 m — 1 ) = ± (p—4)/2, a n d (16.14) follows again if we use that 2 m — 1 is the greatest o d d number • < (p—1)/2. I n the case of a n even p the formidae (16.14) show i n connection w i t h (16.8*) that the expressions of the/n w i t h even M only contain the w i t h odd v and vice versa. W e are now going to derive some orthogonality relations for transformation (16.6). W e introduce from now o n the notation
t
Su=SM^)=-
^ p
«(a:r)
(16.15)
F - i
where the index x is explicitly indicated i f u contains more than one variable. from the theory of roots of u n i t y
F o r instance, we have
( ± ¿ = 1,2,. . . , p - l ) .
^^*»'=0
We notice first that if we take a l l gp=l,
(16.16)
we must have
B u t then we obtain from (16.6) ¿ « ^ = 0 f-1
( M = 1 , 2 , . . .,i?),
(16.17)
( i ' = l , 2 , , . .,3?).
(16.18)
and since A , is antis3rmmetric ^
0^=0
W e now write formulae (16.2°), (16.2°) i n the form 9i^)=^Ts9p
(16.19)
S
(16.20)
and (16.4°), (16.4') as /(3;)=^
P
P
F o r a n odd i > = 2 n + l we have from (16.10**) a n d (16.11°) sm
X — Xp
V—K-
iPp{x)=
= 22
cos «(a: - zO + 1 ,
(16.21)
s m - ^
x — x,
cos — l^.(x)=
¿á
sin?
cos p 2
x — x^ ¿é
—
n
= 2S8Ín K(X-X,).
(16.22)
^'
We have then b y (16.16) 5'(^,+i^,)=iS (2 ¿ • See, In the case of an even p. the references In footnote 5.
e'^f'-'.) + A = 2
¿¡
1 = 1,
and therefore Further, we have
and therefore o n takmg the real part on both sides i n the cases of + and — sign, respectively, (16.24)
1
Sh*.^
5^,^^+5^,^„=2^/z,)-1
(16.25) (16.26)
S f , f ^ = ip^ixp) - 1
= *»,(XM)
(16.27)
- 1
I t follows now from (16.19), (16.20), and (16.27) „—..^Sf(,x)=^S'i:
9.9,M,=\
i:
9.9'S4>,4>,=^
9.9'(v,{x,)-l)
}
(16.28)
Sf=Sg'-(S9)',
(16.29)
±fi='±9i-l(±9X
Consider now the case of an even p=2n; ^ , = s i n n(x — Xp) cot
i n this case we have i n (16.19) and (16.20): -1
x~x.
-
=l+2Sco9
^
K-1
K(X —Xr)+cos
n(x—Xr)
rt-1 —X l ^ r = ( l — c o s n(x—Xr)) cot — ^ = 2 y ] s i n i : ( x — x ^ + s i n n(x — x » ) . X
(16.30) (16.31)
It follows fro: «-1
S{ip.+ih)=
1 + 2 S ^ c * ' * ' " ' ' +Sc'"<'-'-' = 1
that the formulae (16.23) remain valid for an even p.
Further, we have
l+2S«"''*'5'e'*'+2S«=*=*''''5:€±*'^+4S«"'**''*^^^ K-l
X-1
C.X-1
n-1
n-1
«-1
X-1
I n virtue of (16.16) the second, third, fifth, sixth, seventh and eighth terms of the right-hand side are zero and there remains fi-i
K.X-l
In taking here on both sides the real part we obtain in the cases of -)- and — sign, respectively
l-h(-lr+^ x,^+COS n ( z . -
=2vJ^(x,) — 1 — (— 1)' ^^
(16.32) 5^,l^.=
^.(x^)-l-(-l)'-^''
(16.33)
We denote now by S'tp and S'V* respectively 'SV=iS^(a:j.-i)
V
V «-1
From (16.31) we see that
«-1
(16.34)
(c—M even);
^r(x,0=O it follows from (16.34) and (16.33) that {v or M even);
(V, M odd).
(16.35)
-S'V,^«=0 (v or M odd); - S V r ^ , = ^ , ( x J — 2 (v, M even), and therefore in using that
(16.36)
'S*^,lfv=0
1
1
5V.IAM=^.'(XJ-2
1 "
p—1
1 ^ P «.X-I
«,X-1
px-1
P
/
The argu lent is completely symmetric if we interchange the x, with odd and even indices. obtain p 2
2
1
«-1
p
I
0 / 2
p
Thus we
2
«-i
/
(16.37)
.-1
(16.38) In what follows we shall consider the/, and as the components of two vectors {, ij in the p-dimensional space. It follows then from (16.29) and (16.38) that both for odd and even p (16.39)
i\<\v
If P is a given function, we shall understand by
P(fi)
the vector with the components
P(gi),
P(9t)j
' ' • t P(9P)-
We are now going to prove the following theorem. Theorem 3. Suppose that for a positive integer p a square matrix A that for any vector { in p-dimensional space Rp we have
of order p has the property
(16.40) Let P(x)
be a continuous function for which P'(x)
P\X)
exists almost everywhere and satisfies
<€,
0<€<1
(16.41)
for a positive € < 1 . Let finally ri be an arbitrary vector in Rp. Then the vector equation i-ri
=
AP(0
(16.42)
has a solution ( which is uniquely determined and can be obtairied as the limit of a sequence of vectors deduced by the recurrence formula
{ , + , - „ = AP(€,) jrom an arbitrary
initial"
vector {©;
(16.43)
have
(16.44)
1 Proof.
It follows from (16.41) by the mean value theorem that for arbitrarj- x and x* P{x*)\
x~x
We have therefore for two arbitrary vectors { and {* the inequaUty (16.45)
\PiQ-p{e)\<^\i-i*
Suppose now that { and f* are two solutions of (16.42).
Then we have
i-i*=AiP(i)-p{e)),
and it follows from (16.40) and (16.45) that
{ - r i < | P ( Q - W <*U-«*I; we see that f—f* must vanish. The uniqueness of f is proved. We write now (16.43) for n and n — 1 and subtract. If follows then from (16.45) i
f.=^(P({.)-P({..,)),
f.l
+1
Iterating this, we obtain P + l l+
l
ip\
Çp + H
(p>0, n = l , 2 ,
. ),
(16.46)
and we see that the series ^ ( { , + 1
in) is absolutely convergent
Therefore with n—> » {. = { o + i : ( ^ + i - W
converges to a vector { as asserted in our theorem. Finally, we obtain from
(16.42) follows then from (16.43) with n
OD
and from (16.46) the estimate 1
*"
Theorem 3 is proved. We return now to the discussion of the matrix Ap in order to determine its eigenvalues. It We consider first an antisymmetric matrix C y^, defined by 6^
C, that is (16.47)
(M,»'=1,
and assume that from è
yp^Vw ( M = 1 . . . .,!>)
always follows p
..-I
(16.48)
T h i s can be stated differently if we consider the vectors { = ( x i , . . . , x,), v=(yij • - • tVp) and define generally for a vector 17= (yu . . . , y^) as its trace trj the vector, all components of which are equal to (16.49)
P A vector ij with tij=0 will be called a diagonal vector. B y our assumption it follows from
(16.50) alwavs that (16.51) If we take now 17'= (1,1, . . .,1) it follows from (16.51) \Crt' C belonging to the eigenvalue 0. Further it follows now
0, i ^ ' = 0 ^ a n d 17' is an eigenvector of
±
(16.52)
We see from (16.52) that f in (16.50) is always a diagonal vector ti=tCv
(16.53)
= 0,
O n substituting in (16.48) the expression of r^, we obtain 2
1
1^
^ •
P
(M?ÍX)
(16.54)
O n multiplying (16.50) on both sides b y C' we obtain in virtue of (16.54) Ü'f=i?-íi7
and since C
C
(16.55)
17+Í17.
Suppose now that 17 is a diagonal vector.
T h e n from (16.50) and (16.55)
(16.66) and we see that — 1 is an eigenvalue of to which belongs the (2> — 1)-dimensional set of diagonal vectors as eigenvectors. We have by (16.56) for any vector 17 with tr¡=0: C(Cfj±iv)=±i(Cv±iv)
and we see that Crt+irj, if it does not vanish, is an eigenvector of C to the eigenvalue i and CTJ—ÍTI, if it does not vanish, an eigenvector to the eigenvalue — i . From
1
'
l[(Crj + 2i
iv)-(Cri-iv)]
follows that these eigenvectors to the eigenvalues ± i , together with the vector 17', form a complete system of J7 independent vectors. If in particular p is odd and C" is a real matrix, i and —i are then eigenvalues of multiplicities (p—1)/2. Consider now for an even p—2n
and assume that fro
an antisymmetric matrix £ ) = ( 5 ^ ) defined b y D'^ I'M
. . . , p)
\w
(M=1,
• . . I
P)
— D, that is
always follows Xp
n
1 n
x-i
(16.57)
T o state this i n vectorial [language consider again the vectors ( = ( x i , a n d define now as the trace tiijof 17 the vector tri = {ziyZ2, . . . , 2 , ) , where
T h e n it follows from
1 "
1
w x-i
W x-i
i=Bii
"
always
2
(f=l»
•
,
1? * = ( ! / ! ,
•
•
•
I
VP)
(16.58)
(16.59)
tr,\\
A vector 17 with
i7'=(l,0,l,0, . . . ), a n d from (16.59)
Z?i7'=Z?i7''=0;
(16.60)
and ^i" are then two independent eigenvectors of Z> to the eigenvalue 0 F r o m (16.60) i t follows further S W = S * M 2 « - i = o «-1 <-l
(M=I,.
.
.,p)
(16.61)
O n putting the expressions of x^ into (16.57) we obtain at once 1 n
1
±
(16.62)
—
u — v ^ O ,
11 —
v
even
odd
(16.63)
and therefore for any vector T?
t h a t is, since (16.64) It follows now at once that all diagonal vectors are eigenvectors of therefore, i n virtue of
to the eigenvalue — 1, and
V(Dyi±iyi)=±i{D-n±iit),
for any diagonal vector 1;, Z?jy+iiy, if i t does not vanish, is an eigenvector of D to the eigenvalue % and Dvj—iijf if i t does not vanish, an eigenvector of D to the eigenvalue — i . A n d exactly as for the matrix C we see that +i and —i are eigenvalues of D of the multiplicities n ^ , n _ with n + + 7 i _ = 2 n — 2 and possess correspondingly n+, n _ independent eigenvectors. If i n particular Z? is a real matrix, we have n+ = n_=n—1. I n applying our results to the matrix Ap, we see that it has only linear elementary divisors and its fundamental poljTiomial is either X(X^+1)" or X*(X^+1)" according as we have ^ = 2 n + l or 2n. W i t h choice of appropriate coordinates the matrix Ap becomes a diagonal matrix with the diagonal ( t , — t , . . . 1,0) or ( i , — i , . . . ,i,—i,0,0) for odd and even Consider now the recurrence formula (16.43) i n which P(x) = ax,
a>l.
O n choosing appropriate coordinates, we separate this formula into p recmrence formulae 3
I
or \~ia
\
\—%a/
and we see that w i t h n—>«» the convergence of Xj'"* is only possible for special values of yi and xf^. follows that i n the convergence condition (16.41) of theorem 3, M a x |F'(x)|
It
(16.65)
17.
11 On Conformal Mapping of Variable Regions'
S. E . W a r s c h a w s k i *
1 • Introduction Simultaneously w i t h the development of the principal existence theorems of conformal mapping m u c h attention was given to the related problem of the study of the dependence of the mapping function on the region. If £ is a simply connected region and w=f{z) is a function which maps the xmit circle s K l conformally onto B, the problem is to study the change which/(g) imdergoes by a continuous deformation of the region R. Generally speaking one can s a y — a s might well be expected—that the mapping fxmction varies continuously with the region, and there are many results i n the hterature on conformal mapping that substantiate this statement and give it its precise meaning. It is the object of this paper to review these results w i t h a particular emphasis on such parts as may possibly be of help i n problems connected w i t h the effective computation of the mapping function. The results i n the literatxire may be classed into two types: (i)tnose of a " q u a l i t a t i v e " nature i n form of convergence theorems which establish the convergence of the mapping functions of a sequence of regions tending to a limit region; (ii) theorems of a more " q u a n t i t a t i v e " type which give actual estimates for the modulus of the difference of the mapping functions of two regions that are "close" to each other. The results of the first type are for the most part well known and shall be reviewed here only very briefly. L e t R„(n=\y 2, . . .) denote a sequence of simply connected regions all of which contain the origin w = 0 , and let the function w=Jn{z) map the circle |2|<1 conformally onto i?„ so t h a t / „ ( 0 ) = 0 a n d /1(0)>0. C . Carath^odory [5]* established a necessary and sufficient condition i n order that the fimctions/„(2) converge uniformly i n any circle | 2 | ^ r < l to the mapping function/(3) of the " k e r n e l " R of the regions i?„ (Carath^odory's " K e r n e l Theorem"), If tlie regions R^ and R are bounded b y closed Jordan curves C» and (7, respectively, and if the convergence C„—>C is suitably defined, then/^(g)-3/(2), uniformly in l ^ l ^ l ; see Courant [9] and [10] a n d K a d 6 [22]. Kad6's theorem is formulated i n a particularly simple way: In order that Jn{2)'-*f{z) uniformly
in 1^1 ^ 1 it is necessary and sufficient that the Frechet distance'
of Cn and
C approach
0 as
n—> 0 0 . F o r further results on the case treated b y C a r a t h ^ d o r y and a discussion of the equivalence of the theorems in Courant's and Rad6's papers, see Markouchevitch [16]. (See also Gattegno and Ostrowski 12], sec. 14.) Warsc lawski extended these considerations to the derivatives of the mapping function. In [29], (sufficient) conditions are established under which the d e r i v a t i v e s ( 2 ) of any fixed order k converge uniformly in \z\ ^ I to y**^ (2). I n [27 it is shown that a necessary and sufficient condition i n order that fi (z) converge t o / ' (s) i n the mean, that is. /-(r«")-/'(re<')|dd->0,
as n - > a ) ,
uniformly for 0 _^ r <^l is that (i) _ C „ >C (in the sense that the Frechet distance approaches 0) and (ii) L where Z„ and L are the respective lengths of C„ and C. Furthermore, convergence m the mean o f order p for every j)>0 is established there for curves Cn and C w i t h continuously tumiiag tangent line. I n the present paper we are interested principally i n " q u a n t i t a t i v e " results: G i v e n two regions Rx and R2, which have the origin i n common and whose boundaries Bx and B2 are " c l o s e " to each o t h e r . (One may define a distance Z?(5i, B^ between Bx and B2 and require that it be "small".) If fi(z) and/a(2) map the circle \z\
of Jordan domains); i t m a y be expressed i n terms of the distance D(Bij B^) and other suitable parameters, and should approach 0 w i t h D{Biy B^. A n analogous problem m a y be posed for the difference of the derivatives and for the integral means
of the f\mctions/i(2) and/zC^) and of their derivatives. I n all instances the problem is simplified i n the case of nearly circular regions; that is Ri or i?2 is a circle. There are several sharp estimates for this special configm-ation. F o r this reason the present report is divided into two parts: the first contains the results on the nearly circular case and the second deals w i t h bounds obtained for the general situation of two arbitrary regions. •
2.
Nearly Circular Regions
1. Bounds for the mapping function. L e t R denote a simply connected region i n the plane of the complex variable w which contains the origin and whose boundary B is contained i n the r i n g i - 6 ^ k l ^ i
for some e, 0 < e < l . Suppose that the function z=tp{w) maps R conformally onto the circle I ^ K l such that
r - i
Bieberbach*s estimates were considerably improved b y Ostrowski [19 le form given b y Ostrowski: 1.1
If r = l — e , and 0 < ^ < 1 , then for aLl\w\^rd ^{w)-w\^
We state here the result
we have
0(1 ~r)-\-e^¡\~r'
(17.1)
B y applying Hadamard's three circles theorem, Ostrowski obtains from (17.1) an estimate that remains bounded as 0-^1: / / ^ ^ Ö < 1 , then for\w\^rd
we have
*
Another similar estimate given b y Ostrowski i n [19] refers to a different normalization of the mapping. C . C a r a t h ^ d o r y [6], [7] derived another estimate based o n the L e m m a of Schwarz and its extension to analytic functions w i t h positive real part. Carath^odory's result is contained i n a more recent theorem of M . M u l l e r [17], B y a method similar to that employed b y Carath^odory, Müller proves the following theorem: ^ 1.2 Suppose Rte is a simply connected region which is contained in \w\<^\ and contains the circle w\
chert £=Max
A{r,9)=Mm^f
I i - ' . - ! i log i log y
F o r ^>0 £^ equality sign in (17.2) AoWs oriZy ijr=\y tp(w)=r'w, |w|=^, a n d it holds Jar all values of 9, 0 < K 1 . The problem considered by Carath6odory corresponds to the case r'=r of this theorem, and the estimate obtained by him is l-r», 4 , 1, 1+ ^ for I w ^ rB, Müller shows that this bound is laiger than the one that follows from his theorem for this case. The configuration considered by Ostrowski corresponds to the case T'=\ of Müller's theorem. Müller discusses the relative magnitudes of the two bounds. A third approach to the problem was given more recently by Lavrientieff and Kvasselawa Il4]. They obtained the following result: Under the same hypotheses as in Theorem 1.1 there exists an absolute constant K such that if r = l —€ and ) i ^ r < l then 1.3
|^(w)-ii7|^Ä:(l-r)log
1 1
for \w\^r.
(17.3)
The proof of this inequality is based on (i) a result of A. R . Marchenko (see theorem 1.4 below) and (ii) a theorem due to Chepeleff and Lavrientieff [8], which states that the image curve of the circle v | = r = l — 6 by means of z^
Ifihe boundary B of R is a rectifiable closed Jordan curve, and its length L satisfies the inequality
2X(1-€)
t
is the same number as in (17.4), then for \z\^l we have
y(2)-2l<4TV2i.
This estimate may be improved as to the order of magnituHe in e. in the first of two theorems of A. R . Marchenko [15].
(17.5) Bieberbach's result is contained
1.5 Suppose that B is a closed Jordan curve. Consider all arcs of B which subtend chords of length less than c, whereby each time the arc with the smaller diameter is chosen. Let i ; denote the least upper bound of the diameters of all these arcs. Then there exist two absolute constants K and K\ such that, for \z\ ^ 1, /(2)
z\
(17.6)
Here the order in c, namely c log 1/c, is the best possible, as mav be seen by considering the mapping function of the interior R of the curvilinear quadrilateral bounded by the two semi-circles {|icf=l. l+€, Imw^O} and the two straight-line segments that connect w=l and w 1 + e 3tPäO}, and {\w and w 1 and w — ( 1 + « ) , respectively. Under the assumptions of Bieberbach's theorem it is easily seen that ii may be chosen equal to ^constant, so that the right-hand side of (17.5) may be replaced by ^ «log 1/«+K1 e.
Marchenko's proof of his theorem, w h i c h is only outhned i n his note, is based o n an apphcation o f a well-known principle of Loewner and M o n t e l . I n a more recent note i n the Cotnptes Rendus [11], Jacqueline Ferrand announced a different proof of this theorem, which yields K=2/ir as the best possible value of the constant K i n (17.6). T h e details apparently have not as yet been published. Marchenko's theorem has been extended b y Warschawski i n [31] to the case where the boundary B is not necessarily a Jordan curve.
1.6 Suppose 7 ; > 0 i5 a number which has the following property: If Wi and W2 are two points in R whose distance is less than e, then there exists a Jordan arc in R connecting Wi and Ws whose diameter does not exceed vj. Then for all z in \z\
T h e proof yields numerical estimates for the constants K and Ki. A better bound as to the order of magnitude of e may be obtained if more restrictive assumptions regarding the boundary B oi R are made. I n the above mentioned note Marchenko states (without proof) the following theorem. 1.7 Suppose that B is a closed Jordan cun^e which is represented in polar coordinates in the form p—p{ip), 0 ^ ^ ^ 2 x , where p{
(17.7)
p(^+r)—p(sp)|^M where M is a constant and t is the number in (17.4).
Then for \z\
we have
(17.8)
fiz) where K is a constant which depends only on
M.
T w o proofs of this theorem were supplied: one b y E . J . Specht [25] and the other by Warschawski [30]. Specht's proof uses the Poisson integral and yields i n particular the following mmaerical estimate for K. If p ( ^ ) ^ l , then li::^l + M(2log2+l), Warschawski derives (17.8) fron 1 an inequality for the mean of the derivative [ / ' ( 2 ) — 1 ] (see theorem 3.3 below). Condition (17.7) imphes that p'ijp) exists for almost all
Suppose that (i) p'{
0<€
p(
(ii) for all fpo, 0 ^ ^ ^ 2ir, p'(v>) PM
d
p'(
sm
the integral being uniformly convergent in this interval
^ 5 ,
0
Then J'{z) exists and is continuous in \z
and 1
Iff in addUian to hypotheses (i) and (ii),
l^p(^)
Suppose thai d
(i)
exists and is eontinuou^f such thai
d^\_p{it>)A
\pM\
sin wA«r6 o)(^)
7^
2
arctan [p'(^)/p(^)] (tA« principal branch of the arc iangeni being chosen)
*>"(«) IS 2« /J±iLV and 3+-+4«
2,3
Suppose thaif for some integer n ^ 2 , d
(i) '^**'(^) = ^ ^
«3n«fe arid is continuums and that
W'^MK^ (ii) foraUipo,
/or Ä: = 0 , l , 2 , . . . , n - l ;
0S^S2T,
a,<«-i)(^)_„(—i)(^o) 2 T J . ,
sin
d^^
2
Then there exist tux> constants Kn and Mn that depend only on n such that
and
z SI A somewhat different estimate for the first derivative of the mapping function was given b y W a r schawski [30J: 2.4
Suwose
that p'(ip) is continuous and that
(i)
l S p ( ^ ) S l + e, € > 0 ;
(iii) Then A^/l where A=A*
+ ?
^ ^'{B) ^ A,
e**, and y ' ( 3 ) - l | g 2 5 ( l + «)e+«,
where B=
A+
A"!
T h e hypotheses of this theorem are somewhat more restrictive than those of theorem 2.1 above. However, the results obtained do not involve the restriction « < 1 . 3. Averages. I n place of the difference J(z)—z one m a v consider the integral means of order P>0^
'2»
{2irJo
j{re'^~re^^\^dBYj
for 0<'*
Ap^p{v{re'^}.
2 we have Ap^^2x and .¿42= 1 •
T h e residts obtained are the following:
3.1 Let R be a bounded simvly connected region that contains ike origin and whose boundary is con-tained in the ring l^H^l Let w=j{z) denote the mavpingfunction
+ «-
(17.9)
of z < 1 onto R withf(0)=Of
^p{M-z}^(l
+ Ap)e'€,
/'(0)>0.
Then
z=re i0
uniformly for 0 ^ r < l , where Ap is the constant of the theorem of Riesz. 3.2 tinder the hypotheses of Bierberbach^s theorem (theorem 1.4), we have
Mfiz)-!}
^ 2ir V2"*(1 + j)(2+|)
re it
(17.10)
uniformly for 0 ^ r < 1.
T h e application of a well-known inequality of L . Fej6r and F . Riesz permits one to derive B i e b e r bach's estimate (17.5) from (17.10). T l i i s yields a new proof of Bieberbach's theorem (theorem 1.4). 3.3 If R is bounded by a closed Jordan curve B which is revresented in polar coordinates by the equation p=p(tp)^ 0 ^ ^ ^ 2 i r , where p{tp) is positive and \pi
(17.11)
which c-.4p<]l and uniformly for all r , 0 ^ r < l , we have ^p\z
f_M f{z)
re i9
Iff in addition^ B is assumed to lie in the ring (17.9), then also for all r, 0 ^ r < l , ^.{/'(2)-l}^2
l+Ap l-€Ap
eU.
we have (17.12)
Application of the Fej^r-Riesz mequahty to (17.12) yields a new proof of Marchenko's (second) theorem (theorem 1.7) stated above. 3.4 Suppose that the boundary B of R satisfies hypotheses (i), (ii), arid (iii) of theorem 2.4, uniformly for 0^r
where
Then
A=4*e^,B=A+(A-l)l€.
3.
Arbitrary Regions
4. Distance of the boundary continua of two regions. In order to describe the analog^ous results for the general case, in which the mapping functions of two arbitrary regions are compared with each other, we ^ a l l first review the various notions of "distance" used in this connection. (i) B y the distance of a point Pfrom a {bounded) continuum C we shall mean as usual the Inf p(P,
Q)=d(P,C),
where piP,Q) is the distance of the pomt P from a point Q of C. We shall define the "t^ighborhood of for an € > 0 as the set of points P for which d(P,C^<«. Geometrically this set is obtained if one describes a circle of radius c about every point of C, (ii) The distance D (C,r) of two bounded continua C and T will be used in the following sense. Let d
and
Su P€
(£'=Sup d{Q,C)
Then Z>(C7,r)=Max(d,dO Clearly D(C,r)^D{T,0.
(iii) Finally we define the "inner distance" of the boundary continua Bi and B^ of two regions J?a. Let P be any point of Bi which is in the ivterior of fia, and let di=Max
diP.B^.
PeBi
Similarly let Q be any point of B^ which is in the interior of
and let
d 8 = M a x d{Q,BO.
Then we define Z?((5i,52)= Max (d^di) e^ihe**inn£r distance'* of BiSLiidB^. Clearly D((Bi,52)=Z)<(52,5i). See for this definition F. J . Polansky [21]. 5. Bounds for the difference of the mapping functions. In attemptii^ to obtain analogous residts for the general case of two arbitraiy regions one would obviously try at mst to reduce the problem to that of the nearly circular case. If two regions Rx and R^ are "close" to each other and if jRi contains Ri then one may map Ri conformally into a circle; R^ will then be transformed into a region close to this circle, and one may apply one of the previous theorems. (If neither of the regions is contained in the other then the situation is somewhat more dfficult.) This procedure can be carried through if suitable smoothness conditions are imposed on the boimdary of R\. In such a manner A. Markouchevitch [16] extended Marchenko's (first) theorem (theorem 1.4). According to Markouchevitch a (bounded) region R will be called of class Jx if: (a) the boundary of the region is a simple closed rectifiable curve; (b) the tangent angle B{s) of this curve expressed as a function of the arc length s satisfies a Holder condition of order X, 0 < X < 1 : e{si)=B{s)\^k\s2~Sx
The theorem may now be stated as follows: 5.1 Let Ri e «7x, let Bi denote the boundary of i?,, and let WQ be a point in Ri. Suppose that R^is a region bounded by a closed Jordan curve B2 which contains Wo. Furthermorcj suppose that l){Bi^B^
Consider aU arcs oj whose end-points have a distance less than ejrom each other, whereby each time the arc with the smaller diameter is chosen. Let r? denote the least upper bound of the diameters of all these arcs. Suppose that w—Jx{z) and w—Mz) map the circle \z\ 0 , /a(0)>0. Then there exist two constants A and Ai which depend only on Ri and WQ such that for \z\^l we have
T h e hypothesis Ri c Jx insures that fi(z) exists o n the boundary |2| = 1, that fi{z) satisfies a H o l d e r condition with the exponent X, and that for suitable positive constants ni and /i2; we have Ml^|/;(2)|^M2.
(17.13)
If R2 € Ri, then any (weaker) condition on Bi which insures (17,13) would be sufficient for the proof. Markouchevitch uses the (rather restrictive) hypothesis RitJ\ mainly for the general case where Bi a n d B2 m a y intersect. H e constructs a close Jordan curve r , which contains Bi a n d B2 i n its interior b y choosing for r one of the level curves of the conformai map of the exterior of Bi onto a circle. T h e interior of r is then a region of class Jx, and r may be so determined that D{T,Bi)<^ke, D{r,B2)
\m-i\
nip)
Sup A.
T h e function ij(p) is i n a certain sense a measure for the "irregularity" of the boundary of R, the boundary is a closed Jordan curve, then it is easily seen that lim i;(p) = 0.
If
In the case of a Jordan curve we m a y use another related function A(p) i n place of ri{p). L e t C be a closed Jordan curve, Wo a point o n C. L e t H denote the distance from Wo of the point Wx of C which is farthest away from Wo\ that is, H= Wx—Wo M a x w Wo D r a w a circle of radius p ^ H about WQ. wtC
L e t C be traversed from Wo i n both directions until Wi is reached i n each case. Denote b y w' the last point of intersection of C a n d the circle which is met going in one direction and b y t y " the last such point in the opposite direction. T h e n call A(p,Wo) the radius of the smallest circle about Wo which contains
the arc w' WQ W" of C m its interior or on its circumference [28], Ostrowski [20]). F o r p^Hwe set A(p,Wo) ^H, The fimction A(p) is now defined as
UnbewaUthciUfuriMion"]
see Warschawski
A ( p ) = S u p A(P,W;Q). VQtC
A n important property of A(p) is that hm A(p)=0.
Warschawski's results may now he stated as follows: 5.3 Suppose Ri and R^ are two simply connected regions which contain the origin. Suppose that the inner distance oj their bouridaries Bi and B^ satisfies DiiB^B^^^ for some e, 0 < e < l . Let ni(p) o,nd ih(p) denote the junctions defined above for Ri and R^, respectively, Ufiiz)t Jjiz)y normalized as usual by tfie conditions Ji{0)=f2(0) =0^ /i(0)>0, ^ ( 0 ) > 0 , map \z\
fi(z)-fM^(l+k€^
log^)
log-
Here Ai and A2 denote the areas of Ri and i?2, respectivelyf and k is a constant which depends only on the distance of Ofrom Bi and B2.
F o r a simOar residt for the case that 5 , and B2 are Jordan curves see also J . F . Polansky [21]. A more accm-ate bound for \fi{z)~-f3{z)\ is obtained if more information regarding the function i)(p) is available. 5.4
Suppose that
where K, iji, and 112 arc constantsj K>0, I?* ^ 0 .
Then under the hypotheses of Theorem 5.3 we have
1 Here K and Ki are constants; K depends only on *c, the distance a of Ofrom Bi and B2, and the diameter of Bi and Bt, whUe Ky depends only on
The case i j i = T ? a = 0 is of interest. I t is satisfied for a large class of Jordan domains (for example, for a l l curves with a finite number of corners). 6. The inverse functions. I t is of interest to examine the corresponding question for the inverse mapping functions. I n this connection we mention first a result which may be obtained from one of the inequalities of Pick's form of the distortion theorem," see G . Szegd [26], W . Sewell [24]. 6.1 Suppose that the function z=ip(w) maps the bounded simply connected region R conformally onto the circle |2|<1 so that fp(0)=0 and ^'(0)>0. If wis a point in R within the ^neighborhood of the boundary
of R (€>0) then 1 - v»(w) | S 4 V^/(0). Thus, i n particu ar, any subregion of R whose boundary is within the e-neighborhood of the boundary of R is mapped b y z—ip{w) onto a region contained i n \z\
1-4V<^'(0)S|2|S1. N e x t suppose that R^ is a subregion of R, which contains the origin, and that z=ip{w) and z=i/{w) map R and i?o» respectively, i n the circle |2|<1 i n such a manner that ^(0)=if'(0)=0 and v>'(0)>0| ^ ' ( 0 ) > 0 . Warschawski [31] proves the following theorem. 6.2 If the function IJQCP) defined for the region RQ satisfies the condition J;O(P) S ^ P , and the boundary of RQ lies within the ^-neighborhood of the boundary of R, then for weRo we have |^(«?)-^(w)|SXV^log^-
Here Kisa
constant which depends only on K, the distance of the boundary of Rfrom
> T b e Inequality In qtmtton ts the following:
I f / ( z ) « z + o t f H - . . . Is regular and unlTalent for |x|
0 and the diameter of R,
7.
Averages
Just as i n the case of nearly circular regions one may consider h e r e
and derivatives.
the integral means ^p{/i(2)-/2(2)} = j ^ J ^ ' ' l / i ( r O - / 2 ( r ^ ^ ^
0^r
(17.14)
of the fimctions/i a n d / j , and the analogous expressions for the derivatives as a measure for the degree of proximity of these two functions. W e use the notation employed above: i ? i and R2 denote simply connected bounded regions w h i c h contain the origin; their boundaries are denoted b y Bi and respectively. T h e functions w=fi(z) and w=f2(z), normalized i n the usual manner, map the circle I ^ K l onto Ri and R2, respectively. The following two theorems are due to F . J . Polansky [21]. 7.1
Jf the inner
distance
Dt(Bx^B^
satisfies
0<e
D,{BuB2)^t, and
a denotes
the minimal
distances
of Ofrom
Bi and B2, then 1^
M^iz)-Mz)}^KUA,+ Ai and A2 denote the areas
Here
VA2)
of R\ and J?2, respectively,
(^)
8
and K is an absolute
constant.
B y use of Cauchy's integral formula Polansky obtains a bound for the difference \f\{z)—f2(.z)\ i n terms of e and r which is vahd i n \z\ ^ r < l . (His bound converges to a constant as-r—>1.) The second theorem deals w i t h the average of the first derivative. I n order that the integral y ' ( r 6 * ' ) | d6 formed
for the derivative of the mapping function be bounded for a l l r, 0 ^ r < ; i , i t is
necessary (and sufficient) that the boundary of be a rectifiable curve, and i t is for the class of regions w i t h rectifiable boundaries that this theorem is established. W e need a preliminary remark. L e t C denote a rectifiable closed curve, and let W i , W2, . . Wn be any finite sequence of distinct points of C taken i n order along the curve (a " p a r t i t i o n " of C). T h e length of the inscribed polygon is l^\Wi
»-1
w
1
F o r any h (which does not exceed the diameter of C) consider all possible partitions P of C such that the maximal length of the chords is equal to h, and denote b y lp(h) the length of the inscribed polygon corresponding to such a partition P. F o r every 5>0 let U{6)=lnflp{h).
The length L of C may be expressed as I,=:Sup U{6). W e shall associate now (following Polansky) w i t h the rectifiable curve C the modulus
of
rectifi-
ability" o>*{S) =
L~U(8).
T h i s function is monotone increasing with 5, and Hm «*(5) = 0. L e t A(p) denote the function introduced above i n section 5. a)(T,c)
0}
T h e n , for any r > 0 , c > 0 , we set
2A
F o r fixed c, W(T,C) is a monotone increasing function of T , and l i m W(T,C) = 0.
(17.15)
W i t h this notation we can state now the following theorem. 7.2 Suppose that Ri and R2 are bounded by rectifiable Jordan curves B\ and B2 oj length Li and L3, respectively. Suppose furthermore tliat Bi and B2 lie in the ring 0<^<Ti
V | i ^ i - i a | + 2 ( V ^ + V ^ ) i<,xc) +
^l{f^{^)-f2{^)}^2^fL2
Here
A, and B are constants that depend only on
( T J ; and
1
A,y)'+Be'"'
y may be taken as 1/128.
T h i s theorem contains i n a sharper form an earher result of Warschawski mentioned i n the introduction. M o r e precise estimates are obtained if further smoothness conditions regarding the boundary are assumed. If the boundary curve possesses continuously turning tangents, then the mapping function has the property that, for every fixed real 2«
0
\J'ire'')\^de
m
is bounded for all r, 0 S r
^MS2—S 1
arc oj Bi with the end points W i , W j , then
Wi — Wi As
^c>0,
where c is a constant, (c) Bi and B2 lie in the ring 0<
oj By (for some «, ^^^^"^J^
(e) Let a\{wi) and aj(wa) denote the tangent angles oj Bx and then jor every positive m there exists a positive 2=ff(m) such that ji
the points Wi and W j , respectively; -W2 < 7 n « we have
<Xii'Wi)~~al(W2)\^€q(m).
Then there exists a constant M which depends only on the "characteristic parameters" M , c,
1.
T h i s theorem m a y be considered as an extension of theorem 3.3. T h e principal tool i n its proof is the theorem of M . Kiesz (see sec. 3 ) . T h e following alternate form of this theorem might be of interest as i t is perhaps easier to apply: 7 . 3 * (a)
Suppose Bi and B2 are represented in parametric jorm by the equations w=Wx(()
and
w=W2(t),
O^t^a,
where w[ (t) are continuous and 1=1,
(b)
Suppose that jor 0^ti^t2^a
2
we have w[(t^-w[itx)
* We refer to this fact by saying that Bi has bounded curvature
^L\t2-ti
for this Implies that Jti(«) - (ifai/d<) exists almost everywhere and that |*i(«)Ì£A/.
This implies in particular that Bi has bounded * curvature k (s), say \k
1 (c) Suppose that for some € > 0 , O ^ e ^ - ^ '
(s)\^M
Äou«
W2Ìt)-w'S)\<e,
O^t^a,
and U)i(a)—W2(a)
(d) Let Bi and B^ lie in the ring
<e.
Then there exists a constant M which Spends only on a, 6, L,
B y use of the inequahty of Fej6r and Riesz we find that imder the same hypotheses there exists a constant N which depends only on a, 6, L , <TI and
The above theorem 7.3 has been extended to the derivatives'of the mapping function b y E . H . Nicholson [18]: 7.4
Suppose that the boundary curves Bi and B2 satisfy the following
conditions:
(a) If ai(st)j i = lf2, denotes the angle ofinclinMion of the tangent to Bf expressed as a function d* arc length then exists ( n ^ 1), is continuous along Bf, and d
^B,
ds'i
of the
ß=const.
(b) If A« denotes the length of an arbitrary arc of By or B2, with the end points Wy, W2, then Wx — W2
As
Cj
c=const.>0.
(c) Bi and B2 lie in the ring o'i<|t«?|
d^at
d*a2 »1
dsi
<€g(m)
V>2
if
0, I, . .
n, upe have
WaKme,
denotes the kth derivative of ai taken at Wi on Bo
dsi Then there exists a constant N, which depends only on n, 5 , c,
f?\z)-fr{z) ^Ne,
¿=1,2,
q(m) such that for
. . . ,71.
Moreover, for every p^l there exists a number Mp which depends only on p and the same six parameters such that unifomdy for ( } ^ r < l we have •A{fi^^''(z)-fi''^''(z)i
^ Mpe,
z = re
ié
4. References Ll] L. Bieberbach, Zur Theorie und Praxis der konformen Abbildung, Rendiconti del Circolo Mat. dî Palermo 3 3 , 93 to 112 (1914). ^2] L , Bieberbach, Funktionen théorie, Teubner's Technishe Leitfäden, Leipzig. 3 L, Bieberbach, Lehrbuch der Funktionen théorie 2 (Teubner, Leipzig, 1927). 4 L. Bieberbach, Uber die konforme Kreisabbildung nahezu kreisförmiger Bereiche, Sitzungsberichte, Preussische Akademie der Wissenschaften, Math. Phys. Klasse, 1924, pp. 181 to 188. [5] C. Carathéodory, Untersuchungen über die konformen Abbildungen von festen und veränderlichen Gebieten, Mathematische Annalen 72 (1912). > See footnote 4.
It Is easUy seen that
(lA/bß).
[6] C . Carathtedory, Elementarer Beweis für den Fundamentalsatz der konformen Abbildung, Sohwarx Festschrift (J. Springer, Berlin, 1914, pp. 19 to 41 (part 7 » . 7 C . Carathöodory, Conformal Representation, Cambridge University Tracts, No, 28, 1932. 8 V, Chepelev and M . Lavrientieff, On some properties of univalent functions. Mat. Sbornik, 2nd series, 2 , 319 to 326 (1937). [9] R. Courant, Über eine Eigenschaft der Abbildungsfunktionen bei konformer Abbildung, Nachrichten von der GeseUschaft der Wissenschaften, Göttinnen, 1914, pp. 101 to 109. [10] R. Courant, Bemerkung zu meiner Arbeit: "Über eine Eigenschaft, etc.,*' Nachrichten von der GeseUschaft der Wissenschaften, Göttingen 1922, pp. 69 to 70. 11] Jacqueline Ferrand, Sur U déformation analytique d'un domain. Comptes Rendus, Paris 2 2 1 » 132 to 134 (1945). 12 C. Gattegno et A. Ostrowski, Représentation conforme à la frontière: domaines généraux, Mémorial des Sciences Mathématiques, 1 0 » (1949). [13] C . Gattegno et A. Ostrowski, Représentation conforme à la frontière: domaines particuliers. Mémorial des Sciences Mathématiques, 1 1 0 (1949). [14] M . Lavrientien and D . Kvasselawa, Über einen Ostrowskischen Satz, Georgische Abteilung, Akad. der Wissenschaften, ü. S. S, R. 1, 171 to 174 (1940). [15] A. R. Marchenko, Sur la représentation conforme, Comptes Rendus (Doklady), Acad. des Sciences, U . S. S. R. 1 » No. 5, 289 to 290 (1935). fl6] A. Markouchevitch, Sur la représentation conforme des domaines a frontières variables, Mathematicheskij Sbomik, ser. 1 4 3 » No. 6, 864 to 886 (1936). [17] M . Müller, Zur konformen Abbildung angenähert kreisförmiger Gebiete, Mathematische Zeitschrift 4 3 , 628 to 636 (1938). [18] E . H . Nicholson, On the degree of approximation in some convergence theorems concerning derivatives of the mapping function in conformal mapping, Thesis, Washington University. Il9] A. Ostrowski, Über Konforme Abbildung annähernd kreisförmiger Gebiete, Jahresbericht der Deutschen Mathematiker Vereinigung 3 9 , 78 to 81 (1930). [20] A. Ostrowski, Zur Randverzerrung bei konformer Abbildung, Prace Mat. Fisycz. 44» 371 to 471 (1936). 21] F . J . Polansky, Some approximation theorems in conformal mapping, Thesis, University of Minnesota. 1949. 22] T . Rado, Sur la representation conforme des domaines variables. Acta Litterarum ac Scientiarum, Univ. Francisco Josephinae 1 » 180 to 186 (1923). [23 M . Riesz, Sur les fonctions conìuguées. Mathematische Zeitschrift 27, 218 to 244 (1928). ;24 W. Sewell, Generalized derivatives and approximation by polynomials, Trans. A m . Math. Soc. 4 1 , 84 to 123 (1937). 25 E . J . Specht, Estimates on the mapping function and its derivatives in conformal mapping of nearly circular regions, Trans. A m . Math. Soc. 7 1 , 183 to 196 (1951). 26 G . Szegö, Zur theorie der schlichten Abbildungen, Mathematische Annalen I M , 188 to 211 (1928). 27 S. E . WarschawskijÜber einige Konvergenzsätze aus der Theorie der Konformen Abbildung, Nachrichten von der Gesellschaft der Wissensohaiten, Göttingen, 1930, pp. 344-369. [28] S. E . Warschawski, Über das Randverhalten der Ableitung der Abbildungs Function bei konformer Abbildimg, Mathematische Zeitschrift 3 5 , 321 to 456 (1932). [29] S, £. Warschawski, On the higher derivatives at the boundary in conformal mapping, Trans. A m . Math. Soc. S8, 310 to 340 (1935). 301 S. E . Warschawski, Conformal mapping of nearly circular regions, Proc. Am. Math. Soc. 1» 562 to 574 (1950). 31] S. E . Warschawski, On the degree of variation in conformal mapping of variable regions. Trans. A m . Math. Soc. 335 to 356 (1950). [32] S. £. Warschawski, On convergence in the mean in conformal mapping, to be published.
ipp
ë
849S61—62
13
187
18.
A Variational Method for Simply Connected Domains A* C . Schaeffer ^ a n d D . C . Spencer ^
1.
Introduction
L e t ^ be a simply comaected domain i n the ty-plane containing the origin, b u t not the point at infinity, and of mapping radius 1. T h e n there is a function (18.1)
* *
which is regular i n |2|<1 and such that w=J{z) maps |2;|<1 onto ^ i n a one-to-one maimer. If « ? = / * ( 2 ) maps I ^ K l onto a domain in the -uvplane which is " n e a r " then/*(s) will be " n e a r ' * / ( 2 ) i n some sense. There are several methods b y which the change in the mapping fimction may be correlated with the change i n the domain. T h e present remarks will deal with methods that have been developed b y the authors. I n one case the variation is made o n the boundary, i n the other case, i n the interior; and the latter case is a development of a variation that has been used b y Courant.
2.
Boundary Variation
T o consider first the case of a variation on the boxmdary, suppose that T is an analytic Jordan arc on the boundary of with end-points at a and 8. If g(w) is analytic i n a full neighborhood of F , and vanishes at a and then the function,
(18.2) is regular except at infinity and at points of F . B y deforming the contour of integration and making use of the residue theorem, i t is readily shown that f(w) has a discontinuity across F equal to « g{v)). If w' is a point of F , and f i ( w ' ) » i'sC^'O are the limits of f(w) as w approaches w' from points on the left a n d o n the right of F , respectively, then U{w*)''Uw')==^g{w').
(18.3)
H e r e left and right are as seen along the arc F , looking from a toward p. T h u s for small «, ^{w) maps the left and right edges of F onto Jordan arcs Ft and F j , respectively, in the f-plane, and the exterior of F is mapped onto the one- or two-sheeted domain i n the f-plane bounded by F i and If, for example, g{w)e~^ has positive imaginary part on F , where dw dw
H ^ ^ ^ W ^ ^
^ ^ ^ ^
is the unit tangent vector to F , then for small positive c the domain in the f-plane is one-sheeted. case the function,
r(3)=y(a)+A|!i?) f
„
..du,
In this
(18.4)
is schlicht and regular in I ^ K l , and is normalized by the conditions/*(0)=0,/*'(0) = l . I n case « is negative, the domain i n the f-plane bounded b y F i and Fa is two-sheeted. I n this case the function (18,4) will, in general, map |3|<1 onto a two-sheeted domain. However^ b y making a variation of the unit circle i n u i e 2-plane, we can obtain a function from (18.4), which is schlicht i n !2|<1 for real or complex c. T h i s variation can be obtained as a limiting case of an interior variation. • Purdue UnlTrniity, Lafayette, Ind. * Stanford University, Palo Alto, Calif.
3.
Interior Variation
Now let T represent an analytic Jordan arc tying in \z\
2
—U8
)
^ '
The arc T and in |2J|<1 map into arcs V and F« in ^ u n d e r the mapping w—f{z). lies on Vf andff.(w)is defined by aM^Wz
+ €piz))-f{z)]h,
(18.5) If w=J{z) (18.6)
z,T,
then the point w+
€q,iw)=fiz+€p(z))
lies on y,. There is a mapping of the domain in the wvplane bounded by V and V, onto a domain in the «7*-plane such that V and map into the same arc K^t and the points w oi V and w+tq^iw) of F« map into the same point of Kt. The mapping after a suitable bilinear transformation may be written w
w+
2rija
(18.7)
dv+o(€),
viv
where o=/(a), 6=/(/3). It follows from (18.6) that q.(w)=P(z)f(2)
+ o{l\
w=fiz).
The mapping from s to 2 to w to w* defines a function « J * ( « ) , which is regular in |«|<1 cut along Z7.. It is single-valued across U, so it is regular in |s|
pill)
2
U-\-8 s// \j
I €
2iri
, 2P 1—U8
f(8)8du+0{€).
If f =0«?*, where C is chosen to normalize, it follows that
ufju)
y'(z)+/(2)}
L/(«)
du
+
(18.8)
2TI
where 2 is written in place of s. If one now considers a continuous overlapping or a continuous opening of a hole with a continuous sewing together, then the mapping fimction
is a fimction of a real parameter L If i'=/(2, <+«), andy(2) represents/(«,<), where e is real, then letting c tend to zero in (18.8) one obtains ft
bt
2
piu)
m
2fiz)
ufiu)
\L
J
u+z
du
If the domain ^ i n the v?-plane is boimded b y Jordan arcs and the point z=e of one of these arcs, theny'(c'*)=0. L e t t i n g piv) tend to zero everywhere except a manner, and i n particular such that
laps into the tip ^''y i n a suitable
p(u) 2u
2 we see that
1-e where y=^A-\-A, T h i s is a differential equation due to Loewner, trivially modified because of a difference i n normalization. Loewner's differential equation for tJie inverse function can also be obtained.
4.
A Special Case
There is a specialization of (18.8) that we would like to mention briefly. I t is of interest i n the study of the domain of variability of the coefficients of schlicht functions. L e t J(z) be a function of the form (18.1) which is regular and schlicht i n |2|<1, and let w==J(z) satisfy a n equation of the form / Z
jy.
.
(18.9)
Q(z),
where n-l
A
Qiz)
and Q(z) is nonnegative on 2 = 11 w wiittnh at at least least one onezero zero tnere. there. Further, urtner, suppose suppose 1that w=Jiz) aps 2|<1 onto the exterior of a single analytic slit i n the w-plane extending to innnitv, a n d that w=f(z) satisfies no other equation of the form (18.9), except one obtained by multiplying each side of (18.9) b y a positive constant. L e t be the points of |2|== 1 which map into the nnite and infinite end-points of the sht i n the w-plane. L e t ^ 1 , ^ 3 , . . . , Pn-i be any constants, such that the function
fi+i
has a zero at
and let
2
(r{z)=Q{z)+.m+oi^),
where c is a positive constant. T h e n there is a function P*(w)=P(w,c) such that for a l l small « the function w—J*{z) satisfies a n equation of the form
and/*(2) is regular and schlicht i n |2|<1.
Moreover, i f
then/*(2) is given b y the variational equation x(f)dt
2iri
J|(|-it
.
T h e variation is thus specialized to sweep out a neighborhood of functions which satisfy an equation of the form (18.9), and no other functions.
19.
Some Remarks on Variational Methods Applicable to Multiply Connected Domains M . Schiffer and D . C . Spencer ^ *
1.
Introduction
het ^ be a multiply comiected domain of the j?-plane having m boimdanes. Given a function f(z)j which is regular and schlicht in ^ and which may also satisfy additional restrictions, we may ask for a neighboring fimction/*(2) of the same type. That is, usmg the language of the fimctional calculus, we may wish to find a general formula for the variation &f of the fimction Or, more ^nerally, we nay ask for the variations of the various conformai invanants (including differentials) wQch are associated with the domain Perhaps the simplest and most [important invariant is the Green's fimction g(z,[) of ^ whose variation is c^ven by the classical Hadamard formula. This formula is a boundary-variation formula which is appBcable only if the boundary of ^ is sufficiently smooth. We assume that the boundaries of ^ are analytic curves Cv, v=lt 2, . . ., m, and we write
»-1
Let every point of C be defined by a parameter 8, which measures the lengths of the curves successively, and let 5n(«) be a continuous function of s which determines the normal displacement of each boundary point. We take &n(8) positive if the displacement is in the direction of the outer normal. In this way we define a new domain ^ * with a Green's function g*{z,t). The Hadamard formula has the form (19.1) This formula has been the starting point in computing the variations of various quantities associated with ^ (seep, 4]»). In the case of a simply connected domain, the Green's function is connected in a simple way with the function that maps the domain onto the interior of the unit circle. This is no longer the case when the domain is miUtiply connected. However, the real part of the logarithm of the function which maps ^ onto the interior of the unit circle cut along concentric circular arcs is a domain-function similar to the Green's function which satisfies entirely similar variational formidas [4]. There are m such functions depending on which contour of ^ is mapped onto the circumference of the imit circle. The variational method may thus be used as a practical instrument in the calculation of approximate conformai maps. The variational method often yields valuable information quickly and simply on the way in which a given quantity depends on the domain ^ For example, the so-called torsional rigidity P of a simply connected domain ^ (which represents the cross section of a bar) may be expressed in the form (19.2) I Stanford CnlTeraity, Stanford. Calif. * This paper was written vbUe tlie suthora were engaged on a project sponsored by the Office of Naval Researcb (Contract Nfr-ori, 1S4, Task lU, Stanford Dniwrsity). * Figures in Ivaclcets indicate the literature references at the end of this paper.
where
denote the z and j; area elements.
Applying (19.l), we obtain àgjtiz)
6P
ónda.
On
Formula (19.3) shows how P varies as we change the domain. I n particular, if is everywhere nonnegative on Cf we see that 6P is nonnegative; that is, P is an increasing function of domain, a property that is physically obvious. B u t (19.3) also shows the effect of small indentations on the torsional rigidity of the bar. Finally, the variational method enables us to solve extremal problems i n conformai mapping by the method of the calculus of variations. The solution of extremal problems is of cornee the most important application of variational methods. Extremal problems are also important i n applications, but the variational method is still in its infancy as an accepted technique, and so it has not yet been applied systematically to the solution of practical problems. It is hoped that its utility i n the hands of applied mathematicians will soon be established. Here we outline a method for determining the variation of a function which is regidar and schlicht in a multiply connected domain ^ and which satisfies the further condition that its values lie schhcht on another midtiply connected domain ^ . It is to be expected that the variational formula w i l l be expressed i n terms of certain invariants of ^ and ^ . The formula for the variation of the Green's function is exceptional in the sense that it involves only the quantity being varied. We therefore b ^ i n b y constructing the necessary invariants.
2«
The Invariants
As was pointed out b y Shottky and later by K l e i n , the invariants of a multiply connected domain can best be tmderstood i n terms of the so-called "double" of the domain. We suppose that ^ is boimded b y m analytic curves and that it Ues i n the finite part of the 2-plane. I n order to avoid a special discussion of the case m = 2 , we suppose that m > 2 . L e t ^ be a second replica of ^ If we identify corresponding boundary points of ^ and ^ we obtain a closed surface of genus m - 1 . In order to make this surface into a Riemann surface, it is necessary to introduce suitable local uniformizing parameters or "imiformizers." A t an interior point of ^ the variable z is itself a uniformizer. At the corresponding interior point of ^we define J to be the uniformizer. Near a boimdary point Za of there is a variable t wnich maps a half-neighborhood of ^ at ZQ onto a domain of the upper halfplane 3 C>0 such that an arc of the boimdary of ^ containing Zo goes into the real a m . Since the boundary curves of ^ a r e analytic, we may take t to be the arc-length parameter which is chosen such that i t increases i n passing through z^ with points of ^ to the left. A t Zo we define
ag
àg
àg
ÒZ
ÒX
òy
z=
x+iy.
This differential has simple poles at f and f with the residues —1/2 and +1/2, respectively. define [5] TÒ^Òf
(19,4)
Now (19.5)
F r o m j t s construction we see that L{Zy i)dzdi is a bilinear differential, and we remark that L{z^'i) or L ( 2 , f) is Bergman's kernel function K{Zj f), We observe that Z ( 2 , f ) has a double pole at z—^:
^^3^+regular
terms
(19.6)
I t foUows immediately from the definition of L that =
Uz,^)dzdi
L{z,i)dzdi,
(19.7)
T h u s if we define L b y the relation L(z,t)dzd{=L(z,i)dzdf,
(19.8)
l{z,i)dzdi
(19.9)
we see that =
L{Zyi)dzdi.
which takes conjugate values a t conjugate places, that is a differential dZ for which
A differential of
w i l l be called a differential of A differential of ^ is plainly real on the boundary of I n this sense L(z,()dzdi is a bilinear differential of ^ which is real when both z and ^ are on the boundary of Other properties of L follow immediately. W e have the obvious symmetry property X(2,f)=z(r,3). (19.10) If f is o n the boundary of then L{z,Odzd^
=
L{z,})dzdJ=L(zJ)dzdJ.
(19.11)
If e is o n the boundary, we have in the same way L(z,^)dzd!:=L{z,s)dzd^
=
L(z,i:)dzd(.
(19.12)
Formxdas (19.11) and 19.12) are consequences of the fact that L(z,f)dzdf is invariant to changes of the uniformizer and, at boundary points, we have at least two uniformizers, namely the variable and its complex conjugate. Since we have supposed that the number m of boundary components of ^ exceeds two, there are at least two linearly independent everywhere finite linear differentials of ^ say dZi and rfZj. T h e n
dZ.(f)
dZ,{z) A(2,f)d2df
rfZ,(f)
dZ,iz)
is an everj^here finite bilinear differential of Consider the function Ziz)
(19.13)
which vanishes at z dZ,(z)_Z[(z) dZ,{z)
(19.14)
Ziiz)
Forminer its differential we obtain dZ
A{z)dz^
A/ X
Zliz)
Z\{z)
Zliz)
Ziiz)
(19.15)
T h i s shows that A(z) is a cubic differential of ^ W e may always choose dZi such that i t has no zeros on the boundary of ^ T h e n Z(z) is real and finite o n the boundary of ^ and, since i t is singlevalued, we see that A{z) has two simple zeros on each of the m boundary components of ^ B u t since A(z) is a n everywhere finite cubic differential, i t is well known that A(z) has 6(m-2) zeros o n ^ Of these zeros 2m lie on the boundary of ^ 2m-6 lie interior to ^ and 2m-6 he a t the conjugate places interior to ^ Select arbitrarily m zeros on the boundary, one from each boimdary component. These m zeros plus the 2m-6 zeros interior to ^ w i l l be denoted b y Z j , 2 j , . . . , S j i ^ - a , a n d the remaining zeros w i l l be denoted b y I i , 2 3 , . . . , z^m-iremark that the nimiber
14
195
N o w define (19.16)
n(2,f)=TL(2,f)^^-
T h e n {n(z,i')df^)/dz is an invariant which is a quadratic difi'erential w i t h respect to f, a reciprocal differential w i t h respect to 2. T h e singularities of n(2,f) are at z=^ and at the zeros of A(z). N e a r 2=f, n(2, f ) = l / ( 2 —{•)+regular terms. If
(19.17)
is not equal to 2^, then near 2< we see that n(z,
f)=I^%pM^
Here we suppose that all zeros of A(2) are simple.
_ ! _ + r e g u l a r tenns. The expression
(2<(f)=TX(2.,f)A(2i,f) is plainly a quadratic differential w i t h respect to f. A(2.20 =
we see that Qi is finite on ^
(19.18)
(19.19)
Since = - A ( 2 0 = 0,
0 , ^ ^
(19.20)
Let (19.21)
Qiizy)dz'=Qi(ß)dz'
If 2 is chosen equal to 2, as we may always suppose, then
be the conjugate quadratic differential.
<2i(S)=$<(2).
(19.22)
. . .
(19.23)
Hence for 2 near Zt we have b y (19.18) n ( 2 , r ) = ^ ^ — + A'{Zi)z
F i n a l l y we note that
— Zi
, n ( 2 j ) = § ' ^ — h ' *^ A\Zf) z — Zi
f)
n{z, i)dt\_fn(z,J)dr\n(z, dz
\
dz
/
24)
dz
In particular, (n{z,^)d^^)/dz is real when 2 and f are both on the boimdary of ^
Here and elsewhere we suppose that when a variable such as 2 is on the boundary, then dz has the direction of the tangent vector. The quantity (n(z,f)d^^)ldz is the invariant needed i n the construction of the variation.
3.
The Variational Method
We come now to the variational method. L e t ^ be contained i n another multiply-connected domain ^0 which has m' boundary components, m ' > 2 , and let ^ 0 be mapped conformally onto a inidtiply connected domain ^ of the plane w i t h m ' analytic boundary curves. I n the following discussion w i l l be assumed fixed. We say that a function/(2) is an ^ - f u n c t i o n if it is single-valued and r e ^ a r - a n a l y t i c i n the interior of ^ and maps ^ onto a schlicht subdomain of £f. O u r purpose is to investigate the variation of an .-^-function. L e t 7 be a short analytic Jordan arc l y i n g i n the interior of ^ and joining two points a, 0 of and let 7 denote the conjugate arc on the double ^ L e t r{z) be a reciprocal differential which is defined and regular i n a complete neighborhood Nofy w i t h r(a) =r(|S)=0, and let r (2) be its conjugate; that is, r(z) dz
my
rÇz),
(19.25)
Now let qi(z)j qt(z), . . . , q^iz),
fr({)qi(()dt=0,
(19.26)
Then we have also 0.
J^r(?)2*(?)^?=J^Kr)g*(f)rff
(19.27)
Define
h(z)^~^f^rit)n{zM-^^
(19.28)
where the integration is from ato P along y and from atop along 7 . It is clear that h{z) is a reciprocal differential and that h(z)/dz is real on the boundary of ^ Moreover, by (19.26) we see that h is regular at the zeros of A(z) and hence is regular everywhere on ^ except possibly along the arc 7 . A t the end-points a, of 7, h(z) is boimded and continuous. Moreover, since the path of integration may be deformed, it is clear that k(z) is regidar at interior points of either edge of 7. Let 7 be durected from a to and let z' be a point on the left edge of 7, z** the point on the right edge opposite z\ B y the residue theorem we have (19.29) A(2')-A(2*) = K 2 0 = K2''). Thus h(z) is not single-valued across the arc 7 . When is the interior of the unit circle, the corresponding function his [2]: h{z)
2
m
2
2T
z
^ d i . f 2 - l
(19.30)
The double of the unit circle is the sphere, and 1 z{z + {) 2^ 2 - f
»(2,f)
is a simple rational expression.
In the second integral we have expressed the integration in terms of
f=l/r,so n(g,r)rfr'^ z
dz
_1_ Tz + l
dz2Tlz
—\
dr.
Since there are no everywhere finite quadratic differentials except zero, the orthogonality conditions (19.26) are absent. Consider the function (19.31) Zi = Z + €h(z) where «is a small real number. This function is regular on except at a and and has a discontinuity of amount r(z) across the arc 7 . A t a point on the boimdary of ^ the term h{z) is equal to a real number multiplied by the unit tangent vector of the boimdary at the point. It therefore maps the boundary of ^ into itself with an error that is o(c). As f traces 7 , f+cr(f) traces a neighboring arc 7 , connecting a and /3. If we identify the point f of 7 with the point f+er(f) of 7,, we obtain a Riemann domain which has the same boundary as ..^ plus the two additional boundary points a and jS and which may be mapped onto ^ minus two points a and 6, the images of a and 0. The inverse of the function (19.31) (plus an error term o(<)) is the function which performs this mapping. Now we construct a similar Junction for the domain Let N(w, ij) be the same function for fJi as 71(2, f) is for ^ We denote the image of 7 in the mapping / by r , and we set (19.32) Then Wi=w+
tH{w)
(19.33)
is the analogue of (19.31). particular,
We express the integration in (19.32) in terms of f, and we take, in
Then, replacing to by /(s), we obtain
i2=-r(r)/'C/).
(19.34)
H [ / ( 2 ) ] = 2 ^ JRUi!:)]Nlfiz)jmdM-^jB[JinNUiz)Jindm.
(19.35)
Let ^ 1 , ^ 3 . ' • • , 0 » , a ' = 3 m ' — 6 , be a basis for the everywhere finite quadratic differentials of subject r(f) to the further conditions that
J^«[y(f)l9.L/(f)]
t=l,2,
Let y*(s)=/(2)+«/'(3)A(2)+^um
We
(19.36) (19.37)
If 2 ' is a point on the left edge of 7 , 2 * the point on the right edge opposite 2 ' , then
/*(20-/*(2'')= e/'(20K3')-«/'(3>(20-o.
(19.38)
T h u s / * is single-valued across 7 and is therefore regular throughout ^ Moreover, in any closed set interior to ^tf* will differ from an ^-function by an error o(€). Instead of taking ^ to be a multiply connected domain of the plane, we could as well take ^ to be a domain of higher genus spread over the plane. We therefore have a method of varyiiig functions which are subordinate to fixed surfaces. Also, we may replace ^ by any orientable finite Riemann surfaces with boundaries. Let / be a fimction which is regular and schhcht in ^ and let / map ^ onto a domain whose boundaries are sufficiently smooth. B y taking 7 on the boundary of we obtain a generalization of Julia's well-known variation formula (see [1]). In fact, we obtain
m '
where dw \dw\*
^
(19.39)
(19.40)
is the normal shift of the boundary of the image domain. The integration in (19.39) is over the boundary of ^ with area of ^ to the left. The formula (19.39) in the case in which the domain is simply connected has proved to be a practical tool in the approximate calculation of conformai maps, for example in the mapping of wing profiles onto the unit circle (see [6]). If the mapping of a given domain onto some other domain is known, the formula (19.39) may be used to compute a slightly varied mapping which is a closer approximation to the desired mapping than the known one. In a forthcommg paper we apply the above variational method to the coefficient problem for functions which are regular and schlicht in a given multiply connected domain ^ B y investigating the characteristic differential equations of the partial differential equation of the boundary of the n-th coefficient region, we obtain a generalization of Lowner's differential equation to multiply connected domains.
4.
References
[1] Julia, Sur une équation aux dérivées fonctionelles liée à la représentation conforme. Annales de l'Ecole Normale (3), S » , 1 to 28 (1922). 2 A . G. Schaeffer and D . C . Spencer, A variational method in conformai mapping, Duke Math. Jour. 14,949 to 966 (1947). 3 M . SchìfiFer, Variation of the Green function and theory of the p-valued functions. A m . J . Math. 669 341 to 360 (1943). 4 M . Schiffer, Hadamard's formula and variation of domain-functions. A m . J . Math. 68, 417 to 448 (1946). 5 M . Schiffer, The kernel function of an orthonormal system, Duke Math. Jour, 1 3 , 529 to 540 (1946). 6 T . Theodorsen and I. E . Garrick, General potential theory of arbitrary wing sections, N A C A Report No. 4 5 2 (1933).
20.
Theory ol Kernel Functions in Coniormal Mapping ' S. B e r g m a n a n d M . S d i i f f e r 2
1.
Green's Function and Related Domain Functions
L e t 5 be a domain whose boundary C is composed of n closed analytic curves C The function g{Z,W) is called Green's function of B if it is harmonic i n both argument points, except for Z = W, where g{Z,W)-\-\og
\z—w\j
Z=ix,y),
W=(u,v),
z
—
x^-iy,
(20.1)
w—u-\-iv,
is regular harmonic, and if g{Z,W) vanishes if either argiunent lies i n C, We may consider g as the real part of an analytic function 'p{z;W) i n z. T h i s fimction will, i n general, not be single-valued but has a period aroimd each Cr, ^fc
'
dsz = 27rio>.{W).
(20.2)
These periods {W) are harmonic functions i n W] they are zero i n each boimdaiy continuiun C^y except for C , where they have the value 1. T h e y are called the harmonic measmes of the continua C» at W w i t h respect to the domain B and play an important role i n boimdary value problems of potential theory. T h e y may be considered as real parts of analytic functions Ww{z), which are again not single-valued but nave aroimd the continuum the periods ^Tc ^ds^^TxP^,.
(20.3)
The periods P^f are closely related to Maxwell's induction coefficients. B y means of the above terms, numerous important canonical map functions can be constructed. Take, for example, the function
5p(Z,WO=ì7(Z,HO+Sc,^>a,,(Z)a,,(WO,
(20.4)
where the c% have been determined i n such a way that ^ ^ ^ ^ d s z = Q
forvT^p,
5P(Z,1D=0
forZeCp.
(20.5)
Then, i t is obvious that is log |vp(2;W0|, where tp^X^iW) maps B univalently on the exterior of the unit circle slit along concentric circular arcs, such that W goes into <» and the continuum corresponds to the unit circle. The c% are easily expressed i n terms of the P,a. If we complete ^,{Z,W) to an analytic function i n 2 , say pp{z\W), it is easily seen that the two functions,
map the domain B imivalently upon the whole plane slit along rectilinear segments parallel to the real and imaginary axes, respectively, such that the point w corresponds to » . A somewhat deeper result states that also the function
1 W.»,+«..;n,=M, ReMarch paper d
The Idaaa exiveaaed In
tbii paper
rep-
is univalent in B, It maps B upon the exterior of a set of analytic curves that enclose the greatest area obtainable for every univalent map of 5 by a function [i/{z—w)] + , . . . Nmnerous further canonical domains could be constructed from Green's function; its central role in the theory of conformai mapping is, therefore, evident. Very often conformai mapping is necessary in order to solve boundary value problems; in this case, it is Green's function vrhich is required in reality.
2*
The Kernel Functions
If a harmonic function is to be determined by the values of its normal derivative in C, we have a boxmdary value problem of the second kind. In the case of the plane, this problem may easily be reduced to a boundary value problem of the first kind, and thus solved by means of Green's function. In fact, if h{Z) is harmonic in B and bh/bn is given in C, we consider its conjugate fimction hi{Z); by the Cauchy-Riemann equations we have ^'^ bn
(20.8)
bs
and we are thus led to a boundary value problem of the first kind in hi. On the other hand, boundary value problems of the second kind are solved by use of Neumann's function n(Z,W), which is defined analogously to Green's fimction, only with the condition of vanishmg on C replaced by the requirement of constant normal derivatives there. The above remark makes it obvious that relations between Green's and Neumann's functions must exist. In fact, using the differential operators
we obtain the relations
d
Ò
b
bz
bx
by
b'g bzbw
bzbw
bz
2 Vox
b^n ^.Wl(z)w',iw)y bzbw
(20.9)
by
wliz)w',{w)
bzbw
(20.10)
with appropriately chosen real coefficients p^,. The above identity leads our attention quite naturally to the two functions K{z,w)
2 b'g{Z,W) IT bzbw
L{z,w)
2ÒV(Z,M0 w
bzbw
1 r{z—w)
l(z,w)
(20.11)
The functions L, and I are analytic in all their arguments; they are regular in 5 , except for Z , which has a double pole for z=w. B y their definition, they have the synunetry properties KiZfW)=^K{WjZ),
L(ZfW)=L{WjZ)j
l{ZjW)=l{w,z)
(20.12)
From the boundary behavior of Green's function, one can easily conclude z'L(ZjW) = ~z'K(z,w)t
,
dz
z{s)€C, weB
(20.13)
The functions K and L are, thus, conjugate differentials in C, a fact which has many uses in the theory. In particidar, it follows easily from (20.13) that for each analytic fimction/(ti?) in we have j
j^K(z,w)f{w)dr^
f(z)j
dT„=du
dvj
(20.14)
and
JJ^X(2,w)y(w)(fT„=o,
(20.15)
+C w i t h ^ ( 0 = 0 . W e conclude that dz\=ip(f)
for every function