• 検索結果がありません。

2.TheKnownUpperBoundsfortheLargestLaplacianEigenvalueofWeightedGraphs 1.Introduction SezerSorgun BoundsfortheLargestLaplacianEigenvalueofWeightedGraphs ResearchArticle

N/A
N/A
Protected

Academic year: 2022

シェア "2.TheKnownUpperBoundsfortheLargestLaplacianEigenvalueofWeightedGraphs 1.Introduction SezerSorgun BoundsfortheLargestLaplacianEigenvalueofWeightedGraphs ResearchArticle"

Copied!
9
0
0

読み込み中.... (全文を見る)

全文

(1)

Volume 2013, Article ID 520610,8pages http://dx.doi.org/10.1155/2013/520610

Research Article

Bounds for the Largest Laplacian Eigenvalue of Weighted Graphs

Sezer Sorgun

Department of Mathematics, Faculty of Sciences and Arts, Nevs¸ehir University, 50300 Nevs¸ehir, Turkey

Correspondence should be addressed to Sezer Sorgun; [email protected] Received 29 November 2012; Accepted 14 March 2013

Academic Editor: Jun-Ming Xu

Copyright © 2013 Sezer Sorgun. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

LetGbe weighted graphs, as the graphs where the edge weights are positive definite matrices. The Laplacian eigenvalues of a graph are the eigenvalues of Laplacian matrix of a graphG. We obtain two upper bounds for the largest Laplacian eigenvalue of weighted graphs and we compare these bounds with previously known bounds.

1. Introduction

Let𝐺 = (𝑉, 𝐸)be simple graphs, as graphs which have no loops or parallel edges such that𝑉is a finite set of vertices and𝐸is a set of edges.

A weighted graph is a graph each edge of which has been assigned to a square matrix called the weight of the edge. All the weight matrices are assumed to be of same order and to be positive matrix. In this paper, by “weighted graph” we mean

“a weighted graph with each of its edges bearing a positive definite matrix as weight,” unless otherwise stated.

The notations to be used in paper are given in the following.

Let𝐺be a weighted graph on𝑛vertices. Denote by𝑤𝑖,𝑗 the positive definite weight matrix of order𝑝of the edge𝑖𝑗, and assume that𝑤𝑖𝑗 = 𝑤𝑗𝑖. We write𝑖 ∼ 𝑗if vertices𝑖and𝑗 are adjacent. Let𝑤𝑖 = ∑𝑗:𝑗∼𝑖𝑤𝑖𝑗. be the weight matrix of the vertex𝑖.

The Laplacian matrix of a graph𝐺is defined as𝐿(𝐺) = (𝑙𝑖𝑗), where

𝑙𝑖,𝑗={{ {{ {

𝑤𝑖; if 𝑖 = 𝑗,

−𝑤𝑖𝑗; if 𝑖 ∼ 𝑗, 0; otherwise.

(1)

The zero denotes the 𝑝 × 𝑝zero matrix. Hence𝐿(𝐺)is square matrix of order𝑛𝑝. Let𝜆1denote the largest eigenvalue

of𝐿(𝐺). In this paper we also use to avoid the confusion that 𝜌1(𝑤𝑖𝑗)is the spectral radius of𝑤𝑖𝑗matrix. If𝑉is the disjoint union of two nonempty sets𝑉1and𝑉2such that every vertex 𝑖in𝑉1has the same𝜌1(𝑤𝑖)and every vertex𝑗in𝑉2has the same𝜌1(𝑤𝑗), then𝐺is called a weight-semiregular graph. If 𝜌1(𝑤𝑖) = 𝜌1(𝑤𝑗)in weight semiregular graph, then𝐺is called a weighted-regular graph.

Upper and lower bounds for the largest Laplacian eigen- value for unweighted graphs have been investigated to a great extent in the literature. Also there are some studies about the bounds for the largest Laplacian eigenvalue of weighted graphs [1–3]. The main result of this paper, contained in Section 2, gives two upper bounds on the largest Laplacian for weighted graphs, where the edge weights are positive definite matrices. These upper bounds are attained by the same methods in [1–3]. We also compare the upper bounds with the known upper bounds in [1–3]. We also characterize graphs which achieve the upper bound. The results clearly generalize some known results for weighted and unweighted graphs.

2. The Known Upper Bounds for the Largest Laplacian Eigenvalue of Weighted Graphs

In this section, we present the upper bounds for the largest Laplacian eigenvalue of weighted graphs and very useful lemmas to prove theorems.

(2)

Theorem 1 (Horn and Johnson [4]). Let𝐴 ∈ 𝑀𝑛be Hermi- tian, and let the eigenvalues of𝐴be ordered such that 𝜆𝑛 ≤ 𝜆𝑛−1≤ ⋅ ⋅ ⋅ ≤ 𝜆1. Then,

𝜆𝑛𝑥𝑇𝑥 ≤ 𝑥𝑇𝐴𝑥 ≤ 𝜆1𝑥𝑇𝑥 (2) 𝜆max= 𝜆1=max

𝑥 ̸= 0

𝑥𝑇𝐴𝑥 𝑥𝑇𝑥 =max

𝑥𝑇𝑥=1𝑥𝑇𝐴𝑥 𝜆min = 𝜆𝑛 =min

𝑥 ̸= 0

𝑥𝑇𝐴𝑥 𝑥𝑇𝑥 = min

𝑥𝑇𝑥=1𝑥𝑇𝐴𝑥

(3)

for all𝑥 ∈C𝑛.

Lemma 2 (Horn and Johnson [4]). Let𝐵be a Hermitian𝑛×𝑛 matrix with eigenvalues𝜆1 ≥ 𝜆2 ≥ ⋅ ⋅ ⋅ ≥ 𝜆𝑛; then for any 𝑥 ∈ 𝑅𝑛 (𝑥 ̸= 0),𝑦 ∈ 𝑅𝑛 (𝑦 ̸= 0),

󵄨󵄨󵄨󵄨󵄨𝑥𝑇𝐵𝑦󵄨󵄨󵄨󵄨󵄨 ≤ 𝜆1√𝑥𝑇𝑥√𝑦𝑇𝑦. (4) Equality holds if and only if𝑥is an eigenvector of𝐵correspond- ing to𝜆1and𝑦 = 𝛼𝑥for some𝛼 ∈ 𝑅.

Lemma 3 (see [1]). Let 𝐺 be a(𝜌1(𝑤𝑖), 𝜌1(𝑤𝑗))-semiregular bipartite graph of order𝑛such that the first 𝑙vertices of the same largest eigenvalue𝜌1(𝑤𝑖)and the remaining𝑚vertices of the same largest eigenvalue𝜌1(𝑤𝑗). Also let𝑥be a common eigenvector of 𝑤𝑖𝑗 corresponding to the largest eigenvalue 𝜌1(𝑤𝑖𝑗)for all𝑖,𝑗, where𝑤𝑖= ∑𝑘∈𝑁𝑖𝑤𝑖𝑘for all𝑖. Then𝜌1(𝑤𝑖) + 𝜌1(𝑤𝑗)is the largest eigenvalue of𝐿(𝐺)and the corresponding eigenvector is

(𝜌⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟1(𝑤𝑖)𝑥𝑇, . . . , 𝜌1(𝑤𝑖)𝑥𝑇

𝑙

, −𝜌⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟1(𝑤𝑗)𝑥𝑇, . . . , −𝜌1(𝑤𝑗)𝑥𝑇

𝑚

) . (5) Theorem 4 (see [1]). Let G be a simple connected weighted graph. Then

𝜆1≤max

𝑖∼𝑗

{{ {

𝜌1( ∑

𝑘:𝑘∼𝑖

𝑤𝑖𝑘) + ∑

𝑘:𝑘∼𝑗

𝜌1(𝑤𝑗𝑘)} }}

, (6) where𝑤𝑖𝑗is the positive definite weight matrix of order p of the edge𝑖𝑗. Moreover equality holds in(6)if and only if

(i)𝐺is a weight-semiregular bipartite graph,

(ii)𝑤𝑖𝑗 have a common eigenvector corresponding to the largest eigenvalue𝜌1(𝑤𝑖𝑗)for all𝑖,𝑗.

Theorem 5 (see [2]). Let G be a simple connected weighted graph. Then

𝜆1

≤max

𝑖∼𝑗

{{ {{ {{ {{ {{ {

√√

√√

𝑘:𝑘∼𝑖∑ 𝜌1(𝑤𝑖𝑘) ( ∑

𝑟:𝑟∼𝑖𝜌1(𝑤𝑖𝑟) + ∑

𝑠:𝑠∼𝑘𝜌1(𝑤𝑘𝑠)) + ∑𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘) ( ∑

𝑟:𝑟∼𝑗𝜌1(𝑤𝑗𝑟) + ∑

𝑠:𝑠∼𝑘𝜌1(𝑤𝑘𝑠)) }} }} }} }} }} } ,

(7)

where𝑤𝑖𝑗is the positive definite weight matrix of order p of the edge𝑖𝑗. Moreover equality holds in(7)if and only if

(i)𝐺is a bipartite semiregular graph;

(ii)𝑤𝑖𝑗 have a common eigenvector corresponding to the largest eigenvalue𝜌1(𝑤𝑖𝑗)for all𝑖,𝑗.

Corollary 6 (see [2]). Let𝐺be a simple connected weighted graph where each edge weight𝑤𝑖𝑗is a positive number. Then

𝜆1≤max

𝑖 {√2𝑤𝑖(𝑤𝑖+ 𝑤𝑖)} , (8)

where𝑤𝑖 = (∑𝑘:𝑘∼𝑖𝑤𝑖𝑘𝑤𝑘)/𝑤𝑖and𝑤𝑖is the weight of vertex𝑖.

Moreover equality holds if and only if𝐺is a bipartite regular graph.

Corollary 7 (see [2]). Let𝐺be a simple connected weighted graph where each edge weight𝑤𝑖𝑗is a positive number. Then

𝜆1≤max

𝑖∼𝑗 {√𝑤𝑖(𝑤𝑖+ 𝑤𝑖) + 𝑤𝑗(𝑤𝑗+ 𝑤𝑗)} , (9) where𝑤𝑖 = (∑𝑘:𝑘∼𝑖𝑤𝑖𝑘𝑤𝑘)/𝑤𝑖and𝑤𝑖 is the weight of vertex 𝑖. Moreover equality holds if and only if 𝐺 is a bipartite semiregular graph.

Theorem 8 (see [2]). Let G be a simple connected weighted graph. Then

𝜆1

≤max

𝑖∼𝑗

{{ {{ {{ {

𝜌1(𝑤𝑖) + 𝜌1(𝑤𝑗) + √(𝜌1(𝑤𝑖) − 𝜌1(𝑤𝑗))2+ 4𝛾𝑖𝛾𝑗 2

}} }} }} } ,

(10) where𝛾𝑖 = (∑𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)𝜌1(𝑤𝑘))/𝜌1(𝑤𝑖)and𝑤𝑖𝑗is the posi- tive definite weight matrix of order p of the edge𝑖𝑗. Moreover equality holds in(10)if and only if

(i)𝐺is a weighted-regular graph or𝐺is a weight-semi- regular bipartite graph;

(ii)𝑤𝑖𝑗 have a common eigenvector corresponding to the largest eigenvalue𝜌1(𝑤𝑖𝑗)for all𝑖,𝑗.

Corollary 9 (see [2]). Let𝐺be a simple connected weighted graph where each edge weight𝑤𝑖𝑗is a positive number. Then

𝜆1≤max

𝑖 {𝑤𝑖+ 𝑤𝑖} , (11)

where𝑤𝑖 = (∑𝑘:𝑘∼𝑖𝑤𝑖𝑘𝑤𝑘)/𝑤𝑖and𝑤𝑖 is the weight of vertex 𝑖. Moreover equality holds if and only if 𝐺 is a bipartite semiregular graph or𝐺is a bipartite regular graph.

(3)

Theorem 10 (see [3]). Let G be a simple connected weighted graph. Then

𝜆1

max𝑖 {{ {{ {{ {

𝜌12(𝑤𝑖) + ∑

𝑘:𝑘∼𝑖𝜌12(𝑤𝑖𝑘) + ∑

𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑤𝑖𝑘+ 𝑤𝑖𝑘𝑤𝑘) + ∑1≤𝑖,𝑡≤𝑛

𝑠∈𝑁𝑖∩𝑁𝑡𝜌1(𝑤𝑖𝑠𝑤𝑠𝑡)

}} }} }} } ,

(12) where𝑤𝑖𝑘is the positive definite weight matrix of order𝑝of the edge𝑖𝑘and𝑁𝑖∩ 𝑁𝑘is the set of common neighbours of𝑖and 𝑘. Moreover equality holds in(12)if and only if

(i)𝐺is a weight-semiregular bipartite graph;

(ii)𝑤𝑖𝑘 have a common eigenvector corresponding to the largest eigenvalue𝜌1(𝑤𝑖𝑘)for all𝑖,𝑘.

Corollary 11 (see [3]). Let𝐺be a simple connected weighted graph where each edge weight𝑤𝑖𝑗is a positive number. Then

𝜆1≤max

𝑖

{{ {{ {{ {

√ 𝑤2𝑖 + ∑

𝑘:𝑘∼𝑖𝑤𝑖𝑘2 + ∑

𝑘:𝑘∼𝑖(𝑤𝑖𝑤𝑖𝑘+ 𝑤𝑘𝑤𝑖𝑘) + ∑1≤𝑖,𝑡≤𝑛

𝑠∈𝑁𝑖∩𝑁𝑡𝑤𝑖𝑠𝑤𝑠𝑡

}} }} }} }

. (13)

Moreover equality holds if and only if𝐺is a bipartite semireg- ular graph.

3. Two Upper Bounds on the Largest Laplacian Eigenvalue of Weighted Graphs

In this section we present two upper bounds for the largest eigenvalue of weighted graphs and compare the bounds with some examples.

Theorem 12. Let G be a simple connected weighted graph.

Then

𝜆1≤max

𝑖∼𝑗

{{ {{ {{ {{ {{ {{ {{ {

𝜌1(𝑤𝑖) + 𝜌1(𝑤𝑗) + √(𝜌1(𝑤𝑖) − 𝜌1(𝑤𝑗))2+ 4 ( ∑

𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) ( ∑

𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘)) 2

}} }} }} }} }} }} }} }

, (14)

where𝑤𝑖𝑗is the positive definite weight matrix of order p of the edge𝑖𝑗. Moreover equality holds in(14)if and only if

(i)𝐺 is a weighted-regular graph or 𝐺 is a weight- semiregular bipartite graph;

(ii)𝑤𝑖𝑗 have a common eigenvector corresponding to the largest eigenvalue𝜌1(𝑤𝑖𝑗)for all𝑖,𝑗.

Proof. Let 𝑋 = (𝑥1, 𝑥2, . . . , 𝑥𝑛)𝑇 be an eigenvector corre- sponding to the largest eigenvalue𝜆1of𝐿(𝐺). We assume that 𝑥𝑖is the vector component of𝑋such that

𝑥𝑇𝑖𝑥𝑖=max

𝑘∈𝑉 {𝑥𝑇𝑘𝑥𝑘} . (15)

Since𝑋is nonzero, so is𝑥𝑖. Let 𝑥𝑇𝑗𝑥𝑗 =max

𝑘:𝑘∼𝑖{𝑥𝑇𝑘𝑥𝑘} (16)

be. The(𝑖, 𝑗)th element of𝐿(𝐺)is {{

{{ {

𝑤𝑖; if 𝑖 = 𝑗

−𝑤𝑖,𝑗; if 𝑖 ∼ 𝑗 0; otherwise.

(17)

We have

𝐿 (𝐺) 𝑋 = 𝜆1𝑋. (18)

From the𝑖th equation of (18), we have (𝜆1𝐼𝑝,𝑝− 𝑤𝑖) 𝑥𝑖= − ∑

𝑘:𝑘∼𝑖

𝑤𝑖𝑘𝑥𝑘, (19)

that is,

𝑥𝑇𝑖 (𝜆1𝐼𝑝,𝑝− 𝑤𝑖) 𝑥𝑖= − ∑

𝑘:𝑘∼𝑖

𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘 (20)

≤ ∑

𝑘:𝑘∼𝑖󵄨󵄨󵄨󵄨󵄨𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘󵄨󵄨󵄨󵄨󵄨 (21)

≤ ∑

𝑘:𝑘∼𝑖

𝜌1(𝑤𝑖𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑘𝑥𝑘 by(4) (22)

≤ ∑

𝑘:𝑘∼𝑖

𝜌1(𝑤𝑖𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑗𝑥𝑗 by(16) . (23) From (23) we have

(𝜆1− 𝜌1(𝑤𝑖)) 𝑥𝑇𝑖𝑥𝑖≤ 𝑥𝑇𝑖 (𝜆1𝐼𝑝,𝑝− 𝑤𝑖) 𝑥𝑖 by (2)

≤ ∑

𝑘:𝑘∼𝑖

𝜌1(𝑤𝑖𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑗𝑥𝑗, (24)

(4)

that is,

(𝜆1− 𝜌1(𝑤𝑖)) 𝑥𝑇𝑖𝑥𝑖≤ ∑

𝑘:𝑘∼𝑖

𝜌1(𝑤𝑖𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑗𝑥𝑗. (25) From the𝑗th equation of (18), we get

(𝜆1𝐼𝑝,𝑝− 𝑤𝑗) 𝑥𝑗= − ∑

𝑘:𝑘∼𝑗

𝑤𝑗𝑘𝑥𝑘, (26)

that is,

𝑥𝑇𝑗 (𝜆1𝐼𝑝,𝑝− 𝑤𝑖) 𝑥𝑗 = − ∑

𝑘:𝑘∼𝑗

𝑥𝑇𝑗𝑤𝑗𝑘𝑥𝑘 (27)

≤ ∑

𝑘:𝑘∼𝑗󵄨󵄨󵄨󵄨󵄨𝑥𝑇𝑗𝑤𝑗𝑘𝑥𝑘󵄨󵄨󵄨󵄨󵄨 (28)

≤ ∑

𝑘:𝑘∼𝑗

𝜌1(𝑤𝑗𝑘) √𝑥𝑇𝑗𝑥𝑗√𝑥𝑇𝑘𝑥𝑘 by(4) (29)

≤ ∑

𝑘:𝑘∼𝑗

𝜌1(𝑤𝑗𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑗𝑥𝑗 by (15) . (30) Similarly, from (30) we get

(𝜆1− 𝜌1(𝑤𝑗)) 𝑥𝑇𝑗𝑥𝑗 ≤ 𝑥𝑇𝑗 (𝜆1𝐼𝑝,𝑝− 𝑤𝑗) 𝑥𝑗 by(2)

≤ ∑

𝑘:𝑘∼𝑗

𝜌1(𝑤𝑗𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑗𝑥𝑗, (31)

that is,

(𝜆1− 𝜌1(𝑤𝑗)) 𝑥𝑇𝑗𝑥𝑗 ≤ ∑

𝑘:𝑘∼𝑗

𝜌1(𝑤𝑗𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑘𝑥𝑘. (32)

So, from (25) and (32) we have

(𝜆1− 𝜌1(𝑤𝑗)) (𝜆1− 𝜌1(𝑤𝑖)) 𝑥𝑇𝑗𝑥𝑗𝑥𝑇𝑖𝑥𝑖

≤ ( ∑

𝑘:𝑘∼𝑖

𝜌1(𝑤𝑖𝑘)) ⋅ ( ∑

𝑘:𝑘∼𝑗

𝜌1(𝑤𝑗𝑘)) 𝑥𝑇𝑗𝑥𝑗𝑥𝑇𝑖𝑥𝑖. (33)

Hence we get

(𝜆1− 𝜌1(𝑤𝑗)) (𝜆1− 𝜌1(𝑤𝑖))

≤ ( ∑

𝑘:𝑘∼𝑖

𝜌1(𝑤𝑖𝑘)) ⋅ ( ∑

𝑘:𝑘∼𝑗

𝜌1(𝑤𝑗𝑘)) , (34)

that is,

𝜆21− 𝜆1(𝜌1(𝑤𝑗) + 𝜌1(𝑤𝑖)) + 𝜌1(𝑤𝑖) 𝜌1(𝑤𝑗)

− ( ∑

𝑘:𝑘∼𝑖

𝜌1(𝑤𝑖𝑘)) ⋅ ( ∑

𝑘:𝑘∼𝑗

𝜌1(𝑤𝑗𝑘)) ≤ 0, (35)

that is,

𝜆1 ≤ 𝜌1(𝑤𝑖) + 𝜌1(𝑤𝑗) 2

+

√(𝜌1(𝑤𝑖) − 𝜌1(𝑤𝑗))2+ 4 ( ∑

𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) ( ∑

𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘)) 2

max

𝑖∼𝑗

{{ {{ {{ {{ {{ {{ {{ {

𝜌1(𝑤𝑖)+𝜌1(𝑤𝑗) 2

+

√(𝜌1(𝑤𝑖)−𝜌1(𝑤𝑗))2+4 ( ∑

𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) ( ∑

𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘)) 2

}} }} }} }} }} }} }} } .

(36) This completes the proof of (14).

Now suppose that equality holds in (14). Then all inequal- ities in the previous argument must be equalities.

From equality in (23), we get

𝑥𝑇𝑖𝑥𝑖= 𝑥𝑇𝑘𝑥𝑘 for all𝑘, 𝑘 ∼ 𝑖. (37) Since𝑥𝑖 ̸= 0, we get that𝑥𝑘 ̸= 0for all𝑘,𝑘 ∼ 𝑖. From equa- lity in (22) andLemma 2, we get that𝑥𝑖is an eigenvector of𝑤𝑖𝑘 for the largest eigenvalue𝜌1(𝑤𝑖𝑘). Hence we say that𝑥𝑘 = 𝑎𝑥𝑖 for some𝑎, for any𝑘,𝑘 ∼ 𝑖.

On the other hand, from (37) we get

𝑎2𝑥𝑇𝑖𝑥𝑖= 𝑥𝑇𝑖𝑥𝑖, (38) that is,

𝑎2= 1 as𝑥𝑇𝑖𝑥𝑖> 0. (39) From equality in (21), we have

− ∑

𝑘:𝑘∼𝑖

𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘= ∑

𝑘:𝑘∼𝑖󵄨󵄨󵄨󵄨󵄨𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘󵄨󵄨󵄨󵄨󵄨 . (40) Since𝑥𝑘= 𝑎𝑥𝑖, from (40) we get

− ∑ 𝑎

𝑘:𝑘∼𝑖

𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑖= ∑

𝑘:𝑘∼𝑖

|𝑎|󵄨󵄨󵄨󵄨󵄨𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘󵄨󵄨󵄨󵄨󵄨

= ∑

𝑘:𝑘∼𝑖

|𝑎| 𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘 as𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘> 0. (41) Hence we get

𝑎 = −1 (42)

from equalities in (41). Therefore we have

𝑥𝑘 = −𝑥𝑖 for all𝑘, 𝑘 ∼ 𝑖. (43)

(5)

Similarly from equality in (29), we get that 𝑥𝑗 is an eigenvector of𝑤𝑗𝑘for the largest eigenvalue𝜌1(𝑤𝑗𝑘). Hence we say that𝑥𝑘 = 𝑏𝑥𝑗 for some𝑏, for any𝑘,𝑘 ∼ 𝑗. From equality in (16) we have

𝑥𝑇𝑗𝑥𝑗 = 𝑥𝑇𝑘𝑥𝑘 for𝑘 ∼ 𝑖, (44) that is,

𝑏2𝑥𝑇𝑗𝑥𝑗 = 𝑥𝑇𝑗𝑥𝑗, (45) that is,

𝑏2= 1 as𝑥𝑇𝑗𝑥𝑗 > 0. (46) Applying the same methods as previously, we get

𝑏 = −1. (47)

Therefore we have

𝑥𝑘 = −𝑥𝑗 for all𝑘, 𝑘 ∼ 𝑗. (48) For𝑖 ∼ 𝑗

𝑥𝑖= −𝑥𝑗. (49) Hence we take that𝑈 = {𝑘 : 𝑥𝑘 = 𝑥𝑖}and𝑊 = {𝑘 : 𝑥𝑘=

−𝑥𝑖}from (43), (48), and (49). So,𝑁𝑗 ⊂ 𝑈and𝑁𝑖⊂ 𝑊. Also, 𝑈 ̸= 𝑊 ̸= 0since𝑥𝑖 ̸= 0. Further, for any vertex𝑠 ∈ 𝑁𝑁𝑖there exists a vertex𝑟 ∈ 𝑁𝑖such that𝑟 ∼ 𝑗ℓ𝑟 ∼ 𝑠, where𝑁𝑁𝑖 is the neighbor of neighbor set of vertex𝑖. Therefore𝑥𝑟 = −𝑥𝑖 and𝑥𝑠= 𝑥𝑖. So𝑁𝑁𝑖 ⊂ 𝑈. By similar argument we can present that𝑁𝑁𝑗 ⊂ 𝑊. Continuing the procedure, it is easy to see, since𝐺is connected, that𝑉 = 𝑈 ∪ 𝑊and that the subgraphs induced by𝑈and𝑊, respectively, are empty graphs. Hence 𝐺is bipartite. Moreover,𝑥𝑖is a common eigenvector of𝑤𝑖𝑘 and𝑤𝑖for the largest eigenvalue𝜌1(𝑤𝑖𝑘)and𝜌1(𝑤𝑖).

For𝑖, 𝑘 ∈ 𝑈

𝜆1𝑥𝑖= 𝑤𝑖𝑥𝑖+ ∑

𝑘:𝑘∼𝑖

𝑤𝑖𝑘𝑥𝑖= 𝑤𝑘𝑥𝑖+ ∑

𝑘:𝑘∼𝑖

𝑤𝑖𝑘𝑥𝑖, (50) that is,

𝑤𝑖𝑥𝑖= 𝑤𝑘𝑥𝑖. (51) Since 𝑥𝑖 is an eigenvector of 𝑤𝑖 corresponding to the largest eigenvalue of𝜌1(𝑤𝑖)for all𝑖, we get

𝜌1(𝑤𝑖) 𝑥𝑖= 𝜌1(𝑤𝑘) 𝑥𝑖, (52) that is,

(𝜌1(𝑤𝑖) − 𝜌1(𝑤𝑘)) 𝑥𝑖= 0, (53) that is,

𝜌1(𝑤𝑖) = 𝜌1(𝑤𝑘) as𝑥𝑖 ̸= 0. (54) Therefore we get that 𝜌1(𝑤𝑖) is constant for all𝑖 ∈ 𝑈.

Similarly we can show that𝜌1(𝑤𝑗)is constant for all𝑗 ∈ 𝑊.

Hence𝐺is a bipartite semiregular graph.

Conversely, suppose that conditions (i)-(ii) of the the- orem hold for the graph 𝐺. Let 𝐺 be (𝜌1(𝑤𝑖), 𝜌1(𝑤𝑗))- semiregular bipartite graph. Let𝑥be a common eigenvector of𝑤𝑖𝑘corresponding to the largest eigenvalue𝜌1(𝑤𝑖𝑘)for all 𝑖, 𝑘. Then we have

𝜌1(𝑤𝑖) = ∑

𝑘:𝑘∼𝑖

𝜌1(𝑤𝑖𝑘) ,

𝜌1(𝑤𝑗) = ∑

𝑘:𝑘∼𝑗

𝜌1(𝑤𝑗𝑘) . (55)

ByLemma 3, we get

𝜆1= 𝜌1(𝑤𝑖) + 𝜌1(𝑤𝑗) , (56) that is,

𝜆1 =𝜌1(𝑤𝑖) + 𝜌1(𝑤𝑗) 2

+

√(𝜌1(𝑤𝑖) − 𝜌1(𝑤𝑗))2+ 4 ( ∑

𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) ( ∑

𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘))

2 .

(57) Corollary 13 (see [1]). Let𝐺be a simple connected weighted graph where each edge weight𝑤𝑖,𝑗is a positive number. Then

𝜆1≤max

𝑖∼𝑗 {𝑤𝑖+ 𝑤𝑗} . (58)

Moreover equality holds in(58) if and only if𝐺 is bipartite semiregular graph.

Proof. We have𝜌1(𝑤𝑖) = 𝑤𝑖and𝜌1(𝑤𝑖𝑗) = 𝑤𝑖𝑗for all𝑖,𝑗. From Theorem 12, we get the required result.

Corollary 14 (see [5]). Let𝐺be a simple connected unweight- ed graph. Then

𝜆1≤max

𝑖∼𝑗 {𝑑𝑖+ 𝑑𝑗} , (59)

where𝑑𝑖 is the degree of vertex𝑖. Moreover equality holds in (59) if and only if 𝐺 is a bipartite regular graph or 𝐺 is a bipartite semiregular graph.

Proof. For unweighted graph,𝑤𝑖,𝑗 = 1for𝑖 ∼ 𝑗. Therefore 𝑤𝑖= 𝑑𝑖. UsingCorollary 6, we get the required results.

Theorem 15. Let G be a simple connected weighted graph.

Then 𝜆1

≤max

𝑖∼𝑗 {√(𝜌1(𝑤𝑖) + ∑

𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) (𝜌1(𝑤𝑗) + ∑

𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘))} , (60)

(6)

where𝑤𝑖𝑗is the positive definite weight matrix of order p of the edge𝑖𝑗. Moreover equality holds in(60)if and only if

(i)𝐺is a weighted-regular bipartite graph;

(ii)𝑤𝑖𝑗 have a common eigenvector corresponding to the largest eigenvalue𝜌1(𝑤𝑖𝑗)for all𝑖,𝑗.

Proof. Let 𝑋 = (𝑥1, 𝑥2, . . . , 𝑥𝑛)𝑇 be an eigenvector corre- sponding to the largest eigenvalue𝜆1of𝐿(𝐺). We assume that 𝑥𝑖is the vector component of𝑋such that

𝑥𝑇𝑖𝑥𝑖=max

𝑘∈𝑉 {𝑥𝑇𝑘𝑥𝑘} . (61)

Since𝑋is nonzero, so is𝑥𝑖. Let 𝑥𝑇𝑗𝑥𝑗 =max

𝑘:𝑘∼𝑗{𝑥𝑇𝑘𝑥𝑘} (62)

be. We have

𝐿 (𝐺) 𝑋 = 𝜆1𝑋. (63) From the𝑖th equation of (43), we have

𝜆1𝑥𝑖= 𝑤𝑖𝑥𝑖− ∑

𝑘:𝑘∼𝑖

𝑤𝑖𝑘𝑥𝑘, (64)

that is,

𝜆1𝑥𝑇𝑖𝑥𝑖= 󵄨󵄨󵄨󵄨󵄨󵄨󵄨󵄨󵄨󵄨𝑥𝑇𝑖𝑤𝑖𝑥𝑖− ∑

𝑘:𝑘∼𝑖

𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘󵄨󵄨󵄨󵄨󵄨󵄨󵄨󵄨󵄨󵄨

≤ 󵄨󵄨󵄨󵄨󵄨𝑥𝑇𝑖𝑤𝑖𝑥𝑖󵄨󵄨󵄨󵄨󵄨 + ∑

𝑘:𝑘∼𝑖󵄨󵄨󵄨󵄨󵄨𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘󵄨󵄨󵄨󵄨󵄨

≤ 𝜌1(𝑤𝑖) 𝑥𝑇𝑖𝑥𝑖+ ∑

𝑘:𝑘∼𝑖

𝜌1(𝑤𝑖𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑘𝑥𝑘 by(2)

≤ 𝜌1(𝑤𝑖) 𝑥𝑇𝑖𝑥𝑖+ ∑

𝑘:𝑘∼𝑖

𝜌1(𝑤𝑖𝑘) 𝑥𝑇𝑖𝑥𝑖 by (40) . (65) Hence we get

𝜆1≤ 𝜌1(𝑤𝑖) + ∑

𝑘:𝑘∼𝑖

𝜌1(𝑤𝑖𝑘) . (66) By the same method, from the𝑗th equation of (43), we have

𝜆1𝑥𝑗= 𝑤𝑗𝑥𝑗− ∑

𝑘:𝑘∼𝑗

𝑤𝑗𝑘𝑥𝑘, (67)

that is, 𝜆1𝑥𝑇𝑗𝑥𝑗 = 󵄨󵄨󵄨󵄨

󵄨󵄨󵄨󵄨󵄨󵄨󵄨𝑥𝑇𝑗𝑤𝑗𝑥𝑗− ∑

𝑘:𝑘∼𝑗

𝑥𝑇𝑗𝑤𝑗𝑘𝑥𝑘󵄨󵄨󵄨󵄨

󵄨󵄨󵄨󵄨󵄨󵄨󵄨

≤ 󵄨󵄨󵄨󵄨󵄨𝑥𝑇𝑗𝑤𝑗𝑥𝑗󵄨󵄨󵄨󵄨󵄨 + ∑

𝑘:𝑘∼𝑗󵄨󵄨󵄨󵄨󵄨𝑥𝑇𝑗𝑤𝑗𝑘𝑥𝑘󵄨󵄨󵄨󵄨󵄨

≤ 𝜌1(𝑤𝑗) 𝑥𝑇𝑗𝑥𝑗+ ∑

𝑘:𝑘∼𝑗

𝜌1(𝑤𝑗𝑘) √𝑥𝑇𝑗𝑥𝑗√𝑥𝑇𝑘𝑥𝑘 by(2)

≤ 𝜌1(𝑤𝑗) 𝑥𝑇𝑗𝑥𝑗+ ∑

𝑘:𝑘∼𝑗

𝜌1(𝑤𝑗𝑘) 𝑥𝑇𝑗𝑥𝑗 by(41) . (68) Hence we get

𝜆1≤ 𝜌1(𝑤𝑗) + ∑

𝑘:𝑘∼𝑗

𝜌1(𝑤𝑗𝑘) . (69)

From (49) and (58), we have

𝜆21≤ (𝜌1(𝑤𝑖) + ∑

𝑘:𝑘∼𝑖

𝜌1(𝑤𝑖𝑘)) (𝜌1(𝑤𝑗) + ∑

𝑘:𝑘∼𝑗

𝜌1(𝑤𝑗𝑘)) , (70) that is,

𝜆1

≤max

𝑖∼𝑗 {√(𝜌1(𝑤𝑖) + ∑

𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) (𝜌1(𝑤𝑗) + ∑

𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘))} . (71) This completes the proof of (60).

Now we show the case of equality in (60). By similar method inTheorem 12. In the part of equalit, the necessary condition can show easily. So we will show the sufficient condition.

Suppose that conditions (i)-(ii) of Theorem hold for the graph𝐺. We must prove that

𝜆1

=max

𝑖∼𝑗 {√(𝜌1(𝑤𝑖) + ∑

𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) (𝜌1(𝑤𝑗) + ∑

𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘))} . (72) Let 𝐺 be regular bipartite graph. Therefore we have 𝜌1(𝑤𝑖) = 𝛼 for𝑖 ∈ 𝑈and 𝜌1(𝑤𝑗) = 𝛼 for 𝑗 ∈ 𝑊 such that 𝑉 = 𝑈 ∪ 𝑊. Let 𝑥 be a common eigenvector of𝑤𝑖𝑘 corresponding to the largest eigenvalue 𝜌1(𝑤𝑖𝑘) for all 𝑖, 𝑘.

Hence we have

𝜌1(𝑤𝑖) = ∑

𝑘:𝑘∼𝑖

𝜌1(𝑤𝑖𝑘) . (73)

From (71) we get that

𝜆1≤ 2𝛼. (74)

(7)

On the other hand, the following equation can be easily verified:

(2𝛼) (( (( (( (

( 𝑥𝑥

...

−𝑥𝑥

−𝑥 ...

−𝑥 )) )) )) )

)

=((((

(

𝑤1 ⋅ 0 −𝑤1,𝑘+1 ⋅ −𝑤1,𝑛

0 ⋅ 0 −𝑤2,𝑘+1 ⋅ −𝑤2,𝑛

. . . ⋅ . . . ⋅ . . .

0 ⋅ 𝑤𝑘 −𝑤𝑘,𝑘+1 ⋅ −𝑤𝑘,𝑛

−𝑤𝑘+1,1 ⋅ −𝑤𝑘+1,𝑘 𝑤𝑘+1 ⋅ 0

−𝑤𝑘+1,2 ⋅ −𝑤𝑘+2,𝑘 0 ⋅ 0

. . . ⋅ . . . ⋅ . . .

−𝑤𝑛,1 ⋅ −𝑤𝑛,𝑘 0 ⋅ 𝑤𝑛 )) ))

)

× (( (( (( (

( 𝑥𝑥

...

−𝑥𝑥

−𝑥 ...

−𝑥 )) )) )) )

) .

(75) Thus2𝛼is an eigenvalue of𝐿(𝐺). Since𝜆1is the largest eigenvalue of𝐿(𝐺), we get

2𝛼 ≤ 𝜆1. (76)

So from (74) and (76) we obtain 𝜆1

=max

𝑖∼𝑗

{{ {

√(𝜌1(𝑤𝑖) + ∑

𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) (𝜌1(𝑤𝑗) + ∑

𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘))} }} . (77) Corollary 16. Let 𝐺 be a simple connected weighted graph where each edge weight𝑤𝑖,𝑗is a positive number. Then

𝜆1≤max

𝑖∼𝑗 {2√𝑤𝑖𝑤𝑗} . (78)

Moreover equality holds in(78) if and only if𝐺 is bipartite semiregular graph.

Proof. We have𝜌1(𝑤𝑖) = 𝑤𝑖and𝜌1(𝑤𝑖𝑗) = 𝑤𝑖𝑗for all𝑖,𝑗. From Theorem 15we get the required result.

Corollary 17. Let𝐺be a simple connected unweighted graph.

Then

𝜆1≤max

𝑖∼𝑗 {2√𝑑𝑖𝑑𝑗} , (79)

where𝑑𝑖 is the degree of vertex𝑖. Moreover equality holds in (79) if and only if 𝐺 is a bipartite regular graph or 𝐺 is a bipartite semiregular graph.

Proof. For unweighted graph,𝑤𝑖,𝑗 = 1for𝑖 ∼ 𝑗. Therefore 𝑤𝑖= 𝑑𝑖. UsingCorollary 16, we get the required results.

Example 18. Let 𝐺1 = (𝑉1, 𝐸1) and 𝐺2 = (𝑉2, 𝐸2) be a weighted graph where𝑉1 = {1, 2, 3, 4},𝐸1 = {{1, 3}, {2, 4}, {3, 4}}and each weight is the positive definite matrix of order three. Let𝑉2 = {1, 2, 3, 4, 5, 6, 7},𝐸2 = {{1,4},{2,4},{3,4},

{4,5},{5,6},{5,7}}such that each weight is the positive definite matrix of order two.

Assume that the following Laplacian matrices of𝐺1and𝐺2 are as follows:

𝐿 (𝐺1) = [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [ [

1 0 0 0 0 0 −1 0 0 0 0 0 0 5 3 0 0 0 0 −5 −3 0 0 0 0 3 3 0 0 0 0 −3 −3 0 0 0 0 0 0 2 −1 0 0 0 0 −2 1 0 0 0 0 −1 2 −1 0 0 0 1 −2 1 0 0 0 0 −1 2 0 0 0 0 1 −2

−1 0 0 0 0 0 7 2 −2 6 2 −2 0 −5 −3 0 0 0 2 11 1 2 6 −2 0 −3 −3 0 0 0 −2 1 13 −2 −2 10 0 0 0 2 −1 0 6 2 −2 8 1 −2 0 0 0 −1 2 −1 2 6 −2 −3 8 −3 0 0 0 0 −1 2 −2 −2 10 −2 −2 12

]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ] ] ,

(8)

𝐿 (𝐺2) = [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [

1 1 0 0 0 0 −1 −1 0 0 0 0 0 0 1 2 0 0 0 0 −1 −2 0 0 0 0 0 0 0 0 1 1 0 0 −1 −1 0 0 0 0 0 0 0 0 1 3 0 0 −1 −3 0 0 0 0 0 0 0 0 0 0 1 1 −1 −1 0 0 0 0 0 0 0 0 0 0 1 4 −1 −4 0 0 0 0 0 0

−1 −1 −1 −1 −1 −1 4 4 −1 −1 0 0 0 0

−1 −2 −1 −3 −1 −4 4 14 −1 −5 0 0 0 0 0 0 0 0 0 0 −1 −1 3 3 −1 −1 −1 −1 0 0 0 0 0 0 −1 −5 3 18 −1 −6 −1 7 0 0 0 0 0 0 0 0 −1 −1 1 1 0 0 0 0 0 0 0 0 0 0 −1 −6 1 6 0 0 0 0 0 0 0 0 0 0 −1 −1 0 0 1 1 0 0 0 0 0 0 0 0 −1 −7 0 0 1 7

]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ] .

(80) The largest eigenvalues of𝐿(𝐺1)and𝐿(𝐺2)are𝜆1 = 25, 66,

𝜆2 = 26.16rounded two decimal places and the previously mentioned bounds give the following results:

(6) (7) (10) (12) (14) (60) 𝐺1 32.90 32.88 27.90 29.55 30.88 30.93

𝐺2 34.12 29.86 27.11 27.22 34.05 33.90. (81) For𝐺1, we see that the upper bounds in (14) and (60) are better than upper bounds in (6) and (7). But they are not better than upper bounds in (10) and (12) from (81).

For also𝐺2, we see that upper bounds in (14) and (60) are only better than the upper bound in (6).

Consequently, we cannot exactly compare all the bounds for weighted graphs, where the weights are positive definite matrices. Modifications according to each weight of edges, especially for matrices can be shown.

References

[1] K. Ch. Das and R. B. Bapat, “A sharp upper bound on the largest Laplacian eigenvalue of weighted graphs,”Linear Algebra and Its Applications, vol. 409, pp. 153–165, 2005.

[2] K. Ch. Das, “Extremal graph characterization from the upper bound of the Laplacian spectral radius of weighted graphs,”

Linear Algebra and Its Applications, vol. 427, no. 1, pp. 55–69, 2007.

[3] S. Sorgun and S¸. B¨uy¨ukk¨ose, “On the bounds for the largest Lap- lacian eigenvalues of weighted graphs,”Discrete Optimization, vol. 9, no. 2, pp. 122–129, 2012.

[4] R. A. Horn and C. R. Johnson, Matrix Analysis, Cambridge University Press, Cambridge, UK, 1985.

[5] W. N. Anderson Jr. and T. D. Morley, “Eigenvalues of the Lapla- cian of a graph,”Linear and Multilinear Algebra, vol. 18, no. 2, pp. 141–145, 1985.

(9)

Submit your manuscripts at http://www.hindawi.com

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Mathematics

Journal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Differential Equations

International Journal of

Volume 2014

Applied MathematicsJournal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Mathematical PhysicsAdvances in

Complex Analysis

Journal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Optimization

Journal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Combinatorics

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

International Journal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Journal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Function Spaces

Abstract and Applied Analysis

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

International Journal of Mathematics and Mathematical Sciences

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

The Scientific World Journal

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Discrete Dynamics in Nature and Society

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Discrete Mathematics

Journal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Stochastic Analysis

International Journal of

参照

関連したドキュメント

The problem of determining the graphs whose second largest eigenvalue does not exceed 1 was posed in [3]. Basic properties of these graphs are presented in the same paper. In

In this paper, we give sharp lower and upper bounds on the Zagreb indices of quasi-tree graphs on n vertices, and corresponding extremal graphs are characterized..

In the spirit of these generalized Paley graphs and the aforementioned circulant graphs, we shall construct Dirichlet character difference graphs, which will arise from characters on

The eigenvalues of the Laplacian matrix are important in graph theory, because they have relations to numerous graph invariants including connectivity, expand- ing

This paper gives two distinct generalizations of the extended Hilbert’s integral in- equality with the same best constant factor involving the β function.. As applications, we

The zero-sum constant ZS(G) of G is defined to be the smallest integer t such that every sequence of length t of G contains a zero-sum subsequence of length n, while the

Moreover, this result also gives a partly proof of a conjecture by Hamilton that a compact gradient shrinking Ricci soliton with positive curvature operator must be

In this section, we prove the main result of this paper, which is an analogue of the Carathéodory kernel convergence theorem [2], on the convergence of conformal functions of