## John P. D'Angelo

Professor
Department of Mathematics
University of Illinois at Urbana-Champaign
1409 W. Green Street 355 Altgeld Hall
tel: (217) 333-6406
fax: (217) 333-9576
email:jpda@math.uiuc.edu

### Short Curriculum Vita ResearchSeveral complex variables and geometry

My book Several Complex Variables and the Geometry of Real Hypersurfaces describes areas closely related to some of my research interests. Click on the research link for a short list of corrections. For many years I have been interested in CR mappings between spheres of different dimensions. I am also interested in positivity conditions for real-analytic real-valued functions of several complex variables.

For example, David Catlin and I gave the following necessary and sufficient condition for a bihomogeneous polynomial $p$ of $n$ complex variables to be positive away from the origin. There is an integer $d$ so that $p$ is the quotient of squared norms of homogeneous holomorphic polynomial mappings, the numerator vanishes only at the origin, and the denominator is the d-th power of the Euclidean norm. We have extended this result to an isometric embedding theorem for holomorphic bundles. See Math Research Letters 6 (1999).

My current research interests concern Hermitian analogues of Hilbert's 17th problem and proper holomorphic mappings between balls in different dimensions.

My book Hermitian Analysis: From Fourier Series to Cauchy-Riemann Geometry gives some indications of additional reserach interests. See especially Chapter 4 of the first edition and Chapters 4 and 5 of the second edition.

In studying group invariant proper holomorphic mappings between balls in different dimensions I discovered a triangle of integers bearing a neat relationship to Pascal's triangle. Here are the first few rows! Can you figure out the rest?

1 1

1 3 1

1 5 5 1

1 7 14 7 1

1 9 27 30 9 1

1 11 44 77 55 11 1

1 13 65 156 182 91 13 1

1 15 90 275 450 378 140 15 1

### Books

• Several Complex Variables and the Geometry of Real Hypersurfaces

• This book discusses points of finite type on real hypersurfaces in complex Euclidean space. (CRC Press 1993) Click on the research link above for a short list of corrections.
• Mathematical Thinking: Problem Solving and Proofs

• This book, coauthored with Doug West, helps students make the transition from elementary mathematics to upper division courses. See Doug's web page for more information including a list of typos. Go to home page for the book .

• Hermitian Analysis: From Fourier Series to Cauchy-Riemann Geometry.

• I published this book (2013) in the Birkh\"auser Series Cornerstones in Math.

I published a second edition in 2019. Here is the link:

### Second edition

• Hermitian Analysis

• My teaching page has a link to a draft to the first edition of this book.

The second edition includes a new Chapter on groups associated with holomorphic mappings.

Here are some typos and corrections in the first edition:

Page 7. Exercise 1.7. The final equation should be $|p(e^i\theta)|^2 = f(\theta)$.

Page 32. Proof of Corollary 1.7. In both displayed equations, exp(inx) should be exp(-inx) and exp(-inx) should be exp(inx).

Page 33, just below formula (50), "convolution of the Fourier series" is not quite correct. It is the convolution with the function h whose Fourier series is...

Page 35, proof of Theorem 1.11, replace "in" with "on compact subsets of" just before "the unit disk".

Page 40, Exercise 1.63 should be Exercise 1.64.

Page 68. In Exercise 2.35, the reference to Exercise 2.23 should be to Exercise 2.33.

Pages 79, 80. There is some confusion between the eigenvalues of L and the eigenvalues of (L-kI).

Page 97. In Proposition 3.4, item (2), the second term should not have a $\sigma$ and the third term should be mulitplied by ${1 \over \sigma}$.

Page 113. Exercise 3.39 of Chapter 3. M should be multiplication by exp(-x^2/2) rather than by exp(-x^2).

Page 125. The sketch of the second proof of the Wirtinger inequality is not quite correct.

The functions sin(n pi x) satisfy the ODE but not the integral equation because of boundary conditions.

There are several similar correct approaches to this problem. We can consider either T*T or TT*

If we consider T*T, then we get the boundary conditions f(1)=0 and f'(0) = 0. The eigenfunctions in this case are cos(x (2n+1) pi/2 ). The maximum eigenvalue becomes 4/pi^2, hence the norm of T^*T is 4/pi^2, and hence the norm of T is 2/pi. We obtain the inequality (in L^2 norms on [0,1]) ||f||_2 \le (2/pi) ||f'||_2 when we assume f(0)=0. If we further assume f vanishes at 1, by symmetry, we get the inequality ||f||_2 \le (1\pi) ||f'||_2. The Wirtinger inequality follows, as noted below.

Remark: If we consider TT^*, then we get boundary conditions f(0)=0 and f'(1) = 0. Now the eigenfunctions are sin(x (2n+1) pi/2) and again we obtain the norm of T is 2/pi.

Once we know that the norm is 2/pi for the operator T on L^2[0,1], the Wirtinger inequality follows. Setting x=2t-1 then rescales things to the interval [-1,1]. The even function f'(x) = cos(x pi/2) vanishes at both endpoints of [-1,1] and rescales to cos((2t-1) pi/2) = sin (pi t), which vanishes at both 0 and 1. The norm of the integral operator on functions vanishing at both endpoints is then 1/pi, and the Wirtinger inequality follows.

One cannot assume at the start that f vanishes at both endpoints; there are no such eigenfunctions for T*T.

Page 126. Formula (P.1) should have a C^2 on the right-hand side.

• Inequalities from Complex Analysis

• I have published a Carus monograph on this topic. (MAA 2002) See my research page for a short list of typos.

• An Introduction to Complex Analysis and Geometry

• This book developed from Honors Classes on Complex Variables I gave to freshmen. It contains many exercises and many more advanced tidbits. (AMS 2011)

• Linear and complex analysis for applications

• My teaching page has a link to a draft of this book. The book was published by CRC Press in 2017.

Here are some typos and corrections.

Page 6. Item 1) of Theorem 1. "For each B \in V" should be "For each B \in W".

Page 37. In the first sentence of section 10, "there is basis" should be "there is a basis".

Page 75. Exercise 1.2. "minimum" should be "local minimum".

Page 94. Three lines above the picture; in both line integrals $d{\bf S}$ should be $d{\bf l}$.

Page 121. Definition 6.1 should say "(1) p is called removable if lim_{z \to p} f(z) exists".

Page 67. Four lines from the bottom, the matrices on the left should be multiplied in the opposite order. (The one with capital letters should be on the left.)

Page 174. In equation (1), the exponent in the denominator of the third term in the middle expression should be 4 (not 2).

Page 196. Proposition 8.1. The word "if" should be added after "if and only". One could also add "Assume q and r are real-valued continuous functions." as the first sentence of the statement.

Page 141. A right parenthesis is missing in the infinite product formula for sinc(x).

Page 203. Example 10.2 has the same error as on page 125 of the Hermitian Analysis book, noted above. The reasoning can then be used to give a second proof of Theorem 9.1.