Abstract
In this paper, we consider the problem of computing the c-numerical range numerically for block differential operators, particularly these of Schrödinger type, Hain–Lüst type, and Stokes type.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
let \(A:{\mathcal {H}}\rightarrow {\mathcal {H}}\) be a bounded linear operator on a complex Hilbert space \({\mathcal {H}},\) with inner product \(\langle \cdot ,\cdot \rangle ,\) and associated norm \(\Vert \cdot \Vert .\) The numerical range of A is the set W(A) defined by the following:
By the famous Toeplitz–Hausdorff Theorem [1, 2], W(A) is convex. This set has been studied extensively for many decades. It is useful in the study and to understand the matrices and operators (see [3,4,5,6,7,8]), and has many applications in numerical analysis, differential equations, system theory, etc (see [7, 9,10,11,12]). There are many different generalizations of numerical range. For \(1\le k \le n,\) the k-numerical range of linear operator A on \({\mathbb {C}}^{n},\) introduced by Halmos [13] is defined as follows:
which is proved to be convex by Berger [14]. For any \(\mathbf{c }=(c_{1},\dots ,c_{k})\in {\mathbb {R}}^{k},\) the c-numerical range of linear operator A on \({\mathbb {C}}^{n},\) first introduced by Marcus [15], is defined as follows:
Extending the definition in (1.3) for a bounded or an unbounded operator A on a complex Hilbert space \({\mathcal {H}},\) with inner product \(\langle \cdot ,\cdot \rangle ,\) and for \(\mathbf{c }=(c_{1},\dots ,c_{k})\in {\mathbb {R}}^{k}\) the c-numerical range\(W_{c}(A)\) of A is defined as follows:
where \({\mathcal {D}}(A)\) is the domain of A. Furthermore, if \(\mathbf{c }\) consists of just one number \(c_1\), \(W_c(A)\), then we obtain the classical numerical range W(A) (see [13]). In addition, for \(c_1=c_2=\dots =c_k=1,\) the c-numerical range \(W_c(A)\) turns into \(W_k(A).\) Indeed, \(W_k(A) \subseteq W(A).\) Westwick [16] has shown that \(W_c(A)\) is convex for any \(c\in {\mathbb {R}}^{n}.\) In addition, he gave an example which shows that, for complex vectors \(c\in {\mathbb {C}}^{n}\) with \(n\ge 3,\) the range \(W_c(A)\) may fail to be convex.
The c-numerical range is unitary similarity invariant, \(W_{c}(A) = W_{c}(UAU^{*}),\) for any unitary matrix U. It is also transpose invariant, \(W_{c}(A) = W_{c}(A^{\text {T}}).\) Clearly, we have the basic property:
for every \(a,b \in {\mathbb {C}}.\) A review of the properties of c-numerical ranges of operator matrices may be found in [17].
In this paper, we consider how to compute the c-numerical range by finite difference methods, which reduce the problem to that of computing the c-numerical range of a (finite) matrix and block matrix.
The paper is organized as follows. In Sect. 2.1, some theoretical results areinvestigated dealing with the c-numerical range of operators using finite difference method. In Sect. 3, we shall applying these results to compute the c-numerical range of differential operators. We shall consider two particular special cases. In the first case, \({\mathcal {A}}\) is the Hain–Lüst operator, it is clear the underlying Hilbert space in this case is \(H:= L^2(0,1)\times L^2(0,1)\) and the operator is as follows:
in which where \(L=-\frac{\mathrm{{d}}^2}{\mathrm{{d}}x^2}+q\) is a Schrödinger operator (with bounded potential q), while w, \({\widetilde{w}}\) and z are bounded multiplication operators. The domain of \({{{\mathcal {L}}}}\) is given by the following:
This operator has been introduced by Hain and Lüst [18] in application to problems of magnetohydrodynamics and the problem of this type has been studied in [19,20,21,22,23]. We shall be concerned with the effects of discretization, both of the unbounded second-order differential operator L and of the bounded multiplication operators which appear in the other entries.
In the last case, \( {\mathcal {A}}\) is the Stokes-type system of ordinary differential equations. The underlying Hilbert space in this case is also \(H:= L^2(0,1)\times L^2(0,1)\) and the operator is as follows:
the domain of \({\mathcal {A}}\) is given by the following:
Note that \({\mathcal {A}}\) is not closed; however, \({\mathcal {A}}\) is closable and its closure is self-adjoint.
2 An Approximating Discrete Operator
We shall replace the Schrödinger operator by a matrix. Suppose \( u\in {\mathcal {D}}(L)\). Pick \(N+1\) points \(x_{0},x_{1},\ldots ,x_{N}\) in the interval [0, 1]; for the sake of simplicity, we assume equal spacing, so that \(x_{0}=0,\)\(x_{j}=jh,\)\(x_{N}=1=Nh\) with \(h=\frac{1}{N}.\) We would like to form the vectors:
Moreover, if we are to use the quadrature estimates, we shall need more smoothness in u. We, therefore, observe that the set
is a core of the operator L; for \(u\in {\mathcal {C}}(L)\), Eq. (2.1) makes sense. Recall the second-order divided difference approximation of the second derivative:
Hence
where \(T = \text{ tridiag }(1,-2,1)\) is the tridiagonal matrix with entries \(T_{jj}=-2\), \(T_{j,j\pm 1}= 1\). We also define diagonal matrices:
Our matrix replacement of the Schrödinger operator is a matrix of dimension \((N-1)\times (N-1)\) given by the following:
We shall use this technique in this paper for computing c-numerical range.Muhammad and Marlleta [24] replaced the Hain–Lüst operator and Stokes operator bymatrices. To discretize the Hain–Lüst operator, suppose that \({(\begin{array} {c} u \\ v \end{array})}\in {\mathcal {D}}(A)\). Pick \(N+1\) points \(x_{0},x_{2},\ldots ,x_{N}\) in the interval [0, 1]; for the sake of simplicity, we assume equalspacing, so that \(x_{0}=0,\)\(x_{j}=jh,\)\(x_{N}=1=Nh\) with \(h=\frac{1}{N}.\) We would like to form the vectors:
however, since we only have \(v\in L^2(0,1)\), point values of v are meaningless.Moreover, we shall need more smoothness in u and v if we are to use thequadrature estimates we need. We, therefore, observe that the set
is a core of the operator A; for \({\left( \begin{array} {c} u \\ v \end{array}\right) }\in {\mathcal {C}}(A),\) Eq. (2.6) makes sense. We also define diagonal matrices:
Our matrix replacement of the Hain–Lüst operator is a matrix of dimension \(2(N-1)\times 2(N-1)\) given by the following:
where \( L_{N}:=-\frac{1}{h^2}T+Q_N\). To discretize the Stokes operator. Observe that
and
Hence, our matrix replacement of the Stokes operator is a matrix of dimension \((2N-1)\times (2N-1)\) given by the following:
where \( E_{N}:=-\frac{1}{h^2}T,\)
and \(Z_{N}=\frac{-3}{2}I_{N\times N}.\) We shall use this technique in this paper for computing c-numerical range.
2.1 c-Numerical Range Inclusion
The following theorem shows that by finite difference discretization approximation, we derived that the every point of the c-numerical range of the Schrödinger operator \(L=-\frac{{\text {d}}^{2}}{{\text {d}}x^{2}} + q(x)\) can be approximated to arbitrary accuracy.
Theorem 2.1
Suppose \(\lambda \) is a point of the c-numerical range of the Schrödinger operator \(L=-\frac{\mathrm{{d}}^{2}}{\mathrm{{d}}x^{2}} + q(x)\) in which q (the potential in L) in \(C^{2}[0,1].\) Then, for all \(\epsilon >0\), there exists \({\widetilde{N}}\), such that for all \(N\ge {\widetilde{N}}\) the c-numerical range of the \((N-1)\times (N-1)\) discretization has a point \(\lambda _{N}\) with \(|\lambda -\lambda _{N}|< \epsilon .\)
Proof
Fix \( \epsilon > 0\) and \(\lambda \in W_{c}(L).\) Then, there exist \(u_{1},u_{2},\ldots ,u_{k}\in {\mathcal {C}}(L)\), such that
Then, it is clear which we need two types of integral which are estimated by quadrature.
Type 1: \(L^2\) integrals of smooth functions
Let \(u_{1},u_{2},\ldots ,u_{k}\in C^4(0,1)\) with Dirichlet boundary conditions at 0 and 1. Then
for some vectors \({\underline{u}}_{1},{\underline{u}}_{2},\ldots ,{\underline{u}}_{k}\in {\mathbb {C}}^{N-1}, \) where
By a straightforward computation, the following result can be verified. \(\square \)
Lemma 2.2
Suppose that \({\underline{u}}_{1},{\underline{u}}_{2},\ldots ,{\underline{u}}_{k}\in {\mathbb {C}}^{N-1},\) and \(u_{1},u_{2},\ldots ,u_{k}\) is an eigenfunction of the Schrödinger operator L; then
Type 2: The integrals \(\langle Lu,u\rangle _{L^2}\) for smooth u
For \(u_{1},u_{2},\ldots ,u_{k}\) as before, we observe that \( Lu_{1},Lu_{2},\ldots ,Lu_{k}\) is Lipschitz, because \(u_{1}'',u_{2}'',\ldots ,u_{k}''\in C^2(0,1)\) and \(q\in C^2(0,1):\)
also we have
where \((s_{i})_{j}:=u_{i}^{4}(\xi _j)+u_{i}^{4}(\eta _j),\) and \(\xi _j,\,\eta _j \in (x_{j-1},x_{j+1}),\) for \(j=1,\ldots ,N-1\) and \(i=1,\ldots ,k.\) Then, by taking inner products on both sides of Eq. (2.15), we get the following:
Multiplying by h and adding \(\sum _{i=1}^{k}\langle {Lu_{i}},u_{i}\rangle _{L^2}-h\sum _{i=1}^{k}\langle L_{N}{\underline{u}}_{i},{\underline{u}}_{i}\rangle _{{\mathbb {C}}^{N-1}}\) to both sides of Eq. (2.16), we obtain the following:
and thus, using Lemma 2.2 and dividing both sides of Eq. (2.17) by \(\sum _{i=1}^{k}\langle u_{i},u_{i}\rangle _{L^{2}},\) we get the following:
This implies that
It follows that there exists \(\lambda _{N}\in W_{c}(L_{N})\), such that \(|\lambda -\lambda _{N}|\le \epsilon .\)
We introduce Definition 2.3, which is make sense for any bounded or an unbounded linear operator to bound some crucial parts in our main Theorem 2.6. Suppose that A is an unbounded linear operator \(A:{\mathcal {D}}(A) \subset H \rightarrow H.\) Consider a sesquilinear form:
We define R-partial c-numerical range as follows:
Definition 2.3
Let A be an unbounded operator with quadratic form \(a(\cdot ).\) Then, the set
is called the R-partial c-numerical range of A.
We recall some lemmas useful to prove the main Theorem 2.6.
Lemma 2.4
Let A be an operator which is defined in Definition (2.3); then
Proof
Suppose that \(\lambda \in W_{c}(A);\) then, there exist an orthonormal vectors \(x_1,\dots ,x_k\in {\mathcal {D}}(A),\) such that \(\lambda =\sum _{i=1}^{k}c_{i}a(x_{i}).\) Therefore, by Definition (2.3), \(\lambda \in W_{cR}(A)\) for any \(\left| \sum _{i=1}^{k}c_{i}a(x_{i})\right| \le R.\) Hence, \(\overline{W_{c}(A)}\subseteq \overline{\bigcup _{ \begin{array}{c} R>0 \end{array}}W_{cR}(A)}.\) To prove opposite inclusion, it is clear \(W_cR(A)\subseteq W_{c}(A)\) for all \(R>0,\) so this immediately gives \(\overline{\bigcup _{ \begin{array}{c} R>0 \end{array}}W_{cR}(A)}\subseteq \overline{W_{c}(A)}.\)
The next Lemma on the consequences of constructing a piecewise linear function from a vector in \({\mathbb {C}}^{N-1}\) by interpolation will be used in the proof of Theorem 2.6\(\square \)
Lemma 2.5
Let \({\underline{u}}_{1},{\underline{u}}_{2},\ldots ,{\underline{u}}_{k}\) in \({\mathbb {C}}^{N-1},\)\(u_{1},u_{2},\ldots ,u_{k}\) in \(H^{1}_{0}(0,1)\) be the piecewise linear functions given by \(u_{r}(x)=u_{r(j-1)}\frac{(x_{j}-x)}{(x_{j}-x_{j-1})}+u_{rj}\frac{(x-x_{j-1})}{(x_{j}-x_{j-1})}\,\,\,\, \text{ for }\,\, 1\le r \le k,\) where \(x_{j-1}\le x \le x_{j}\) for \(J=1,2,\ldots ,N \) and \(u_{r0} =0= u_{rN}.\) Then, \((\Vert u'_{r} \Vert _{L_{2}}/\Vert u_{r} \Vert _{L_{2}})^{2} \le 6/h^{2}.\)
Proof
For \(1\le r \le k\) and let \(u_{1},u_{1},\ldots ,u_{k}\in H_0^1(0,1),\) be the piecewise linear functions given by \(u_{r}(x)=u_{r(j-1)}\frac{(x_{j}-x)}{(x_{j}-x_{j-1})}+u_{rj}\frac{(x-x_{j-1})}{(x_{j}-x_{j-1})}.\) Then, for \(-h/2 \le x\le h/2\), it is not difficult to see that
thus
Rearranging gives
\(\square \).
The following theorem is our main result.
Theorem 2.6
Suppose that the coefficient q appearing in the Schrödinger operator \(L=-\frac{\mathrm{{d}}^{2}}{\mathrm{{d}}x^{2}} + q(x)\) is Lipschitz. Consider the \((N-1)\times (N-1)\) matrix \(L_{N}\) given in (2.5). For each \(R>0,\) there exists a constant \(K_{R}\) independent of N, such that \(W_{cR}(L_{N})\) is contained in a \(K_{R}\,N^{-1/2}-\)neighborhood of \(W_{cR}(L).\)
Proof
Suppose that \(\lambda _{N} \in W_{cR}(L_{N});\) then, there exist an orthonormal vectors \({\underline{u}}_{1},{\underline{u}}_{2},\ldots ,{\underline{u}}_{k}\) in \({\mathbb {C}}^{N-1}\), such that
We begin by constructing a piecewise linear functions \(u_{1},u_{2},\ldots ,u_{k}\) in \(H_0^1(0,1)\), such that \(u_{r}(x_{j})=u_{rj},\) and \(u_{r0}=0=u_{rN}\) for \(1\le r \le k.\) It is clear \(u_{1},u_{2},\ldots ,u_{k}\notin {\mathcal {D}}(L)\), because \(u_{1},u_{2},\ldots ,u_{k}\notin H^2(0,1).\) This is not a problem when using the characterization of \(W_{c}(A)\) in Definition (2.3); we simply note that the quadratic form associated with L is the usual Dirichlet form:
so, first, we need to estimate \({\mathcal {I}}_{1}\) on the right-hand side of Eq. (2.19):
\(\square \)
Here, \(c_{1}\ell (u_{1},u_{1})= c_{1} l_{0}(u_{1},u_{1})+ c_{1}\int _0^1q |u_{1}|^2\mathrm{{d}}x,\) where \(c_{1} l_{0}(u_{1},u_{1})=c_{1} \int _0^1 |u'_{1}|^2 \mathrm{{d}}x.\) By summation by parts
and we are left to deal with
Assuming that \(q(\cdot )\) is Lipschitz, and using the Cauchy–Schwarz inequality, we get the following:
in which the last inequality follows from (2.22). Here, \(\Vert u'_{1}\Vert _{2}\) can be bounded in a way which depends only on R and not on h. To see this, recall that since \(\lambda \in W_R(L_N)\), and by Definition (2.3):
this yields, in light of (2.20):
By Lemma 2.5 for \(r=1\):
Thus
By the Lipschitz property of q and using (2.22), the fourth term on the right-hand side of Eq. (2.21) satisfies the following:
while the sixth term admits the bound
The third term of the right-hand side of (2.21) satisfies the following:
and the last inequality again coming from (2.22). The one remaining term of the right-hand side of Eq. (2.21) is estimated by the following:
with (2.21) again providing the last step. Summing all the contributions, we obtain the following:
and so
where \(|\zeta _{h}|\le M_{1}h \Vert u'_{1}\Vert _{2}.\)
We are now in a position to estimate the following:
Now, we estimate
From Eqs. (2.20) to (2.23), we have the following:
Thus, we get the following:
Combining Eqs. (2.32), (2.35), and using Eq. (2.24), we get the following:
By the same argument, the second term and the last term of the right-hand side of Eq. (2.19) satisfies the following:
and
Combining Eqs. (2.36), (2.37), and (2.38), we get the following:
3 Numerical Experiments on Differential Operator
In this section, we study some concrete examples and demonstrate that, in spite of the results obtained in the previous section, practical calculation of the c-numerical range is very far from being straightforward. We shall show that the discretization techniques may often yield misleading results, and that a good knowledge of existing analytical estimates of q-numerical range is often needed to understand the results. The computations were performed in MATLAB.
3.1 Example 1
Assume that \(w\,:[0,1]\, \rightarrow [0,\infty ),\;{\widetilde{w}}\,:[0,1]\, \rightarrow [0,\infty ),\) and \(z\,:[0,1]\, \rightarrow {\mathbb {C}}\) are such that \(w(x)=1,\;{\widetilde{w}}(x)=1,\)
for each \(x \in [0,1]\).
We introduce the differential expression:
Let \(L,\,B,\,C,\,D\) be the operators in the Hilbert space \(L^{2}(0,1)\) induced by thedifferential expressions \(\tau _{{\widetilde{A}}},\,\tau _{{\widetilde{B}}},\,\tau _{{\widetilde{C}}},\,\tau _{{\widetilde{D}}}\) with domain:
In the Hilbert space \(L^{2}_{2}(0,1):= L^{2}(0,1)\oplus L^{2}(0,1),\) we introduce the matrix differential operator:
on the domain
The finite difference approximation to the Hain–Lüst operator is the \(2(N-1)\times 2(N-1)\) matrix \({\mathbb {A}}_{N}\) given in Eq. (2.8).
Figure 1 show the attempts to compute approximations to the c-numerical range of the Hain–Lüst operator using matrices (2.8) for different values of \(\mathbf{c }=(1,0,\dots ,0)\) and \(\tilde{\mathbf{c }}:=\mathbf{c }=(1.1,0,\dots ,-0.1)\) with \(N=25.\)
3.2 Analytical Estimates for Example 1
To understand the results in Fig. 1, it is useful to find an analytical estimate for \(W_{c}(A)\). Let \({\underline{y}}_{1},{\underline{y}}_{2},\ldots ,{\underline{y}}_{k}\, \text{ be } \text{ an } \text{ orthonormal } \text{ vectors } \text{ in } {\mathcal {D}}({\mathcal {A}})\), where
and let
The first term of Eq. (3.3) gives, as an estimate:
For the second term on the right-hand side of Eq. (3.3), the Cauchy–Schwarz inequality and Youngs inequality yield the following:
The third term of the right-hand side of Eq. (3.3) satisfies the following:
Hence, from Eqs. (3.4), (3.5), and (3.6), we get that
This yields the following:
For our example, these yield \(\mathfrak {R}(\lambda )\ge -39 \sum _{j=1}^{k} c_j\)
To estimate \(\text{ Im }(\lambda )\), observe that
and
hence
This completes the estimates on \(W_{c}(A)\).
The following result shows that the c-numerical range of Example 1 is unbounded.
Remark 3.1
Let \(\eta _{1},\eta _{2},\ldots ,\eta _{k}\) be an orthonormal vectors in \( {\mathcal {D}}({\mathcal {A}}),\) where
then
However, \(l\in {\mathbb {Z}}\) can be arbitrary large. This means that \(\mathfrak {R}(\lambda )\) is unbounded above.
3.3 Example 2
We consider the differential expression:
Let \(A_{0},\)\(B_{0},\)\(C_{0},\)\(D_{0}\) be the operators in the Hilbert space \(L^2(0,1)\) induced by the differential expressions \(\tau _{{\widetilde{A}}},\)\(\tau _{B}\)\(\tau _{C},\)\(\tau _{D_{0}}\) with domain:
In the Hilbert space \(L^2_{2}(0,1):= L^2(0,1)\oplus L^2(0,1),\) we introduce the matrix differential operator:
on the domain
The finite difference approximation to the Stokes operator is the \((2N-1)\times (2N-1)\) matrix:
given in Eq. (2.11). Figure 2 shows an estimate of the c-numerical range of the Stokes operator using matrices (2.6) for different values of \(\mathbf{c }=(1,0,\dots ,0)\) and \(\tilde{\mathbf{c }}:=\mathbf{c }=(1.1,0,\dots ,-0.1)\) with \(N=25.\)
3.4 Analytical Estimates for Example 2
To understand the results in Fig. 2, it is useful to find an analytical estimate for \(W_{c}({\mathcal {A}}_{0})\). Let \({\underline{\zeta }}_{1},{\underline{\zeta }}_{2},\ldots ,{\underline{\zeta }}_{k}\, \text{ be } \text{ an } \text{ orthonormal } \text{ vectors } \text{ in } {\mathcal {D}}({\mathcal {A}}_{0}),\) where
and let
The first term of Eq. (3.14) gives, as an estimate, the following:
For the second term on the right-hand side of Eq. (3.14), the Cauchy–Schwarz inequality and Youngs inequality yield the following:
The third term of the right-hand side of Eq. (3.14) satisfies
Hence, from Eqs. (3.15), (3.16), and (3.17), we get that
This yields the following:
Because in our case \(\alpha =-\frac{3}{2},\) then this implies that \(\mathfrak {R}(\lambda ) \ge -\frac{5}{2}\sum _{j=1}^{k} c_j.\) On the other hand, it is not difficult to see that \(\mathfrak {I}(\lambda )=0.\)
This completes the estimates on \(W_{c}({\mathcal {A}}_{0}).\)
4 Conclusions
The computation of c-numerical ranges of operator matrices of differential operators and block operator matrices of differential operators by finite difference techniques is easier to implement than Galerkin discretization methods, but the theoretical analysis is more involved and the results obtained are less esthetically satisfactory. In the case of Galerkin discretizations, the c-numerical ranges are nested:
This is not guaranteed for finite differences, where only have Theorem 2.6. However,in all cases, whether the discretization be by finite difference or variationalmethods, the numerical results can only be properly understood in conjunction with anunderstanding of the spectral theory of the original operator.
References
Hausdorff, F.: Der Wertvorrat einer bilinear form. Math. Z 3, 314–316 (1919)
Toeplitz, O.: Das algebraishe Analogon zu einem satze von Fejer. Math. Z. 2, 187–197 (1918)
Li, C.K.: A survey on linear preservers of numerical ranges and radii. Taiwan. J. Math. 5, 477–496 (2001)
Li, C.K.: q-numerical range of normal and convex matrices. Linear Multilinear Algebra 43, 377–384 (1998)
Lie, C.K., Mehta, P.P., Rodman, L.: Ageneralized numerical range: the range of a constrianed sesquilinear form. Linear Multilinear Algebra 37, 25–50 (1994)
Li, C.K., Binding, P.: Joint ranges of hermitian matrices and simultaneous diagonalization. Linear Algebra Appl. 151, 157–168 (1991)
Gustafson, K.E., Rao, D.K.M.: Numerical Range. The Field of Values of Linear Operators and Matrices. Springer, New York (1997)
Horn, R.A., Johnson, C.R.: Topics in Matrix Analysis. Cambridge University Press, New York (1991)
Eierman, M.: Field of values and iterative methods. Linear Algebra Appl. 180, 167–197 (1993)
Goldberg, M., Tadmor, E.: On the numerical radius and its applications. Linear Algebra Appl. 42, 263–284 (1982)
Trefethen, L.N., Embree, M.: Spectra and Pseudospectra. The Behavior of Nonnormal Matrices and Operators. Princeton University Press, Princeton (2005)
da Providência, J.: Numerical ranges in physics. Linear Multilinear Algebra 43, 327–337 (1998)
Halmos, P.R.: A Hilbert Space Problem Book. Springer, New York (1982)
Berger, C.A.: Normal Dilations. Cornell University, Cornell (1963). PhD Thesis
Marcus, M.: Derivations, Plüker relations, and the numerical range. Indiana Univ. Math. J 22, 1137–1149 (1973)
Westwick, R.: A theorem on numerical range. Linear Multilinear Algebra 2, 311–315 (1975)
Li, C.-K.: C-numerical ranges and C-numerical radii. Linear Multilinear Algebra 37, 51–82 (1994)
Hain, K., Lüst, R.: Zur Stabilität zylindersymmetrischer Plasmakonfigurationen mit Volumenströmmen. Z. Nat. A 13, 936–940 (1958)
Muhammad, A., Marletta, M.: Approximation of the quadratic numerical range of block operator matrices. Integr. Equ. Oper. Theory 74, 151–162 (2012)
Adamjan, V.M., Langer, H.: Spectral properties of a class of rational operator valued functions. J. Oper. Theory 33, 259–277 (1995)
Langer, H., Mennicken, R., Möller, M.: A second order differential operator depending nonlinearly on the eigenvalue parameter. Oper. Theory Adv. Appl. 48, 319–332 (1990)
Langer, H., Tretter, C.: Spectral decomposition of some nonselfadjoint block operator matrices. J. Oper. Theory 39, 339–359 (1998)
Marletta, M., Tretter, C.: Essential spectra of coupled system of differential equations and applications in hydrodynamics. J. Differ. Equ. 243, 36–69 (1994)
Ahmed, M., Marco, M.: A numerical investigation of the quadratic numerical range of Hain–Lust operators. Int. J. Comput. Math. 90, 2431–2451 (2013)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Abbas Salemi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Muhammad, A., Hamad, W. A Numerical Investigation of the c-Numerical Ranges of Differential Operators. Bull. Iran. Math. Soc. 45, 1755–1775 (2019). https://doi.org/10.1007/s41980-019-00227-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s41980-019-00227-1
Keywords
- Operator matrices
- Block operator matrices
- c-Numerical range
- Finite difference
- Schrödinger operator
- Hain–Lüst operator
- Stokes operator