Abstract
We study the eigenvalues and eigenfunctions of one-dimensional weighted fractal Laplacians. These Laplacians are defined by self-similar measures with overlaps. We first prove the existence of eigenvalues and eigenfunctions. We then set up a framework for one-dimensional measures to discretize the equation defining the eigenvalues and eigenfunctions, and obtain numerical approximations of the eigenvalue and eigenfunction by using the finite element method. Finally, we show that the numerical eigenvalues and eigenfunctions converge to the actual ones and obtain the rate of convergence.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\mu \) be a continuous, positive, finite Borel measure on \({\mathbb R}\) with support \(\textrm{supp}(\mu )= [a, b]\). Consider the non-negative quadratic form \({{\mathcal {E}}}(\cdot ,\cdot )\) in \(L^2((a, b), \mu )\) defined by
with domain \(\textrm{dom}\,{{\mathcal {E}}}\) equal to the Sobolev space
(Dirichlet boundary condition). It is well known that \(\textrm{dom}\,{{\mathcal {E}}}\) is dense in \(L^2((a, b), \mu )\), and the quadratic form \(({{\mathcal {E}}},\textrm{dom}\,{{\mathcal {E}}})\) is closed. Hence there exists a non-negative self-adjoint operator \(A_D\) such that
for all \(u,v\in \textrm{dom}\,{{\mathcal {E}}}\). We write \(-\Delta _\mu ^D:=A_D\) and call it the (Dirichlet) Laplacian with respect to \(\mu \). If no confusion is possible, we denote \(\Delta _\mu ^D\) simply by \(\Delta _\mu \). Throughout this paper, we let
Recently, the Dirichlet Laplacian \(\Delta _{\mu }\) has been studied extensively in connection with fractal measures (see [1,2,3,4, 6,7,8,9,10,11,12, 14,15,17, 19, 20, 22, 25,26,28] and the references therein). These papers mainly study the spectral asymptotics of \(\Delta _\mu \) and the associated Schrödinger operators, and wave, heat, and Schrödinger equations defined by \(\Delta _\mu \).
In this paper, we consider the following eigenvalue problem
where \(V:[a,b]\rightarrow [0,+\infty )\). We say \(\lambda \) is an eigenvalue of Eq. (1.1) corresponding to a non-zero eigenfunction \(\varphi (x)\in \textrm{dom}\,{{\mathcal {E}}}\) if
holds for all \(v\in \textrm{dom}\,{{\mathcal {E}}}\). We remark that for the case \(V\equiv 1\), the finite element method is used to obtain numerical solutions to the eigenproblem (1.1) for self-similar measures satisfying a family of second-order self-similar identities in [3]. These identities were first introduced by Strichartz and are used in [24] to approximate the density of the infinite Bernoulli convolution associated with the golden ratio. To the best of the authors’ knowledge, in the absence of second-order identities, the eigenvalue problem defined by IFSs with overlaps has not been obtained before, and this is a main motivation of this paper.
The first objective of this paper is to obtain the existence result of eigenvalues and eigenfunctions of (1.1).
Theorem 1.1
Let \(V(x)\ge 0\) on [a, b] with \(c_V:= \Vert V\Vert _{L^1((a,b),\mu )}>0\). Then there exists a complete orthonormal basis \(\{\varphi _n\}_{n=1}^\infty \) of \(L^2((a,b), \mu )\) such that each \(\varphi _n\) is an eigenfunction of Eq. (1.1) corresponding to an eigenvalue \(\lambda _n\) satisfying
and \(\lim _{n\rightarrow \infty }\lambda _n=\infty \). Moreover, \(\{\varphi _n(x)\}_{n=1}^\infty \) also forms an orthogonal basis of \(\textrm{dom}\,{{\mathcal {E}}}\).
To prove Theorem 1.1, we modify the classical argument (see [21]) and replace Lebesgue measure by a more general measure \(\mu \).
The second objective of this paper is to study Eq. (1.1) from a numerical point of view. Two closed sub-intervals I, J of [a, b] are measure disjoint with respect to \(\mu \) if \(\mu (I\cap J)=0\). Let \(I\subseteq [a,b]\) be a closed interval. We call a finite family \({\textbf{P}}\) of measure disjoint cells a \(\mu \)-partition of I if \(J\subseteq I\) for all \(J\in {\textbf{P}}\), and \(\mu (I)=\sum _{J\in {\textbf{P}}}\mu (J)\). A sequence of \(\mu \)-partitions \((\textbf{P}_m)_{m\ge 1} \) of [a, b] is compatible if (1) for any \(m\ge 1\), each member of \(\textbf{P}_{m+1}\) is a proper subset of some member of \(\textbf{P}_m\); (2) for any \(m\ge 2\) and any \(J\in \textbf{P}_m\), there exist similitudes \( (\tau _{IJ})_{I\in \textbf{P}_1} \) of the form \(\tau _{IJ} (x)=r_{IJ}x+b_{IJ}\) (\(r_{IJ}\in (0,1), b_{IJ}\in {\mathbb R}\)) and positive constants \((c_{IJ})_{I\in \textbf{P}_1}\) such that \(\tau _{IJ}(I)\subseteq J\) and
Intuitively, (1.2) means that the \(\mu \) measure of each closed interval in \(\textbf{P}_m\) for \(m\ge 2\) can be expressed as a linear combination of \(\{\mu (I):I \in \textbf{P}_1\}\). By making use of (1.2), some results concerning \(\Delta _\mu \) have been obtained (see, e.g., [17, 25,26,27]).
In order to discretize (1.1) and obtain numerical approximations of the eigenvalue and eigenfunction, we will assume that there exists a sequence of compatible \(\mu \)-partitions \((\textbf{P}_m)_{m\ge 1} \). Thus the \(\mu \) measure of each closed interval in the partition can be computed by using (1.2), making it possible to discretize the Eq. (1.1). We remark that the assumption \(\textrm{supp}(\mu )=[a,b]\) guarantees that the mass matrix that arises in the finite element method is positive definite (see [2, Proposition 3.1]),
Let \(V\equiv 1\) in (1.1). If \(\lambda \) is an eigenvalue of Eq. (1.1) corresponding to a non-zero eigenfunction \(u\in \textrm{dom}\,{{\mathcal {E}}}\), then
Theorem 1.2
Let \(\mu \) be a continuous positive finite Borel measure on \({\mathbb R}\) with \(\textrm{supp}(\mu )=[a,b]\). Assume that there exists a sequence of compatible \(\mu \)-partitions \((\textbf{P}_m)_{m\ge 1}\) of [a, b] and the integrals \(\int _{I}x^k\, d\mu \), \(I\in \textbf{P}_1\), \(k=0,1,2\), can be evaluated explicitly. Then Eq. (1.3) can be discretized into a matrix Eq. (3.5) by finite element method. Moreover, Eq. (3.5) can be solved numerically.
We are mainly interested in fractal measures with overlaps. Theorem 1.2 provides a framework under which discretization can be performed. We remark that if self-similar measures \(\mu \) satisfies a family of second-order self-similar identities, then \(\mu \) satisfies (1.2) (see [26, Proposition 5.1]). Hence, Theorem 1.1 cannot be deduced from [3, Theorem 1.2].
The following theorem shows that the approximate eigenvalues and eigenfunctions obtained in Theorem 1.2 converge to the actual ones, and we also obtain a rate of convergence.
Theorem 1.3
Assume the hypotheses of Theorem 1.2. If there exist constants \(r\in (0,1)\) and \(c>0\) such that \(\max \{|J|:J\in {\textbf{P}}_k\}\le c\, r^{k}\) for all \(k\ge 1\), then the numerical eigenvalues \(\hat{\lambda }_n^{(m)}\) and normalized eigenfunctions \(\hat{\varphi }_n^{(m)}\), obtained in Theorem 1.2, converge to the corresponding theoretical \(\lambda _n\) and \(\varphi _n\), respectively. Moreover, for each \(n\ge 1\), there exists a constant \(C:=C(n)>0\) (depending only on n) such that for all \(m\ge 1\),
We illustrate Theorems 1.2 and 1.3 by a class of self-similar measures with overlaps that we call essentially of finite type (EFT) (see [19]). This class is used in [19] to illustrate self-similar measures satisfying EFT. These measures have been studied extensively (see, e.g., [16, 25, 27]). However, it is not clear whether they satisfy a family of second-order identities.
The rest of this paper is organized as follows. In Sect. 2, we prove Theorem 1.1. In Sect. 3, we give the proofs of Theorems 1.2 and 1.3, and apply them to a class of self-similar measures with overlaps.
2 Existence of Eigenvalues and Eigenfunctions
In this section, we mainly prove Theorem 1.1. The technique used here is the same in spirit as in classical setting.
Proof of Theorem 1.1
Step 1. We show the existence of the smallest eigenvalue \(\lambda _1\). We remark that for each \(u\in \textrm{dom}\,{{\mathcal {E}}}\),
for all \(x\in [a,b]\). Then \( \sup _{x\in [a,b]}|u(x)| \le (b-a)^{1/2} {{\mathcal {E}}}^{1/2}(u,u) \) for all \(u\in \textrm{dom}\,{{\mathcal {E}}}\). It follows that
for all \(u\in \textrm{dom}\,{{\mathcal {E}}}\), where \(\beta :=(b-a)c_V\). Define the Rayleigh quotient R(u) on \(\textrm{dom}\,{{\mathcal {E}}}\) by
Together with (2.1), it yields
Hence, R(u) has a positive infimum. Let \(\mathcal {A}=\{u\in \textrm{dom}\,{{\mathcal {E}}}: (Vu,u)_ \mu =1\}\). We define
Then \(\lambda _1\ge 1/\beta >0\). We claim that \(\lambda _1\) is the smallest eigenvalue of Eq. (1.1). We choose a minimising sequence \(\{u_m\}\subset \mathcal {A}\) such that
By the definition of \(\mathcal {A}\), we have the sequence \(\{u_m\}\) is bounded in \(\textrm{dom}\,{{\mathcal {E}}}\). Combining it with the fact \(\textrm{dom}\,{{\mathcal {E}}}\) is compactly embedded into the space \(C_0(a,b):=\{u\in C(a,b):u(a)=u(b)=0\}\), there exists a subsequence (also denoted by \(\{u_m\}\), for convenience) and a function \(\varphi _1\in C_0(a,b)\) such that
Thus we can deduce from the Lebesgue dominated convergence theorem that
Combining Eqs. (2.2)–(2.4) and the fact that
we can see that
which implies that \(\{u_m\}\) is a Cauchy sequence in \(\textrm{dom}\,{{\mathcal {E}}}\). Hence
For \(w\in \textrm{dom}\,{{\mathcal {E}}}\), we define \(g(t):=R(\varphi _1+tw)\). Then
It follows from (2.2) and (2.5) that g(t) reaches its minimum at \(t=0\). Then \(g'(0)=0\). By virtue of (2.4) and (2.5), we have
for all \(w\in \textrm{dom}\,{{\mathcal {E}}}\), which implies that \(\lambda _1\) is an eigenvalue of Eq. (1.1). We remark that \(\lambda _1\) is the smallest eigenvalue following from (2.2).
Step 2. We prove the existence of the smallest eigenvalues \(\lambda _2\le \lambda _3\le \cdots \). Since the existence of \(\lambda _1\) has been obtained, we can assume that there exists \(m-1\) eigenvalues \( \lambda _1\le \lambda _2\le \cdots \le \lambda _{m-1} \) with corresponding to the eigenfunctions \( \varphi _1,\varphi _2,\cdots ,\varphi _{m-1}, \) and \((V\varphi _k,\varphi _k)_\mu =1\) for all \(k=1,2,\cdots ,m-1\), where \(m\ge 2\). We define
Similarly, we can prove that there exist some positive constant \(\lambda _m\) and \(\varphi _m\in \textrm{dom}\,{{\mathcal {E}}}\cap E^{\perp }_{m-1}\) satisfying \((V\varphi _m,\varphi _m)_\mu =1\), and \( {{\mathcal {E}}}(\varphi _m,w)=\lambda _m(V\varphi _m,w)_\mu \) for all \(w\in \textrm{dom}\,{{\mathcal {E}}}\cap E^\perp _{m-1}\). Furthermore,
For each \(w\in \textrm{dom}\,{{\mathcal {E}}}\), we can write w as
It follows that
for all \(w\in \textrm{dom}\,{{\mathcal {E}}}\). Thus \(\lambda _m\) is an eigenvalue of Eq. (1.1). It is easy to see that \(\lambda _m\ge \lambda _{m-1}\). Therefore, Eq. (1.1) has a sequence of positive eigenvalues such that \(0<\lambda _1\le \lambda _2\le \cdots \le \lambda _m\le \cdots \).
Step 3. We show that for any distinct eigenvalues \(\lambda _i\) and \(\lambda _j\), the corresponding eigenfunctions \(\varphi _i\) and \(\varphi _j\) are orthogonal in \(\textrm{dom}\,{{\mathcal {E}}}\), that is
Since \( 0={{\mathcal {E}}}(\varphi _i,\varphi _j)-{{\mathcal {E}}}(\varphi _j,\varphi _i)=\lambda _i(V\varphi _i,\varphi _j)_\mu -\lambda _j(V\varphi _j,\varphi _i)_\mu \), we have
which implies (2.6).
Step 4. We claim that the dimension of the space consisting of eigenfunctions corresponding to a fixed eigenvalue is finite. Suppose, on the contrary, that there exists countably infinite sequence of eigenfunctions \(\{\phi _k\}_{k=1}^\infty \) corresponding to the same eigenvalue \(\lambda \), which are linearly independent in \(\textrm{dom}\,{{\mathcal {E}}}\). So we can renormalize such that
Since \({{\mathcal {E}}}(\phi _k,\phi _k)=\lambda (V\phi _k,\phi _k)_\mu =\lambda \), there exists a convergent subsequence of \(\{\phi _k\}\) in \(C_0(a,b)\). However, we can see that
which is a contradiction. Thus the claim holds.
Step 4. We show that
Suppose, on the contrary, that there exists some positive constant M such that \( 0<\lambda _n\le M\) for all \(n\ge 1\). Without loss of generality, we assume that the sequence of corresponding eigenfunctions \(\{\varphi _n\}\) is orthogonal in \(L^2((a,b),Vd\mu )\). Then
and hence there exists a convergent subsequence of \(\{\varphi _m\}\) in the space \(C_0(a,b)\), which is a contradiction, since \((V(\varphi _m-\varphi _k),\varphi _m-\varphi _k)_\mu =2\). Thus (2.7) holds.
Step 5. We show that the eigenfunctions \(\{\varphi _m\}\) corresponding to \(\{\lambda _m\}\) form a basis of \(\textrm{dom}\,{{\mathcal {E}}}\). Suppose that there exists some non-zero \(w\in \textrm{dom}\,{{\mathcal {E}}}\) such that \({{\mathcal {E}}}(\varphi _m,w)=0\) for all \(m\ge 1\). Then \((V\varphi _m,w)_\mu ={{\mathcal {E}}}(\varphi _m,w)/\lambda _m=0\) for all \(m\ge 1\). Therefore, \(w\in E^\perp _{m-1}\) for all \(m\ge 2\), which implies
However, \(\lambda _m\rightarrow \infty \) as \(m\rightarrow \infty \), and then (2.8) is impossible. Hence, the desired result holds. \(\square \)
Since \(\textrm{dom}\,{{\mathcal {E}}}\) is dense in \(C_0(a,b)\), we see that \(\{\varphi _m\}_{m=1}^\infty \) is also an orthogonal basis of \(L^2((a,b),Vd\mu )\). We remark that \((V\varphi _m,\varphi _m)_\mu =1\). Thus \(\{\varphi _m\}_{m=1}^\infty \)is an orthonormal basis of \(L^2((a,b),Vd\mu )\). It is well known that \(\mu \) can also define a Neumann Laplace operator \(\Delta _\mu ^N\) in \(L^2((a,b),\mu )\). We remark that the eigenproblem (1.1) replacing \(\Delta _\mu \) by \(\Delta _\mu ^N\) also has a sequence of orthogonal eigenfunctions in \(L^2((a,b),\mu )\), but the first eigenvalue is zero, corresponding to the constant eigenfunction. The proof is similar to that of Theorem 1.1. We omit the details.
Corollary 2.1
Assume the hypotheses of Theorem 1.1 and let \(\lambda _1\) be the first eigenvalue of eigenproblem (1.1). Then there exists a non-negative eigenfunction corresponding to \(\lambda _1\).
Proof
Let \(\varphi _1\) be an eigenfunction of (1.1) corresponding to \(\lambda _1\). It suffices to prove that \(|\varphi _1|\) is also an eigenfunction corresponding to \(\lambda _1\). We remark that \(|\varphi _1|\in \textrm{dom}\,{{\mathcal {E}}}\) and \({{\mathcal {E}}}(|\varphi _1|,|\varphi _1|)\le {{\mathcal {E}}}(\varphi _1,\varphi _1)\). Combining it with (2.4) and (2.5), we can see that
On the other hand, by the definition of \(\lambda _1\), we have
Thus the desired result follows by combining (2.9) and (2.10). \(\square \)
3 The Finite Element Method and Convergence of Numerical Solutions
In this section, we mainly prove Theorems 1.2 and 1.3. Let \(V \equiv 1\) in Eq. (1.1). We first use the finite element method to solve the equation, and then prove the convergence of numerical approximations of the eigenvalue and eigenfunction.
Let \(\mu \) be a continuous positive finite Borel measure on \({\mathbb R}\) with \(\textrm{supp}(\mu )=[a,b]\), and \((\textbf{P}_m)_{m\ge 1}=(\{I_{m,i}\}_{i=1}^{N(m)})_{m\ge 1}\) be a sequence of \(\mu \)-partitions of [a, b]. Thus we can write \(I_{m,i}=[x_{m,i-1},x_{m,i}]\) for \(m\ge 1\) and \(1\le i \le N(m)\). Note that \(x_{m,0}=a\) and \(x_{m,N(m)}=b\) for all \(m\ge 1\). Let \(W_m:=\{x_{m,i}:i=0,\dots ,N(m)\}\) be the set of end-points of all level-m subintervals in \(\textbf{P}_m\), and \(S^m\) be the space of continuous piecewise linear functions on [a, b] with nodes \(W_m\), and let
be the subspaces of \(S^m\) consisting of functions satisfying the Dirichlet boundary condition. Then
We choose the basis of \(S^m\) consisting of the following tent functions:
and choose the basis \(\{\phi _{m,i}\}_{i=1}^{N(m)-1}\) for \(S_D^m\).
Proof of Theorem 1.2
Use the notation above. We use the finite element method to discretize Eq. (1.3). Let u(x) be an eigenfunction of Eq. (1.1) corresponding to an eigenvalue \(\lambda \), that is, u(x) satisfies Eq. (1.3). We approximate u(x) by
where each \(w_{m,i}\) is a constant to be determined. Fix any \(m\ge 1\). We require \(u_m(x)\) to satisfy the integral form of the eigenvalue equation
for \(j=1,\dots ,N(m)-1\), and the Dirichlet boundary condition \(u_m(x)=0\) on \(\{a,b\}\). It follows that \(w_{m,0}=w_{m,N(m)}=0\). Using this and substituting (3.2) into (3.3), we can deduce that
for \(1\le j \le N(m)-1\). We define the mass matrix \(\textbf{M}=\textbf{M}^{(m)}=(M_{ij}^{(m)})\) and stiffness matrix \(\textbf{K}=\textbf{K}^{(m)}=(K_{ij}^{(m)})\), respectively, by
where \(1\le i,j\le N(m)-1\). Thus \(\textbf{M}\) and \(\textbf{K}\) are tridiagonal following from the definition of \(\phi _{m,j}(x)\). Hence, (3.4) can be expressed into matrix form as
where
We remark that the matrix \(\textbf{K}\) can be computed directly. We claim that the matrix \(\textbf{M}\) also can be computed. Recall that \((\textbf{P}_m)_{m\ge 1}\) is a sequence of compatible \(\mu \)-partitions of [a, b]. Then (1.2) holds, which implies that the matrix \(\textbf{M}\) is completely determined by
Thus the claim holds, since the integrals in (3.6) can be evaluated explicitly for \(k=0,1,2\) and \(I\in \textbf{P}_1\). Since \(\textrm{supp}(\mu )=[a,b]\), \(\textbf{M} \) is invertible (see [2, Proposition 3.1]). It follows that the eigenvalues and eigenfunctions of Eq. (3.5) can be solved numerically. \(\square \)
We remark that numerical algorithms for general eigenproblem as (3.5) have been well developed. We can get good approximations for eigenvalues and eigenfunctions by choosing m sufficiently large (see Theorem 1.3 for details).
We now prove Theorem 1.3. Define the linear map \({{\mathcal {F}}}_m:\textrm{dom}\,{{\mathcal {E}}}\rightarrow S_D^m\) by
We call \({{\mathcal {F}}}_m\) the Rayleigh-Ritz projection with respect to \(W_m\). Using [23, Theorem 1.1], we have
for all \(u\in \textrm{dom}\,{{\mathcal {E}}}\) and \(v\in S_D^m\). We remark that
for all \(u\in \textrm{dom}\,{{\mathcal {E}}}\) and \(m\ge 1\) (see [2, Lemma 5.3]), where
is the norm of \(W_m\) for \(m\ge 1\). Recall that \(E_n\) is the subspace spanned by eigenfunctions \(\varphi _1,\cdots ,\varphi _n\) of Eq. (1.1) with \(V\equiv 1\). Let \(e_n\) be the set of unit vectors in \(E_n\) and let
Then provided that \(\sigma _n^{(m)}<1\), the approximated eigenvalues are bounded above by
(see [3, Lemma 5.4]).
Proof of Theorem 1.3
We want to estimate \(\sigma _n^{(m)}\). Fix any \(n\ge 1\) and let \(u\in e_n\). Then \(\Vert u\Vert _{L^2((a,b),\mu )}=1\) and u can be expressed as \(u=\sum _{i=1}^n a_i \varphi _i\), where each \(\varphi _i\) is an eigenfunction corresponding to eigenvalue \(\lambda _i\). It follows that
Combining it with Hölder inequality and (3.8), we have
for all \(m\ge 1\). According to (3.8), (3.9), and (3.10), we have
where the last inequality used the assumption \(\max \{|J|:J\in {\textbf{P}}_k\}\le c\, r^{k}\) for all \(k\ge 1\), and \(M_0\) is a constant (depending only on n). We first assume that m is sufficiently large so that \(\sigma _n^{(m)}<1/2\). Then by (3.9), we get
Thus there exists a constant \(C>0\) (depending only on n) such that for all \(m\ge 1\),
On the other hand, every eigenvalue is approximated from above(see [3]):
Together with (3.11), it yields the convergence of the eigenvalues as the first inequality in (1.4). It suffices to prove the convergence of the numerical eigenfunctions.
Let \({{\mathcal {B}}}:=\{\hat{\varphi }_1^{(m)},\cdots , \hat{\varphi }_{N(m)}^{(m)}\}\) be the set of normalized approximate eigenfunctions. Then \({{\mathcal {B}}}\) forms an orthonormal basis for \(S_D^m\), which implies
We claim that \((\hat{\lambda }_k^{(m)}-\lambda _n)({{\mathcal {F}}}_m \varphi _n, \hat{\varphi }_k^{(m)})_\mu =\lambda _n (\varphi _n-{{\mathcal {F}}}_m \varphi _n,\hat{\varphi }_k^{(m)})_\mu \). It suffices to show that
Since \(\hat{\varphi }_k^{(m)}\) and \(\varphi _n\) are eigenfunctions, the two sides of this equation can be rewritten as \({{\mathcal {E}}}({{\mathcal {F}}}_m \varphi _n,\hat{\varphi }_k^{(m)})\) and \({{\mathcal {E}}}(\varphi _n,\hat{\varphi }_k^{(m)})\), respectively. It follows from (3.7) that
We remark that for any fixed \(\lambda _n\), there exists a constant \(\gamma >0\) such that for all m sufficiently large,
Then the size of the remaining sum is given by
where the claim has been used in the second equality and \(\alpha :=({{\mathcal {F}}}_m \varphi _n,\hat{\varphi }_k^{(m)})_\mu \). It follows that
Since \(\varphi _n\) and \(\hat{\varphi }_n\) are normalized eigenfunctions, we have
Combining (3.8), (3.13) and (3.14), we see that
which completes the proof of Theorem 1.3. \(\square \)
Based on Theorems 1.2 and 1.3, we solve the eigenproblem (1.1) for a class of self-similar measures satisfying (EFT), which is defined by the following family of IFSs:
where \(r_1,r_2\in (0,1)\) satisfy \(r_1+2r_2-r_1r_2\le 1\), i.e., \(S_2(1)\le S_3(0)\). Recently, the self-similar measures defined by IFSs in (3.15) have been studied extensively (see, e.g., [5, 13, 18, 19]). These papers mainly study the multifractal properties and spectral dimension of the corresponding self-similar measures.
Let \(\mu \) be a self-similar measure defined by an IFS in (3.15) and a probability vector \((p_i)_{i=1}^3\). In order to define a sequence of compatible \(\mu \)-partitions of [0, 1], we introduce the definition of an island, which is adopted from [19]. Let \({{\mathcal {M}}}_k:=\{1,2,3\}^k\) for \(k\ge 1\). A closed interval \(I \subseteq [0,1]\) is called a level-k island with respect to \(\{{{\mathcal {M}}}_k\}\) if the following conditions hold:
-
(1)
there exist some words \({\varvec{i}}_0, {\varvec{i}}_1,\dots ,{\varvec{i}}_n\) in \({{\mathcal {M}}}_k\) such that \(S_{{\varvec{i}}_k}(0,1)\cap S_{{\varvec{i}}_{k+1}}(0,1)\ne \emptyset \) for all \(k=0,\dots , n-1\), and \(I=\bigcup _{k=0}^nS_{{\varvec{i}}_k}([0,1])\);
-
(2)
for any \({\varvec{j}}\in {{\mathcal {M}}}_k\setminus \{{\varvec{i}}_0,\dots ,{\varvec{i}}_n\}\) and any \(k\in \{0,\dots ,n\}\), \(S_{{\varvec{j}}}(0,1)\cap S_{{\varvec{i}}_k}(0,1)=\emptyset \).
We remark that, \(I^\circ \) is a connected component of \(S_{{{\mathcal {M}}}_k}(0,1):=\bigcup _{{\varvec{i}}\in {{\mathcal {M}}}_k}S_{{\varvec{i}}}(0,1)\) for all level-k islands I, (see Fig. 1). For \(k\ge 1\), define
Let \(I_{1,1}:=S_1([0,1])\bigcup S_2([0,1])\) and \(I_{1,0}:=S_3([0,1])\). Then \({\textbf{P}}_1=\{I_{1,1},I_{1,0}\}\) (see Fig. 1). It is easy to check that \(\max \{|I|:I\in {\textbf{P}}_k\}\le |I_{1,1}|\max \{r_1,r_2\}^{k-1}\le (r_1+r_2)^k\) for all \(k\ge 1\). Moreover, Ngai and the first author proved that \(({\textbf{P}}_k)_{k\ge 1}\) satisfies (1.2) in [26]. Therefore, \((\textbf{P}_k)_{k\ge 1} \) is a sequence of compatible \(\mu \)-partitions of [0, 1].
\(\mu \)-partitions \({\textbf{P}}_k\) for \(k=1,2,3\), where \({\textbf{P}}_k\) is defined as in (3.16). Cells that are labeled consist of line segments enclosed by a box. The figure is drawn with \(r_1=1/2\) and \(r_2=1/3\)
If \(S_2(1)=S_3(0)\), then \(\textrm{supp}(\mu )=[0,1]\). In particular, we let \(r_1=1/2\), \(r_2=1/3\), and \(p_1=p_2=p_3=1/3\). Then we obtain that
which implies that the mass matrix \(\textbf{M}\) can be calculated. Thus Eq. (3.5) can be solved numerically. The numerical result is shown in Fig. 2.
Normalized eigenfunctions for the self-similar measure defined by the IFS in (3.15) with \(r_1=1/2\), \(r_2=1/3\) and probability weights \(p_1=p_2=p_3=1/3\)
Availability of data and material
All data generated or analyzed during the study are included in this paper.
References
Bird, E.J., Ngai, S.-M., Teplyaev, A.: Fractal Laplacians on the unit interval. Ann. Sci. Math. Québec 27, 135–168 (2003)
Chan, J.F.-C., Ngai, S.-M., Teplyaev, A.: One-dimensional wave equations defined by fractal Laplacians. J. Anal. Math. 127, 219–246 (2015)
Chen, J., Ngai, S.-M.: Eigenvalues and eigenfunctions of one-dimensional fractal Laplacians defined by iterated function systems with overlaps. J. Math. Anal. Appl. 364, 222–241 (2010)
Deng, D.-W., Ngai, S.-M.: Eigenvalue estimates for Laplacians on measure spaces. J. Funct. Anal. 268, 2231–2260 (2015)
Deng, G., Ngai, S.-M.: Differentiability of \(L^q\)-spectrum and multifractal decomposition by using infinite graph-directed IFSs. Adv. Math. 311, 190–237 (2017)
Freiberg, U.: Analytical properties of measure geometric Krein-Feller-operators on the real line. Math. Nachr. 260, 34–47 (2003)
Freiberg, U.: Spectral asymptotics of generalized measure geometric Laplacians on Cantor like sets. Forum Math. 17(1), 87–104 (2005)
Freiberg, U., Löbus, J.-U.: Zeros of eigenfunctions of a class of generalized second order differential operators on the Cantor set. Math. Nachr. 265, 3–14 (2004)
Freiberg, U., Zähle, M.: Harmonic calculus on fractals—a measure geometric approach. I. Potent. Anal. 16(3), 265–277 (2002)
Fujita, T.: A Fractional Dimension, Self-Similarity and a Generalized Diffusion Operator, Probabilistic Methods in Mathematical Physics (Katata/Kyoto, 1985), pp. 83–90. Academic Press, Boston (1987)
Gu, Q., Hu, J., Ngai, S.-M.: Two-sided sub-Gaussian estimates of heat kernels on intervals for self-similar measures with overlaps. Commun. Pure Appl. Anal. 19, 641–676 (2020)
Hu, J., Lau, K.-S., Ngai, S.-M.: Laplace operators related to self-similar measures on \({{\mathbb{R} }}^d\). J. Funct. Anal. 239, 542–565 (2006)
Lau, K.-S., Wang, X.Y.: Iterated function systems with a weak separation condition. Studia Math. 161, 249–268 (2004)
Naimark, K., Solomyak, M.: The eigenvalue behaviour for the boundary value problems related to self-similar measures on \({{\mathbb{R} }}^d\). Math. Res. Lett. 2, 279–298 (1995)
Ngai, S.-M.: Spectral asymptotics of Laplacians associated with one-dimensional iterated function systems with overlaps. Can. J. Math. 63, 648–688 (2011)
Ngai, S.-M., Tang, W.: Eigenvalue asymptotics and Bohr’s formula for fractal Schrödinger operators. Pac. J. Math. 300, 83–119 (2019)
Ngai, S.-M., Tang, W.: Schrödinger equations defined by a class of self-similar measures, submitted. http://archive.ymsc.tsinghua.edu.cn/pacm_paperurl/20210816103330370409858
Ngai, S.-M., Xie, Y.: \(L^q\)-spectrum of self-similar measures with overlaps in the absence of second-order identities. J. Aust. Math. Soc. 106, 56–103 (2019)
Ngai, S.-M., Tang, W., Xie, Y.: Spectral asymptotics of one-dimensional fractal Laplacians in the absence of second-order identities. Discrete Contin. Dyn. Syst. 38, 1849–1887 (2018)
Ngai, S.-M., Tang, W., Xie, Y.: Wave propagation speed on fractals. J. Fourier Anal. Appl. 26, Paper No. 31 (2020)
Sobolev, S.L.: Some Applications of Functional Analysis in Mathematical Physics, Translation of Mathematical Monographs, vol. 42. American Mathematical Society (1991)
Solomyak, M., Verbitsky, E.: On a spectral problem related to self-similar measures. Bull. Lond. Math. Soc. 27(3), 242–248 (1995)
Strang, G., Fix, G.J.: An Analysis of the Finite Element Method. Prentice-Hall Series in Automatic Computation. Prentice-Hall Inc, Englewood Cliffs (1973)
Strichartz, R.S., Taylor, A., Zhang, T.: Densities of self-similar measures on the line. Exp. Math. 4, 101–128 (1995)
Tang, W.: Bohr’s formula for one-dimension Schrödinger operators defined by self-similar meaures with overlaps. Fractals 30(06), 2250123 (2022)
Tang, W., Ngai, S.-M.: Heat equations defined by a class of self-similar measures with overlaps. Fractals 30(03), 2250073 (2022)
Tang, W., Wang, Z.Y.: Strong damping wave equations defined by a class of self-similar measures with overlaps. J. Anal. Math. (2023) (in press)
Zähle, M.: Harmonic calculus on fractals—a measure geometric approach, II. Trans. Am. Math. Soc. 357, 3407–3423 (2005)
Acknowledgements
The authors are grateful to the anonymous referee for some valuable suggestions and comments.
Funding
This work was supported by the NNSF of China (Grant no. 11901187).
Author information
Authors and Affiliations
Contributions
TW carried out the calculation and analysis studies of equation and drafted the manuscript. GJ conceived of the study, participated in drawing figures, and helped to draft and revise the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that there is no competing interests.
Ethics approval and consent to participate
The authors approve and consent to participate.
Consent for publication
The authors agree to publication.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Tang, W., Guo, J. Eigenvalues and Eigenfunctions of One-Dimensional Fractal Laplacians. J Nonlinear Math Phys 30, 996–1010 (2023). https://doi.org/10.1007/s44198-023-00113-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s44198-023-00113-9