Asymptotic energy equipartition for the wave equation on homogeneous trees (Q1284188)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Asymptotic energy equipartition for the wave equation on homogeneous trees
scientific article

    Statements

    Asymptotic energy equipartition for the wave equation on homogeneous trees (English)
    0 references
    0 references
    0 references
    9 September 1999
    0 references
    The paper deals with the wave propagation on a nonhomogeneous tree \({\mathcal X}\) of degree \(q+1\). Such a tree is a connected graph with no loops in which every vertex is adjacent to \(q+1\) other vertices. It is endowed with a natural distance function \(d\), where \(d(x,y)\) is the number of edges in the unique path from \(x\) to \(y\), and with a natural Laplace operator \({\mathcal L}\) defined by \[ {\mathcal L}f=f(x)-{\frac{1}{q+1}}\sum_{y:d(x,y)=1}f(y). \] If \(q=1\), then \({\mathcal X}\) may be identified with the set \({\mathbb Z}\) of all integers. The Cauchy problem for the modified wave equation \[ \partial^{2}_{t}u(x,t)=-({\mathcal L}-b)u(x,t); \quad u(x,0)=u_{0}(x),\quad \partial_{t}u(x,0)=u_{1}(x) \tag{1} \] on \({\mathcal X}\times {\mathbb R}^{+}\) is considered. As the main result it is proved in Theorem 2 that if the initial data \(u_{0}\) and \(u_{1}\) are in \(L^{2}({\mathcal X})\) and if \(u\) is the solution of the initial problem (1), then \[ \lim_{t\to +\infty}{\mathcal K}_{u}(t)=\lim_{t\to +\infty}{\mathcal P}_{u}(t) ={\frac{1}{2}}{\mathcal E}_{u}.\tag{2} \] Here \({\mathcal E}_{u}\) is the energy functional: \[ {\mathcal E}_{u}\equiv {\mathcal E}_{u}(t)={\tfrac{1}{2}} \left(\| d_{t}u(.,t)\|^{2}_{2}+<{\mathcal L}u(.,t),u(.,t)> -b\| u(.,t)\|^{2}_{2}\right), \] which does not depend on \(t\), and \({\mathcal K}_{u}(t)\) and \({\mathcal P}_{u}(t)\) are its kinetic and parabolic components: \[ {\mathcal K}_{u}(t)={\tfrac{1}{2}}\| d_{t}u(.,t)\|^{2}_{2},\;{\mathcal P}_{u}(t)={\tfrac{1}{2}}<({\mathcal L}-b)u(.,t),u(.,t)>. \] The corresponding result in the case \(q=1\) and \(b=0\) is also proved in Theorem 3 provided that \(u_{0}\) and \(u_{1}\) are in \(L^{2}({\mathbb Z})\). The proof of the result in (2) is based on the Fourier transform on \({\mathcal X}\), while the one in the case \(q=1\) and \(b=0\) is based on the classical Fourier transform on \(L_{1}({\mathbb Z})\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    homogeneous tree
    0 references
    energy functional
    0 references
    asymptotic estimate
    0 references
    wave equation
    0 references
    Cauchy type problem
    0 references
    Fourier transform
    0 references
    0 references