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.
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
Mathematical Thinking: Problem Solving and Proofs
I am have nearly completed a second edition, which includes a new Chapter on groups associated with holomorphic mappings.
Here are some typos and corrections in the published version:
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.
click here for additions, errata, etc.
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.