Fractal differential equations on the Sierpinski gasket

Let denote the symmetric Laplacian on the Sierpinski gasket SG defined by Kigami [11] as a renormalized limit of graph Laplacians on the sequence of pregaskets G_m whose limit is SG. We study the analogs of some of the classical partial differential equations with playing the role of the usual Laplacian. For harmonic functions, biharmonic functions, and Dirichlet eigenfunctions of , we give efficient algorithms to compute the solutions exactly, we display the results of implementing these algorithms, and we prove various properties of the solutions that are suggested by the data. Completing the work of Fukushima and Shima [8] who computed the Dirichlet eigenvalues and their multiplicities, we show how to construct a basis (but not orthonormal) for the eigenspaces, so that we have the analog of Fourier sine series on the unit interval. We also show that certain eigenfunctions have the property that they are a nonzero constant along certain lines contained in SG. For the analogs of the heat and wave equation, we give algorithms for approximating the solution, and display the results of implementing these algorithms. We give strong evidence that the analog of finite propagation for the wave equation does not hold because of inconsistent scaling behavior in space and time.Research supported in part by the National Science Foundation, Grant DMS-9623250.Research supported by the National Science Foundation through the Research Experiences for Undergraduates (REU) Program.     

Energy and Laplacian of fractal interpolation functions

In this paper, we first characterize the finiteness of fractal interpolation functions(FIFs) on post critical finite self-similar sets. Then we study the Laplacian of FIFs with uniform vertical scaling factors on the Sierpinski gasket(SG). As an application, we prove that the solution of the following Dirichlet problem on SG is a FIF with uniform vertical scaling factor 1/5: Δu = 0 on SG\{q_1, q_2, q_3}, and u(q_i) = a_i, i = 1, 2, 3, where q_i, i = 1, 2, 3, are boundary points of SG.     

On the Plancherel Formula for the (Discrete) Laplacian in a Weyl Chamber with Repulsive Boundary Conditions at the Walls

It is known from early work of Gaudin that the quantum system of n Bosonic particles on the line with a pairwise delta-potential interaction admits a natural generalization in terms of the root systems of simple Lie algebras. The corresponding quantum eigenvalue problem amounts to that of a Laplacian in a convex cone, the Weyl chamber, with linear homogeneous boundary conditions at the walls. In this paper we study a discretization of this eigenvalue problem, which is characterized by a discrete Laplacian on the dominant cone of the weight lattice endowed with suitable linear homogeneous conditions at the boundary. The eigenfunctions of this discrete model are computed by the Bethe Ansatz method. The orthogonality and completeness of the resulting Bethe wave functions (i.e., the Plancherel formula) turn out to follow from an elementary computation performed by Macdonald in his study of the zonal spherical functions on p-adic simple Lie groups. Through a continuum limit, the Plancherel formula for the ordinary Laplacian in the Weyl chamber with linear homogeneous boundary conditions is recovered. Throughout this paper we restrict ourselves to the case of repulsive boundary conditions. Communicated by Rafael D. Benguriasubmitted 27/05/03, accepted 14/10/03     

Szegö Limit Theorems on the Sierpiński Gasket

We use the existence of localized eigenfunctions of the Laplacian on the Sierpiński gasket (SG) to formulate and prove analogues of the strong Szegö limit theorem in this fractal setting. Furthermore, we recast some of our results in terms of equally distributed sequences.     

Calculus on the Sierpinski gasket I: polynomials, exponentials and power series

We study the analog of power series expansions on the Sierpinski gasket, for analysis based on the Kigami Laplacian. The analog of polynomials are multiharmonic functions, which have previously been studied in connection with Taylor approximations and splines. Here the main technical result is an estimate of the size of the monomials analogous to xⁿ/n!. We propose a definition of entire analytic functions as functions represented by power series whose coefficients satisfy exponential growth conditions that are stronger than what is required to guarantee uniform convergence. We present a characterization of these functions in terms of exponential growth conditions on powers of the Laplacian of the function. These entire analytic functions enjoy properties, such as rearrangement and unique determination by infinite jets, that one would expect. However, not all exponential functions (eigenfunctions of the Laplacian) are entire analytic, and also many other natural candidates, such as the heat kernel, do not belong to this class. Nevertheless, we are able to use spectral decimation to study exponentials, and in particular to create exponentially decaying functions for negative eigenvalues.     

Spectral Exterior Calculus

A spectral approach to building the exterior calculus in manifold learning problems is developed. The spectral approach is shown to converge to the true exterior calculus in the limit of large data. Simultaneously, the spectral approach decouples the memory requirements from the amount of data points and ambient space dimension. To achieve this, the exterior calculus is reformulated entirely in terms of the eigenvalues and eigenfunctions of the Laplacian operator on functions. The exterior derivatives of these eigenfunctions (and their wedge products) are shown to form a frame (a type of spanning set) for appropriate L² spaces of k -forms, as well as higher-order Sobolev spaces. Formulas are derived to express the Laplace-de Rham operators on forms in terms of the eigenfunctions and eigenvalues of the Laplacian on functions. By representing the Laplace-de Rham operators in this frame, spectral convergence results are obtained via Galerkin approximation techniques. Numerical examples demonstrate accurate recovery of eigenvalues and eigenforms of the Laplace-de Rham operator on 1-forms. The correct Betti numbers are obtained from the kernel of this operator approximated from data sampled on several orientable and non-orientable manifolds, and the eigenforms are visualized via their corresponding vector fields. These vector fields form a natural orthonormal basis for the space of square-integrable vector fields, and are ordered by a Dirichlet energy functional which measures oscillatory behavior. The spectral framework also shows promising results on a non-smooth example (the Lorenz 63 attractor), suggesting that a spectral formulation of exterior calculus may be feasible in spaces with no differentiable structure. © 2020 Wiley Periodicals, Inc.     

Quantum Ergodicity for Point Scatterers on Arithmetic Tori

We prove an analogue of Shnirelman, Zelditch and Colin de Verdiè- re’s quantum ergodicity Theorems in a case where there is no underlying classical ergodicity. The system we consider is the Laplacian with a delta potential on the square torus. There are two types of wave functions: old eigenfunctions of the Laplacian, which are not affected by the scatterer, and new eigenfunctions which have a logarithmic singularity at the position of the scatterer. We prove that a full density subsequence of the new eigenfunctions equidistribute in phase space. Our estimates are uniform with respect to the coupling parameter, in particular the equidistribution holds for both the weak and strong coupling quantizations of the point scatterer.     

Eigenvalues of Elliptic Systems for the Mixed Problem in Perturbations of Lipschitz Domains with Nonhomogeneous Neumann Boundary Conditions

We study eigenvalues of an elliptic operator with mixed boundary conditions on very general decompositions of the boundary. We impose nonhomogeneous conditions on the part of the boundary where the Neumann term lies in a certain Sobolev or L^p space. Our work compares the behavior of and gives a relationship between the eigenvalues and eigenfunctions on the unperturbed and perturbed domains, respectively.     

Spectra of generalized compositions of graphs and hierarchical networks

We compute the Laplacian spectra and eigenfunctions of generalized compositions of graphs, as explicit functions of the spectra and eigenfunctions of their components. Applications to two-level hierarchical graphs are given. We introduce the tree composition of graphs and study its spectral decomposition, with applications to some hierarchical networks.     

Concentration of Eigenfunctions Near a Concave Boundary

This article concerns the concentration of Dirichlet eigenfunctions of the Laplacian on a compact two-dimensional Riemannian manifold with strictly geodesically concave boundary. We link three inequalities which bound the concentration in different ways. We also prove one of these inequalities, which bounds the L ^p norms of the restrictions of eigenfunctions to broken geodesics.     

Scattering theory for the Laplacian on symmetric spaces of noncompact type and its application to a conjecture of Strichartz

In this paper we develop the scattering theory for the Laplacian on symmetric spaces of noncompact type. We study the asymptotic properties of the resolvent in the framework of the Agmon–Hörmander space. Our approach is based on a detailed analysis of the Helgason Fourier transform and generalized spherical functions on symmetric spaces of noncompact type. As an application of our scattering theory, we prove a conjecture by Strichartz concerning a characterization of a family of generalized eigenfunctions of the Laplacian.     

Almost global existence for quasilinear wave equations in waveguides with Neumann boundary conditions

In this paper, we prove almost global existence of solutions to certain quasilinear wave equations with quadratic nonlinearities in infinite homogeneous waveguides with Neumann boundary conditions. We use a Galerkin method to expand the Laplacian of the compact base in terms of its eigenfunctions. For those terms corresponding to zero modes, we obtain decay using analogs of estimates of Klainerman and Sideris. For the nonzero modes, estimates for Klein-Gordon equations, which provide better decay, are available.

     

Perturbing a rectangular membrane with a restorative force: effects on eigenbvalues and eigenfunctions.

Series expansions are obtained for a rich subset of eigenvalues and eigenfunctions of an operator that arises in the study of rectangular membranes: the operator is the 2-D Laplacian with restorative force term and Dirichlet boundary conditions. Expansions are extracted by considering the restorative force term as a linear perturbation of the Laplacian; errors of truncation for these expansions are estimated. Theriteria defining the subset of eigenvalues and eigenfunctions that can

be studied depends only on the size and linearity of the perturbation. The results are valid for almost all rectangular domains.     

On the nodal sets of toral eigenfunctions

We study the nodal sets of eigenfunctions of the Laplacian on the standard d-dimensional flat torus. The question we address is: Can a fixed hypersurface lie on the nodal sets of eigenfunctions with arbitrarily large eigenvalue? In dimension two, we show that this happens only for segments of closed geodesics. In higher dimensions, certain cylindrical sets do lie on nodal sets corresponding to arbitrarily large eigenvalues. Our main result is that this cannot happen for hypersurfaces with nonzero Gauss-Kronecker curvature. In dimension two, the result follows from a uniform lower bound for the L ²-norm of the restriction of eigenfunctions to the curve, proved in an earlier paper (Bourgain and Rudnick in C. R. Math. 347(21?C22):1249?C1253, 2009). In high dimensions we currently do not have this bound. Instead, we make use of the real-analytic nature of the flat torus to study variations on this bound for restrictions of eigenfunctions to suitable submanifolds in the complex domain. In all of our results, we need an arithmetic ingredient concerning the cluster structure of lattice points on the sphere. We also present an independent proof for the two-dimensional case relying on the ??abc-theorem?? in function fields.     

Data analysis and representation on a general domain using eigenfunctions of Laplacian

We propose a new method to analyze and efficiently represent data recorded on a domain of general shape in by computing the eigenfunctions of Laplacian defined over there and expanding the data into these eigenfunctions. Instead of directly solving the eigenvalue problem on such a domain via the Helmholtz equation (which can be quite complicated and costly), we find the integral operator commuting with the Laplacian and diagonalize that operator. Although our eigenfunctions satisfy neither the Dirichlet nor the Neumann boundary condition, computing our eigenfunctions via the integral operator is simple and has a potential to utilize modern fast algorithms to accelerate the computation. We also show that our method is better suited for small sample data than the Karhunen–Loève transform/principal component analysis. In fact, our eigenfunctions depend only on the shape of the domain, not the statistics of the data. As a further application, we demonstrate the use of our Laplacian eigenfunctions for solving the heat equation on a complicated domain.     

The spectrum of a weighted Laplacian in the half‐space

J. Banasiak In this paper, we deal with spectral properties of a weighted Laplacian in the half‐space when a Dirichlet or a Neumann boundary condition is imposed. After proving that the spectrum is discrete under suitable assumptions, we give explicit formulae of eigenvalues and eigenfunctions in a specific case. In particular, the obtained eigenfunctions are rational or pseudo‐rational and have remarkable orthogonality properties. These results suggest the use of the discovered functions for approximating solutions of elliptic problems in the half‐space. Copyright © 2015 John Wiley & Sons, Ltd.     

On the spectrum of the Laplacian with frequently alternating boundary conditions

We consider a boundary problem for the Laplacian in a two-dimensional domain with frequently alternating boundary conditions. The leading terms of the asymptotic expansions of the eigenvalues and the corresponding eigenfunctions are constructed under the assumption that the limiting case is the mixed boundary problem. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 118, No. 3, pp. 347–353, March, 1999.     

Asymptotic property and convergence estimation for the eigenelements of the Laplace operator

In this article, we provide a rigorous derivation of asymptotic expansions for eigenfunctions and we establish convergence estimation for both eigenvalues and eigenfunctions of the Laplacian. We address the integral equation method to investigate the interplay between the geometry, boundary conditions and spectral properties of the eigenelements of the Laplace operator under deformation of the domain. The asymptotic formula and convergence estimation are tested by numerical examples.     

Stability For a Multidimensional Inverse Spectral Theorem

We consider the eigenvalue problem in Ω

Where Ω is a bounded domain in R^d with smooth boundary,a nd q is a bounded, measurable function on Ω The eigenvalue problem has discrete spectrum; we denote by and a nondecreasing sequence of eigenvalue and corresponding (orthonormal) eigenfunctions. It is known ([N–S–U]) that knowledge of the eigenvalues and the boundary values of the normal derivatives of the corresponding eigenfunctions is sufficient to uniquely determine a coefficient, q.     

Eigenfunction Statistics for a Point Scatterer on a Three-Dimensional Torus

In this paper, we study eigenfunction statistics for a point scatterer (the Laplacian perturbed by a delta-potential) on a three-dimensional flat torus. The eigenfunctions of this operator are the eigenfunctions of the Laplacian which vanish at the scatterer, together with a set of new eigenfunctions (perturbed eigenfunctions). We first show that for a point scatterer on the standard torus all of the perturbed eigenfunctions are uniformly distributed in configuration space. Then we investigate the same problem for a point scatterer on a flat torus with some irrationality conditions, and show uniform distribution in configuration space for almost all of the perturbed eigenfunctions.