RESEARCH STATEMENT BARTLOMIEJ SIUDEJA My research interests revolve around two distinct, yet intersecting, areas: eigenvalue estimates for Laplace-related operators and properties of heat kernels for subordinate Brownian motions. The topics merge in the study of the spectral properties of subordinated Brownian motions. In my research I combine numerical calculations in Matlab and symbolic computations in Mathematica to gain insight on the studied problems. I am also incorporating computerbased methods into my rigorous proofs. For example: tedious calculations for eigenvalues of triangles [24] are handled by Mathematica, and part of the proof of the bound for the second eigenvalue [17] uses a rigorous argument containing numerical calculations. One of my long-term goals is to develop new theoretical tools by leveraging modern computational methods. I draw my intuition from stochastic processes and their links to heat equations. I think about eigenvalues in terms of the exit time for Brownian motion, or the loss of heat. In fact, many bounds for eigenvalues have their stronger analogs about heat kernels. 1. Eigenvalue estimates Nature has an amazing ability to optimize. Bees construct hive using hexagonal cells to minimize the expenditure of energy and materials. Cats curled up into a ball to minimize the loss of heat long before the isoperimetric inequality was established. Actually, the loss of heat is connected to the first eigenvalue of Dirichlet Laplacian. It is therefore not surprising that a ball minimizes the first eigenvalue for given certain volume (the Faber-Krahn inequality). What makes balls, or hexagons special? Specifically, how does the geometric nature of the domain influences eigenvalues? Is the symmetry of the domain a key to finding bounds for eigenvalues? In my earlier work I have proved some variational upper bounds for triangles [24], and some symmetrization-type lower bounds for triangles [25]. Each time extremal domains have some degree of symmetry. Later on, with Pedro Freitas, I have proved bounds for quadrilaterals [9]. Again, symmetry played an important role. Finally, my work with Richard Laugesen on Neumann eigenvalues [15, 16], enabled us to discover general methods of tackling eigenvalue estimates, methods based solely on the geometric nature of the domains. These methods generalize earlier work of Pólya [21, 22], Hersch [11] and Freitas [8]. Unlike earlier approaches, our methods do not require exact formulas for eigenvalues or eigenfunctions, even of the extremal domains. Next I describe these recent methods. Method of Rotations and Tight Frames [18, 19]. Using this method we can find extremal domains for sums of eigenvalues in the class of domains obtained by affine transformation of a symmetric domain. The symmetry group of the initial domain is used to generate tight frames in Euclidean space (A tight frame is a linearly dependent collection of vectors that satisfies a Plancherel identity. See Figure 1, for a tight frame of 3 vectors in R2 . Those tight frames are used to simplify the variational formulation for eigenvalues of transformed 2 BARTLOMIEJ SIUDEJA domains. Thus, we mix applied harmonic analysis with the theory of group representations (to find tight frames) to obtain sharp bounds for eigenvalues. The resulting bounds use area and the moment of inertia as scaling factors for eigenvalues, and the extremal domain is shown to be symmetric for all of Dirichlet, Neumann and Robin boundary conditions. A strength of the method is that it applies also to higher dimensions. 3 2x y x Figure 1. The “Mercedes–Benz” tight frame (3-fold rotational symmetry) in the plane. The reconstructed vector equals 3/2 of the original one. Method of the Unknown Trial Function [17]. Using this method we get lower bounds for eigenvalues in a one or two parameter class of domains. Our approach is to “interpolate” between two or three simple cases to get some information about intermediate domains. We use convex optimization and rigorous numerical calculations on the chosen special domains to get general bounds for the whole class. The method does not require exact eigenfunctions even in the special cases. We proved that the sums of Dirichlet eigenvalues of triangles, scaled with diameter, are minimal for equilaterals. The same is true for the second eigenvalue alone. F+ E F− Figure 2. Linear maps to an arbitrary triangle, from more familiar domains: the equilateral triangle E and two right triangles F± . Future directions. The new methods exploit the geometric nature of the domain, and not the specific form of the operator. This opens up a huge area of applications to other physics-related eigenvalue problems. Instead of a vibrating membrane (the Laplacian), I want to consider a vibrating plate (the biLaplacian). My methods should further adapt to give sharp geometric bounds for magnetic and elastic energies and eigenvalues of nonlinear diffusions. The challenges are numerous: plates are related to a fourth order operator, elastic eigenfunctions are vector valued, the magnetic Laplacian has complex eigenwaves. Classical methods fail in most of these cases. My methods, together with computer-based techniques, provide a way to break the barrier. In a long perspective, I hope to gain enough insight on the mentioned cases, to prove general bounds for convex domains. RESEARCH STATEMENT 3 2. Heat kernels The energy dynamics of the environment are crucial to the existence of life. A fundamental aspect of this is how the heat is distributed in a given domain. A radiator in the corner of a room can provide warmth to the whole area, but this diffusion is not an instantaneous process. This phenomenon is governed by the heat equation and ultimately by the heat kernel. I am most interested in sharp heat kernel estimates on domains, and problems that can be tackled using such estimates. Probabilistically, heat kernels are transition densities for a process. While it is possible to write down exact distributions for some free processes, it is virtually impossible, even in the Brownian case, to explicitly write transition densities for killed processes. My work on heat kernels has concentrated on two subjects. Monotonicity of the Neumann heat kernel [4]. We showed that the length of the reflected Brownian motion in a ball has nondecreasing diagonal of the heat kernel in all dimensions except d = 2. This result relates to a conjecture of Laugesen and Morpurgo [14] about monotonicity of the Neumann heat kernel on a ball. This conjecture was recently proved by Pascu and Gageonea [20]. p(t, x, −x) = ct e−2x 2 /t p(t, x, x) = ct x 0 Figure 3. Reflected Brownian motion on a half line. The Neumann heat kernel is a sum of two free transitions and it is clearly increasing toward the boundary (0). We proved the much harder case of the radial process on the ball in higher dimensions. Sharp heat kernel estimates for symmetric stable processes, and relativistic processes [23]. I have found sharp upper bounds on the decay of the heat kernels near the boundary of a convex domain with simultaneous comparability to the free kernel. As an application, I have found conditions under which relativistic Schrödinger semigroups are intrinsically ultracontractive [13]. I have also discovered finiteness conditions for moments of exit times for symmetric stable processes from unbounded domains [23]. In particular, if a domain is obtained by a revolution of an increasing function, the finiteness of a moment of the exit time is equivalent to evaluation of a certain integral involving that function. This work generalizes results of Bogdan and Bañuelos [1]. α/2 δD (x) x |x − y | −d− α y α/2 D δD (y) Figure 4. Heat kernel pD (t, x, y) of a domain D can be estimated using just three factors: distances to the boundary and the distance between the points. 4 BARTLOMIEJ SIUDEJA Future directions. Brownian motion was the tool of choice for financial mathematics and mathematical physics for a long time. Yet many models are too rough to use nice continuous processes. Recent developments on subordinate Brownian motions opened up a possibility for real life applications. In fact stable processes are already used in computational finance. I want to contribute to this phase change by studying finiteness of the expectation of the exit time for a wide class of processes. I will also study Schrödinger semigroup properties for subordinate Brownian motions. The monotonicity of the Neumann heat kernel is in turn related to the hot-spots conjecture of M. van den Berg [2, 6, 7], stating that the minimum of the first non-constant Neumann eigenfunction is obtained on the boundary. Physically, this means that given an insulated plate, the hottest spot will move with time toward the boundary. This conjecture is still open for convex domains, indeed even for acute triangles. For obtuse triangles it was proved by Bañuelos and Burdzy [2]. Even though it can be stated using partial differential equations, the most promising partial results were obtained using probabilistic methods related to my earlier research. I will try to solve this conjecture for convex domains. 3. Spectral problems for stochastic processes M. Kac asked [12] if one can hear the shape of a drum. Now, we know that this is not always possible [10]. However, one can get a lot of information about a domain from the spectrum of the Laplacian. But, what can one say about a domain by studying other operators? For example fractional diffusions. This question brings together my two areas of interest. Asymptotics of the trace of the heat kernel of killed symmetric stable processes [5]. We establish the first two terms of the asymptotics of the trace on Lipschitz domains. This generalized the work of my coauthors on smooth domains [3]. The result resembles the Brownian case, with area and perimeter in the first two terms. However, the presence of perimeter is surprising, since the process cannot see the boundary: it always jumps out on exiting. The methods used in this paper involve precise heat kernel estimates with detailed estimates on jumps of the process (see Figure 4). Eigenvalue estimates for subordinate Brownian motion [26]. The results involve moment of inertia as scaling factors just like in the classical case. Even though Rayleigh quotient for the operators are very different from classical energy functionals, the form of a bound includes Laplace eigenvalues as a special case of 2-stable generators. Therefore the result generalizes my earlier work on Laplace eigenvalues. The Method of Rotations and Tight Frames (see Figure 1) in the frequency domain is required to obtain the result. Future directions. Asymptotics of the trace of the heat kernel implies the first order Weyl asymptotics for eigenvalues of the generator. In the Brownian case the second term is known, but it is yet to be determined for stable processes and other subordinated Brownian motions. To obtain this term, one cannot use standard wave equation related methods, due to a nonlocal character of the generator of a process. I would like to investigate the “fractional” wave equation to find the second term of the asymptotics. I will also investigate trace asymptotics for more general processes. I will start with a relativistic process, to gain some insight on possible results for general subordinate Brownian motions. Finally, I am working on sharp geometric bounds for eigenvalues of generators of subordinate Brownian motions. I am applying the Method of Rotations of Tight Frames to probabilistically defined operators. Again, the sharp results will be obtained even though eigenvalues are not explicitly computable, even in the case of a ball. RESEARCH STATEMENT 5 References [1] R. Bañuelos and K. Bogdan, Symmetric stable processes in parabola-shaped regions, Proc. Amer. Math. Soc. 133 (2005), no. 12, 3581–3587 (electronic). MR2163593 [2] R. Bañuelos and K. Burdzy, On the “hot spots” conjecture of J. Rauch, J. Funct. Anal. 164 (1999), no. 1, 1–33. MR1694534 [3] R. Bañuelos and T. Kulczycki, Trace estimates for stable processes, Probab. Theory Related Fields 142 (2008), no. 3-4, 313–338. MR2438694 [4] R. Bañuelos, T. Kulczycki and B. Siudeja, Neumann Bessel heat kernel monotonicity, Potential Anal. 30 (2009), no. 1, 65–83. MR2465712 [5] R. Bañuelos, T. Kulczycki and B. Siudeja, On the trace of symmetric stable processes on Lipschitz domains, J. Funct. Anal. 257 (2009), no. 10, 3329–3352. MR2568694 [6] R. Bañuelos, M. Pang and M. Pascu, Brownian motion with killing and reflection and the “hot-spots” problem, Probab. Theory Related Fields 130 (2004), no. 1, 56–68. MR2092873 [7] R. F. Bass and K. Burdzy, Fiber Brownian motion and the “hot spots” problem, Duke Math. J. 105 (2000), no. 1, 25–58. MR1788041 [8] P. Freitas, Upper and lower bounds for the first Dirichlet eigenvalue of a triangle, Proc. Amer. Math. Soc. 134 (2006), no. 7, 2083–2089 (electronic). MR2215778 [9] P. Freitas and B. Siudeja, Bounds for the first Dirichlet eigenvalue of triangles and quadrilaterals, ESAIM Control Optim. Calc. Var. 16 (2010), no. 3, 648–676. MR2674631 [10] C. Gordon, D. Webb and S. Wolpert, Isospectral plane domains and surfaces via Riemannian orbifolds, Invent. Math. 110 (1992), no. 1, 1–22. MR1181812 [11] J. Hersch, Contraintes rectilignes parallèles et valeurs propres de membranes vibrantes, Z. Angew. Math. Phys. 17 (1966), 457–460. MR0208192 [12] M. Kac, Can one hear the shape of a drum?, Amer. Math. Monthly 73 (1966), no. 4, part II, 1–23. MR0201237 [13] T. Kulczycki and B. Siudeja, Intrinsic ultracontractivity of the Feynman-Kac semigroup for relativistic stable processes, Trans. Amer. Math. Soc. 358 (2006), no. 11, 5025–5057 (electronic). MR2231884 [14] R. S. Laugesen and C. Morpurgo, Extremals for eigenvalues of Laplacians under conformal mapping, J. Funct. Anal. 155 (1998), no. 1, 64–108. MR1622804 [15] R. S. Laugesen and B. A. Siudeja. Maximizing Neumann fundamental tones of triangles, J. Math. Phys. 50 (2009), no. 11, 112903, 18 pp. MR2567204 [16] R. Laugesen and B. Siudeja. Minimizing Neumann fundamental tones of triangles: an optimal Poincare inequality, J. Differential Equations, 249 (2010), no. 1, 118-135. doi:10.1016/j.jde.2010.02.020 [17] R. Laugesen and B. Siudeja. Dirichlet eigenvalue sums on triangles are minimal for equilaterals. arXiv:1008.1316 [18] R. Laugesen and B. Siudeja. Sums of Laplace eigenvalues - rotationally symmetric maximizers in the plane, arXiv:1009.5326 [19] R. Laugesen and B. Siudeja. Sums of Laplace eigenvalues - rotations and tight frames in higher dimensions, in preparation. [20] M. N. Pascu, M. E. Gageonea. On a conjecture of Laugesen and Morpurgo, arXiv:0807.4726 [21] G. Polya, Sur le rôle des domaines symétriques dans le calcul de certaines grandeurs physiques, C. R. Acad. Sci. Paris 235 (1952), 1079–1081. MR0052477 [22] G. Pólya and M. Schiffer, Convexity of functionals by transplantation, J. Analyse Math. 3 (1954), 245–346. MR0066530 [23] B. Siudeja, Symmetric stable processes on unbounded domains, Potential Anal. 25 (2006), no. 4, 371–386. MR2255353 [24] B. Siudeja, Sharp bounds for eigenvalues of triangles, Michigan Math. J. 55 (2007), no. 2, 243–254. MR2369934 [25] B. Siudeja, Isoperimetric inequalities for eigenvalues of triangles, submitted. arXiv:0707.3631 [26] B. Siudeja, Rotationally symmetric maximizers for eigenvalues of generators of subordinate Brownian motions, in preparation. Department of Mathematics, University of Illinois, Urbana, IL 61801 E-mail address: siudeja@illinois.edu