Professional Documents
Culture Documents
L (v u ) = 0 for v V
uNG (v)
G ,
matters happened in the world. The main purpose of this paper is to extend Banach spaces on topological graphs with operator actions and show
all of these extensions are also Banach space with unique correspondence in
elements on linear continuous functionals, which enables one to solve linear
functional equations in such extended space, particularly, solve algebraic, differential or integral equations on a topological graph, i.e., find multi-space
solutions for equations, for instance, the Einsteins gravitational equations. A
generalization of some well-known results in classical mathematics, such as
those of the fundamental theorem in algebra, Hilbert and Schmidts result on
integral equations and the discussion on stability of such G -flow solutions with
applications to controlling of ecologically industrial systems can be also found
in this paper. All of these results in this paper establish the mathematical
foundation for multi-spaces, i.e., mathematical combinatorics.
1. Introduction
L(uv )
v
u u
vu v
Fig.1
L
L(uv ) V for uv X 1 G , such as those shown in Fig.1. For all labelings G
2
on G , define
L1
L2
L1 +L2
L
L
G +G =G
and G = G .
L (v u ) = 0
uNG (v)
-L(vu ) u4
-L(vu ) u5
u1
u1 L(v )
u2
u2 L(v )
-F (vu ) u6
u3
u3 L(v )
Fig.2
L
Clearly, if V = Z and O = {1}, then the G -flow G is nothing else but the network
flow X( G ) Z on G .
L
L1
L2
L1
L2
It is clear that G + G and G are also G -flows, which implies that all
0
conservation G -flows on G also form a linear space over F with unit G under
differential operators in [6], which has shown its important role both in mathematics
and applied sciences. It should be noted that a conservation law naturally deter
mines an autonomous systems in the world. We can also find G -flows by solving
conservation equations
X
L (v u ) = 0,
uNG (v)
vV
G .
e R
e is a
GL ;
G -flow if i j = v V for integers 1 i, j m.
The main purpose of this paper is to establish the theoretical foundation, i.e.,
tions for equations, such as those of algebraic equations, the Einstein gravitational
equations and integral equations with applications to controlling of ecologically industrial systems. All of these discussions provide new viewpoint for mathematical
elements, i.e., mathematical combinatorics.
For terminologies and notations not mentioned in this section, we follow references [1] for functional analysis, [3] and [7] for topological graphs, [4] for linear
spaces, [8]-[9], [21]-[22] for Smarandache multi-systems, [3], [20] and [23] for differential equations.
2. G -Flow Spaces
2.1 Existence
Definition 2.1 Let V be a Banach space. A family V of vectors v V is conservative if
v = 0,
vV
v=
xvi i .
i=1
Consequently,
X dimV
X
xvi i =
vV i=1
implies that
dimV
X
i=1
vV
xvi
i = 0
xvi = 0
vV
xvi = 0, 1 i dimV ,
vV
define
v =
dimV
X
i=1
xvi i
vV
v2 = (1, 1, 1),
v3 = (1, 1, 1),
v4 = (1, 1, 1)
for v V
(L(u)) = L(v u ) or .
L(v u ) = 0
uNG (v)
G implies
L(v u ) =
L(v w ).
wNG (v)\{u}
T
for v V such that L(v u ) = L(uv ) and L(v) (L(u)) = L(v u ) or , define a
topological graph G by
[
V G = V and X G =
{(v, u)|L(v u ) L(v)}
vV
families associated with an index set V = V G such that L(v, u) = L(u, v) and
for v V
L(v)
by definition.
L(v u ) if (v, u) X
G
(L(u)) =
if (v, u) 6 X G
Theorems 2.2 and 2.3 enables one to get the following result.
weights v for v V , particularly, e i on e X G if X G V G +1.
1 i dimV , such a G -flow exists if and only if the system of linear equations
X
(v,u) = 0, v V G
uV G
is solvable. However, if X G V G + 1, such a system is indeed solvable
L
G
=
(u,v)X
kL(uv )k
L
V
for G G , where kL(uv )k is the norm of F (uv ) in V . Then
L
L
L
0
(1)
G
0 and
G
= 0 if and only if G = G = O.
L
L
(2)
G
=
G
for any scalar .
L
L
L
1
L2
1
2
(3)
G + G
G
+
G
because of
L
1
L2
G + G
=
X
(u,v)X
(u,v)X
v
G
kL1 (u )k +
(u,v)X
L
L
2
1
kL2 (u )k =
G
+
G
.
v
G
V
Whence, k k is a norm on linear space G .
Furthermore, if V is an inner space with inner product h, i, define
D L
E
X
1
L2
G ,G
=
hL1 (uv ), L2 (uv )i .
(u,v)X G
Then we know that
D L LE
(4) G , G
=
D L LE
v
v
hL(u
),
L(u
)i
0
and
G ,G
= 0 if and only
(u,v)X G
L
if L(uv ) = 0 for (u, v) X( G ), i.e., G = O.
D L1
E D L2
E
L2
L1
L1
L2
V
(5) G , G
= G ,G
for G , G G because of
D
L1
L2
G ,G
(u,v)X
(u,v)X
G
(u,v)X
L2
L1
= G ,G
L
L1
L2
V
(6) For G , G , G G , there is
D
E
L1
L2
L
G
+ G , G
E
D L1
E
D L2
L
= G ,G + G ,G
7
because of
D
L1
G
+
=
=
=
=
E D L1
E
L2
L
L2
L
G , G
= G
+G ,G
X
hL1 (uv ) + L2 (uv ), L(uv )i
(u,v)X( G )
X
X
hL1 (uv ), L(uv )i +
hL2 (uv ), L(uv )i
(u,v)X( G )
(u,v)X( G )
E D L
E
D L
1
L
2
L
G ,G + G ,G
E
D L1
E
D L2
L
G ,G + G ,G .
V
Thus, G is an inner space also and as the usual, let
L
rD L L E
G ,G
G
=
V
for G G . Then it is a normed space. Furthermore, we know the following
result.
V
Theorem 2.5 For any topological graph G , G is a Banach space, and furthermore,
V
if V is a Hilbert space, G is a Hilbert space also.
V
Proof As shown in the previous, G is a linear normed space or inner space if
V is an inner space. We show nthat ito is also complete, i.e., any Cauchy sequence in
Ln
V
G is converges. In fact, let G
be a Cauchy sequence in G . Thus for any
number > 0, there always exists an integer N() such that
L
n
Lm
G
G
<
if n, m N(). By definition,
L
n
Lm
kLn (uv ) Lm (uv )k
G G
<
in V by definition.
Ln
L
lim G = G .
L
V
However, we are needed to show G G . By definition,
X
Ln (uv ) = 0
vNG (u)
for u V
lim
vNG (u)
Ln (uv ) =
vNG (u)
lim Ln (uv )
L(uv ) = 0.
vNG (u)
L
V
Thus, G G .
L1
L2
Similarly,
two conservation G -flows G and G are said to be orthogonal if
E
L1
L2
G ,G
= 0. The following result characterizes those of orthogonal pairs of
conservation G -flows.
D
L1
L2
V
L1
L2
Theorem 2.6 let G , G G . Then
G is orthogonal to G if and only if
L1
L2
G ,G
=
(u,v)X
G
L1
L2
i.e., G is orthogonal to G .
L1
L2
Conversely, if G is indeed orthogonal to G , then
D L1
E
X
L2
G ,G
=
hL1 (uv ), L2 (uv )i = 0
(u,v)X G
V
e V
e ,
G =V
9
where,
n L
o
1
V
e =
V
G G L1 : X G V
n L2
o
e
V = G G L2 : X G V ,
L
V
i.e., for G G , there is a uniquely decomposition
L2
L
L1
G =G +G
with L1 : X G V and L2 : X G V .
position
with uniquely
h L idetermined
h L iL1 (u ) V but L2 (u ) V .
Let G
and G
be two labeled graphs on G with L1 : X 1 G V
2
h L1 i h L2 i D
E
for u V G . Consequently,
X
vNG (u)
L1 (uv ) +
vNG (u)
L2 (uv ) = 0.
vNG (u)
Whence,
0 =
L1 (uv ) +
vNG (u)
vNG (u)
L1 (uv ),
vNG (u)
vNG (u)
L1 (uv ),
vNG (u)
vNG (u)
vNG (u)
L2 (uv ),
L1 (uv ),
vNG (u)
L1 (uv )
L2 (uv )
L1 (uv )
10
L1 (uv ) +
vNG (u)
L2 (uv )
vNG (u)
L2 (uv ),
vNG (u)
vNG (u)
L2 (uv ),
vNG (u)
vNG (u)
vNG (u)
L2 (uv ),
vNG (u)
L2 (uv )
L1 (uv )
L2 (uv )
vNG (u)
vNG (u)
L1 (uv ),
vNG (u)
L1 (uv )
vNG (u)
L2 (uv ),
vNG (u)
L2 (uv ) .
vNG (u)
Notice that
*
+
*
+
X
X
X
X
L1 (uv ),
L1 (uv ) 0,
L2 (uv ),
L2 (uv ) 0.
vNG (u)
vNG (u)
vNG (u)
vNG (u)
vNG (u)
i.e.,
vNG (u)
vNG (u)
L1 (uv ) = 0 and
L2 (uv ) = 0.
vNG (u)
vNG (u)
h Li h Li
V
Thus, G
, G
G . This completes the proof.
Fv
L (v u ) ; L (w v ) , w NG (v) = 0
+
Such a G -flow is linear if each L v u , u+ NG+ (v) \ {u+
0 } is determined by
+
L vu =
u NG
(v)
au L u
v
+
or
Lv
u+
v
; 1 i n L(v ); L u
, u NG (v) = 0
xi
11
+
u0
unless L v
for v V G , where, Lv
; 1 i n , Lv
;1 i n
dxi
xi
denote an ordinary or partial differential operators,
respectively.
Notice that a linear equation au+ L v u
+ L (u ) = 0 is solvable for L v u
(0, 1)
(0, 1)
(1, 0)
v1
? 6(1, 0)
v2
(1, 0)
-
(1, 0)
(0, 1)
v4
? 6(0, 1)
v3
Fig.3
L
Theorem 2.8 For a strong-connected graph G , there exist linear G -flows G , not
[ [
G=
Ci
Ti ,
i=1
i=1
u
For an integer 1 k m1 , let C k = uk1 uk2 uksk and L uki i+1 = vk , where
j j
j
i + 1 (mods). Similarly, for integers 1 j m2 , if T j = w
1 w2 wt , let
t
F wjt , wj+1
= 0. Clearly, the conservation law hold at v V G by definition,
k
u
and each flow L uki i+1 , i + 1 (mods) is linear determined by
L
u
uki i+1
X
k
k ui
= L ui1
+0
j6=i vN (uk )
i
C
= vk + 0 +
m2
X
j=1
m2
k X
ui
+
L v
j=1 vN (uk )
i
T
j
k
L v ui
0 = vk .
vNT (uki )
j
Thus, G is a linear solvable G -flow and not all flows being zero on G .
12
f(x, t)
v1
v2
f(x, t)
? 6x
v4
x
-
? 6f(x, t)
v3
f(x, t)
Fig.4
All G -flows constructed in Theorem 2.8 can be also replaced by vectors dependent on the time t, i.e., v(t).
f(x, t) = (f1 (x, t), f2 (x, t), , fn (x, t)). Thus, if there is a vertex v V G with
C and C be respectively x and f(x, t). Similar to the proof of Theorem 2.8, we
know the conservation laws hold for vertices in G , and there are indeed flows on
Theorem
2.9 Let G be a strong-connected graph. If there exists a vertex v
V G with (v) 2 and + (v) 2 then there exist ordinary differential G -flows
xi = xi (t, s1 , s2 , , sn1)
u = u(t, s1 , s2 , , sn1 )
p = p (t, s , s , , s ),
i
i
1 2
n1
13
i = 1, 2, , n
is a solution of system
dx1
dx2
dxn
du
=
= =
= P
n
Fp1
Fp2
Fpn
pi Fpi
i=1
dp1
dpn
=
= =
= dt
Fx1 + p1 Fu
Fxn + pn Fu
p = p (s , s , , s ),
i0
such that
i0
n1
i = 1, 2, , n
pi0
= 0, j = 1, 2, , n 1,
s
s
j
j
i=0
F (x1 , x2 , , xn , u, p1, p2 , , pn ) = 0
u
F
and Fpi =
for integers 1 i n.
xi
pi
For partial differential equations of second order, the Cauchy problems on heat
X 2u
u
= a2
,
2
t
x
i
i=1
X 2u
2u
2
=
a
t2
x2i
i=1
u
= (x)
t t=0
u|t=0 = (x) ,
1
u (x1 , x2 , x3 , t) =
t 4a2 t
M
Sat
14
dS +
1
4a2 t
M
Sat
dS
M
for wave equations in n = 3, where Sat
denotes the sphere centered at M (x1 , x2 , x3 )
with radius at. Similar to Theorem 2.9, we get a result on partial G -flows following.
Theorem
2.10 Let G be a strong-connected graph. If there exists a vertex v
V G with (v) 2 and + (v) 2 then there exist partial differential G -flows
V
operator T : G G is bounded if
L
L
T G
G
L
V
for G G with a constant [0, ) and furthermore, is a contractor if
L
L
L
1
L2
2
T G
G G )
T G
L1
L1
V
for G , G G with [0, 1).
V
Theorem 3.2 Let T : G G be a contractor. Then there is a uniquely
L
V
conservation G-flow G G such that
L
L
T G
=G .
L0
V
Proof Let G G be a G-flow. Define a sequence
L
L1
0
G =T G
,
L
L
L
0
G =T G
= T2 G
,
n Ln o
G
by
................................ ,
L0
Ln1
Ln
G =T G
= Tn G
,
................................ .
n Ln o
V
We prove G
is a Cauchy sequence in G . Notice that T is a contractor.
G
=
T G
T G
G
15
L
L
L
m
Lm1
m1
m2
G G
T G
=
T G
L
m1
Lm2
L1
L0
2
G
G
m
G G
.
1
L
n Ln o
m
Ln
Consequently,
G G
0 if m , n . So the sequence G
L
is a Cauchy sequence and converges to G . Similar to the proof of Theorem 2.5, we
L
V
know it is a G-flow, i.e., G G . Notice that
L
L
L
L
L
Lm
m
G G
+
G T G
G T G
L
L
Lm
m1
L
G G
+
G
G
.
L
L
Let m . For 0 < < 1, we therefore get that
G T G
= 0, i.e.,
L
L
T G
=G .
V
For the uniqueness,
if
there
is
an
another
conservation
G-flow
G
G
L
L
holding with T G
= G , by
L
L
L
L
G G
=
T G T G
G G
,
L
L
it can be only happened in the case of G = G for 0 < < 1.
V
Definition 3.3 An operator T : G G is linear if
L
L
L1
L2
2
T G + G
= T G
+ T G
L1
L2
L0
for G , G G and , F , and is continuous at a G -flow G if there
always exist a number () for > 0 such that
L
L
L0
L0
T G T G
< if
G G
< ().
16
The following result reveals the relation between conceptions of linear continuous with that of linear bounded.
V
Theorem 3.4 An operator T : G G is linear continuous if and only if it is
bounded.
Proof If T is bounded, then
L
L
L0
L
L0
L0
T
G
T
G
=
T
G
L
L0
V
for an constant [0, ) and G , G G . Whence, if
L
L0
6 0,
G G
< () with () = , =
L
L0
T G G
< ,
V
i.e., T is linear continuous on G . However, this is obvious for = 0.
n Ln o
V
in G such that
L
L
n
n
G
n
G
.
Let
1
Ln
L
n
G .
n
G
L
1
L
n
n
Then
G
= 0, i.e.,
T G
0 if n . However, by definition
n
Ln
L
G
n
T
T G
=
Ln
n
G
L
L
n
n
n
G
T G
L
L
= 1,
=
n
n
n
G
n
G
Ln
G =
V
and Riesz on linear continuous functionals, i.e., T : G C on G -flow space G ,
where C is the complex field.
17
V
Theorem 3.5 Let T : G C be a linear continuous functional. Then there is a
Lb
V
unique G G such that
L L Lb
T G
= G ,G
L
V
for G G .
V
Proof Define a closed subset of G by
L
n L
o
N (T) = G G T G
=0
L
L
V
Lb
G G , choose G = O. We then easily obtain the identity
L L Lb
T G
= G ,G
.
V
Whence, we assume that N (T) 6= G . In this case, there is an orthogonal decomposition
V
G = N (T) N (T)
L0
L0
Choose a G -flow G N (T) with G 6= O and define
L L0 L0 L
G = T G
G T G
G
L
V
for G G . Calculation shows that
L L L L L
T G
= T G
T G
T G
T G
= 0,
L
i.e., G N (T). We therefore get that
D L
E
L0
0 =
G ,G
D L L
L L L E
0
0
=
T G
G T G
G ,G
L D L
E
L D L L E
0
L0
0
0
= T G
G ,G
T G
G ,G
.
D L
E
L
2
0
L0
0
Notice that G , G
=
G
6= 0. We find that
L
L
*
+
0
D L L0 E
L
T
G
T
G
L0
G ,G
= G ,
.
T G
=
G
L0
2
L0
2
G
G
18
Let
L0
T
G
Lb
L0
L0
G =
G
=
G ,
L0
2
G
L
0
L L Lb
T G
= G ,G
.
where =
2 . We consequently get that T G
L
0
G
L
Lb
L
Lb
Now if there is another G G such that T G
= G ,G
for
L
V
L
Lb
Lb
G G , there must be G , G G
= 0 by definition. Particularly, let
L
Lb
Lb
G = G G . We know that
b
L
Lb
Lb
Lb
Lb
Lb
= 0,
G G
= G G , G G
Lb
Lb
Lb
Lb
which implies that G G = O, i.e., G = G .
n
X
D=
i=1
ai
xi
and
V
on G are respectively defined by
L
DL(uv )
DG = G
and
L
G =
L[y]
K(x, y) G dy = G
K(x,y)L(uv )[y]dy
L[y]
K(x, y) G dy = G
K(x,y)L(uv )[y]dy
L
G =
19
ai
by K (x, y) =
L1
L2
V
K (x, y). Clearly, for G , G G and , F ,
L (uv )+L (uv )
2
L1 (uv )
L2 (uv )
L2 (uv )
(L2 (uv ))
1
=D G
= D G
+ D G
+G
L1
L2
L1
L2
D G + G
= D G + D G .
L1
L2
L1
L2
G + G
=
G +
G ,
Z
Z
Z
L1
L2
L1
L2
G + G
=
G +
G .
Thus, operators D,
and
V
are al linear on G .
L
For example, let f (t) = t, g(t) = et , K(t, ) = t2 + 2 for = [0, 1] and let G
= (e 1)t + e 2 = b(t)
L
and the actions D G ,
L
G and
[0,1]
L
G are shown on the right in Fig.5.
[0,1]
20
et
-t
et ?
t
=
t e
6 } t
-t
et
-1
t
= et ?1
1 e
}
6
6 -1
et
et
-et
-t
R
R
, [0,1]
t
t
[0,1]
t 6e
}= e ?t
t
-
a(t)
a(t)
?a(t)
6b(t) =} b(t)
a(t)
-
b(t)
b(t)
et
Fig.5
V
Furthermore, we know that both of them are injections on G .
Z
V
Theorem 3.6 D : G G and
: G G .
L
V
L
Proof For G G , we are needed to show that D G and
DL(u ) = 0 and
vNG (u)
hold with v V
L
V
G G ,
X Z
vNG (u)
L(uv ) = 0
L(uv )
V
G . However, because of G
G , there must be
X
L(u ) = 0 for v V G ,
v
vNG (u)
0 = D
vNG (u)
and
0=
for v V
G .
vNG (u)
L(uv ) =
L(u ) =
v
21
DL(uv )
vNG (u)
X Z
vNG (u)
L(uv )
there are also G -flow solutions for solvable equations in this section.
4.1 Linear Equations
Let V be a field (F ; +, ). We can further define
L1
L2
L1 L2
G G =G
c isomorphic to F if the
easily that G is also a field G ; +, with a subfield F
v
v
c
F = G G |L (u ) is constant in F for (u, v) X G
.
F
E G
nE G
F
if |F | = pn , where p is a
Clearly, G F
. Thus G = p
L
aX = G
a1 L
F
is uniquely solvable for X = G
in G if 0 6= a F . Particularly,
if one views
ax = b
a1 L
in F also is an equation in G with a solution x = G
such as those shown in
-3
5
5
3
?53
5
3
Fig.6
22
Let [Lij ]mn be a matrix with entries Lij : uv V . Denoted by [Lij ]mn (uv )
the matrix [Lij (uv )]mn . Then, a general result on G -flow solutions of linear systems
is known following.
n
Theorem 4.1 A linear system (LESm
) of equations
L1
L2
a X +a X ++a X =
G
21 1
22 2
2n n
......................................
Lm
a X +a X ++a X =
G
m1 1
m2 2
mn n
n
(LESm
)
Li
with aij C and G G for integers 1 i n and 1 j m is solvable for
V
Xi G , 1 i m if and only if
v
rank [aij ]mn = rank [aij ]+
m(n+1) (u )
[aij ]+
m(n+1)
a11
a12
a1n
L1
Lx
n
1 i n. For (u, v) X G , the system (LESm
) appears as a common linear
system
a11 Lx1 (uv ) + a12 Lx2 (uv ) + + a1n Lxn (uv ) = L1 (uv )
........................................................
am1 Lx1 (uv ) + am2 Lx2 (uv ) + + amn Lxn (uv ) = Lm (uv )
for (u, v) G .
23
Labeling the
uv respectively by solutions Lx1 (uv ), Lx2 (uv ), , Lxn (uv )
semi-arc
Lx
Lx
Lxn
for (u, v) X G , we get labeled graphs G 1 , G 2 , , G . We prove that
Lx1
Lx
Lxn
V
G , G 2, , G
G .
Let rank [aij ]mn = r. Similar to that of linear algebra, we are easily know that
m
P
Li
X
=
c
+ c1,r+1 Xjr+1 + c1n Xjn
j1
1i G
i=1
Li
Xj = P c2i
G + c2,r+1 Xjr+1 + c2n Xjn
2
,
i=1
.........................................
Li
Lx
Lx
V
where {j1 , , jn } = {1, , n}. Whence, if G jr+1 , , G jn G , then
X
Lxk (u ) =
m
X X
cki Li (uv )
vNG (u)
vNG (u)
m
X
i=1
cki
+c2,r+1
vNG (u)
vNG (u)
Li (uv )
vNG (u)
Lxjn (uv ) = 0
vNG (u)
V
n
Whence, the system (LESm
) is solvable in G .
The following result is an immediate conclusion of Theorem 4.1.
Corollary 4.2 A linear system of equations
a x +a x ++a x = b
21 1
22 2
2n n
2
..................................
V
differential equations in G following.
V
Theorem 4.3 For GL G , the Cauchy problem on differential equation
DGX = GL
0
L0
X|
is uniquely solvable prescribed with G xn =xn = G .
Then the differential equation DGX = GL transforms into a linear partial differential
equation
n
X
ai
i=1
F (uv )
= L (uv )
xi
on the semi-arc uv .
implies that there is a uniquely solution F (uv ) with initial value L0 (uv ) by the
characteristic theory of partial differential equation of first order.
In fact, let
(x , x , , x , x0 , F ) =
2
1
2
n1
2
n
...............................
Clearly,
vNG (u)
Notice that
F (uv ) =
DF (uv ) =
vNG (u)
X
v
F (u )
vNG (u)
25
L(uv ) = 0.
vNG (u)
vNG (u)
xn =x0n
L0 (uv ) = 0.
F (uv ) = 0.
vNG (u)
X
F
V
Thus, we get a uniquely solution G = G G for the equation
DGX = GL
0
L0
X|
prescribed with initial data G xn =xn = G .
X 2u
u
= c2
t
x2i
i=1
is solvable in Rn R if u(x, t0 ) = (x) is continuous and bounded in Rn , c a non-zero
L
V
constant in R. For G G in Subsection 3.2, if we define
L
G
L
= G t
t
and
L
G
L
= G xi , 1 i n,
xi
V
then we can also consider the Cauchy problem in G , i.e.,
n
X 2X
X
= c2
t
x2i
i=1
with initial values X|t=t0 , and know the result following.
L
V
Theorem 4.4 For G G and a non-zero constant c in R, the Cauchy problems
on differential equations
X 2X
X
= c2
t
x2i
i=1
L
V
V
with initial value X|t=t0 = G G
is
solvable
in
G if L (uv ) is continuous and
X 2u
u
= c2
t
x2i
i=1
26
F
with initial value u|t=0 = L (uv ) (x) if X = G . According to the theory of partial
differential equations, we know that
Z +
(x1 y1 )2 ++(xn yn )2
1
v
4t
L (uv ) (y1 , , yn )dy1 dyn .
e
F (u ) (x, t) =
n
2
(4t)
F
V
graph G on G . We prove G G .
L
V
L (uv ) (x) = 0,
vNG (u)
we know that
X
F (uv ) (x, t)
vNG (u)
vNG
1
n
(4t) 2
(u)
1
n
(4t) 2
(x1 y1 )2 ++(xn yn )2
4t
(x y )2 ++(xn yn )2
1 1
4t
vNG (u)
(x1 y1 )2 ++(xn yn )2
1
4t
e
(0) dy1 dyn = 0
n
(4t) 2
F
V
for u V G . Therefore, G G and
X 2X
X
= c2
t
x2i
i=1
L
V
V
with initial value X|t=t0 = G G is solvable in G .
V
equation in G following.
L
V
Theorem 4.5 For G G and a non-zero constant c in R, the Cauchy problems
on differential equations
2X
= c2
t2
2X 2X 2X
+
+
x21
x22
x23
27
L
V
v
with initial value X|t=t0 = G G
is solvable in G if L (u ) is continuous and
L2 [] are deter-
mined by
=
(x) L []|
N
N
V
Theorem 4.6 For GL G , if dimN = 0, then the integral equation
Z
X
G
G = GL
V
is solvable in G with V = L2 [] if and only if
D L L E
L
G ,G
= 0, G N .
X
G
G = GL and
L
L
G ,G
= 0,
L
G N
if X (u ) = F (x) and
Z
L
L (uv ) [x]L (uv ) [x]dx = 0 for G N .
28
L
for G N . Thus, there are functions F (x) L2 [] hold for the integral
equation
F (x)
F (u ) [x]
vNG (u)
X
L (uv ) [x] = 0,
K(x, y)F (u ) [x] =
v
vNG (u)
Thus,
K(x, y)
vNG (u)
F (uv ) [x] =
F (uv ) [x].
vNG (u)
F (uv ) [x] N .
vNG (u)
F (uv ) [x] = 0
vNG (u)
for u V
F
V
G , i.e., G G . Whence, if dimN = 0, the integral equation
X
G
X
G = GL
V
is solvable in G with V = L2 [] if and only if
D L L E
L
G ,G
= 0, G N .
This completes the proof.
29
for almost
n allL (x,
o y) . Then there is a finite or countably infinite system
i
G -flows G
L2 (, C) with associate real numbers {i }i=1,2, R such
i=1,2,
Li [y]
Li [x]
K(x, y) G
dy = i G
and
lim i = 0.
Li [y]
Li [x]
K(x, y) G
dy = i G
is appeared as
is indeed a finite or countably system of functions {Li (uv ) [x]}i=1,2, hold with this
with
lim i = 0.
Li (uv ) [x] = 0
vNG (u)
for u V
Li
V
G , i.e., G G for integers i = 1, 2, .
G=
Ci
i=1
30
such that L(u ) = Li (x) for (u, v) X C i , 1 i l and the Cauchy problem
v
L
X|x0 = G
V
such that L (uv ) = Li (x) for (u, v) X C i is solvable for X G .
Lu(x)
v
Proof Let X = G
with Lu(x) (u ) = u(x) for (u, v) X G . Notice that
the Cauchy problem
(
then appears as
u|x0 = Li (x)
Lu(x)
Let G
be a labeling on G with u (uv ) (x) on uv for (u, v) X G . We
Lu(x)
V
show that G
G . Notice that
l
G=
Ci
i=1
and all flows on C i is the same, i.e., the solution u (uv ) (x). Clearly, it is holden
Lx0 (uv ) = 0,
vNG (u)
31
uV
G .
Lu(x)
V
Thus, G
G . This completes the proof.
Ci
G=
i=1
L1
L2
Ln
Ln+1
F (X) = G X n + G X n1 + + G X + G
L1
always has roots, i.e., X0 G such that F (X0 ) = O if G 6= O and n 1.
Particularly, an algebraic equation
a1 xn + a2 xn1 + + an x + an+1 = 0
C
with a1 6= 0 has infinite many G -flow solutions in G on those topological graphs
l
G with G =
C i.
i=1
Notice that Theorem 4.8 enables one to get G -flow solutions both on those
linear and non-linear equations in physics. For example, we know the spherical
solution
rg 2
1
ds2 = f (t) 1
dt
dr 2 r 2 (d2 + sin2 d2 )
r
1 rrg
1
R Rg = 8GT
2
with R = R = g R , R = g R , G = 6.673108cm3 /gs2, = 8G/c4 =
2.08 1048 cm1 g 1 s2. By Theorem 4.8, we get their G -flow solutions following.
Corollary 4.10 The Einsteins gravitational equations
1
R Rg = 8GT ,
2
32
C
has infinite many G -flow solutions in G , particularly on those topological graphs
l
G=
C i with spherical solutions of the equations on their arcs.
i=1
-S1
v1
S4
v2
?S2
6
y
v4
v3
S3
Fig.7
where, each Si is a spherical solution
1
rs 2
dr 2 r 2 (d2 + sin2 d2 )
ds2 = f (t) 1
dt
r
1 rrs
of Einsteins gravitational equations for integers 1 i 4.
As a by-product, Theorems 4.5-4.6 can be also generalized on those topological
graphs with circuit-decomposition following.
Corollary 4.11 Let the integral kernel K(x, y) : C L2 ( ) be given
with
K(x, y) = K(x, y)
L [
G =
Ci
i=1
such that L(uv ) = L[i] (x) for (u, v) X C i and integers 1 i l. Then, the
integral equation
is solvable in G
X
G
X
G = GL
L
G ,G
= 0, G N .
33
K(x, y) = K(x, y)
L [
G =
Ci
i=1
such that L(u ) = L[i] (x) for (u, v) X C i and integers 1 i l. Then,
n Lo
i
there is a finite or countably infinite system G -flows G
L2 (, C) with
v
i=1,2,
Li [y]
Li [x]
K(x, y) G
dy = i G
and
lim i = 0.
Lu(x)
Lu (x)
Let X = G
and X2 = G 1 be respectively solutions of
F (x, Xx1 , , Xxn , Xx1 x2 , ) = 0
L1
V
on the initial values X|x0 = G or X|x0 = G in G with V = L2 [], the Hilbert
space. The G -flow solution X is said to be stable if there exists a number () for
any number > 0 such that
if
By definition,
L
u (x)
Lu(x)
kX1 X2 k =
G 1 G
<
L
1
L
G G
().
L
1
L
G
G
=
(u,v)X
34
and
L
u1 (x)
Lu(x)
G
G
=
(u,v)X
(u,v)X
if
kL1 (uv ) L (uv )k
(u,v)X
G
Conversely, if u (uv ) (x) is stable on uv for (u, v) X G , i.e., for any number
ku1 (uv ) (x) u (uv ) (x)k < G
=
G
(u,v)X G
X
if
kL1 (uv ) L (uv )k
()
,
n
o
35
Theorem 5.1 Let V be the Hilbert space L2 []. The G -flow solution X of equation
(
F (x, X, Xx1 , , Xxn , Xx1 x2 , ) = 0
L
X|x0 = G
V
in G is stable if and only if the solution u(x) (uv ) of equation
(
F (x, u, ux1 , , uxn , ux1 x2 , ) = 0
L
u|x0 = G
This conclusion enables one to find stable G -flow solutions of equations. For ex-
dy
= [A]y
dx
with constant coefficients, is dependent on the number = max{Re : [A]}
([23]), i.e., it is stable if and only if < 0, or = 0 but m () = m() for all
eigenvalues with Re = 0, where [A] is the set of eigenvalue of the matrix [A],
m() the multiplicity and m () the dimension of corresponding eigenspace of .
Corollary 5.2 Let [A] be a matrix with all eigenvalues < 0, or = 0 but
m () = m() for all eigenvalues with Re = 0. Then the solution X = O of
differential equation
dX
= [A]X
dx
is stable in G , where G is such a topological graph that there are G -flows hold
with the equation.
a(x)
6 6
v46
b(x)
j a(x)b(x) ? ?a(x)
v6
a(x)
b(x)
Fig.8
36
Corollary 5.3 Let V be the Hilbert space L2 []. Then, the G -flow solutions X of
equations following
2
2
2
c
+
=
G
2
2
t2
x1
x2
,
L(x1 ,x2 )
L(t,x1 ,x2 )
L(x1 ,x2 ) X
=G
, X| = G
,
X|t0 = G
t t0
2
2X 2X 2X
L
X c2 X =
+
+
=O
G
x21
x22
x23
t2
x1
and
L(x1 ,x2 )
are stable in G , where G is such a topological graph that there are G -flows hold
with these equations.
5.2 Industrial System Control
An industrial system with raw materials M1 , M2 , , Mn , products (including byproducts) P1 , P2 , , Pm but w1 , w2 , , ws wastes after a produce process, such as
those shown in Fig.9 following,
M1
M2
Mn
x1
x2
- ?F (x)
6
xn
w1
w2
Fig.9
37
y1
- P1
y2
- P2
ym
- Pm
ws
yi +
s
X
wi =
i=1
n
X
xi .
i=1
disposed harmless to the nature. Clearly, such a system is nothing else but a G -flow
V
and recycle, and can be characterized by differential equations in Banach space G .
Lu
v
v
Whence, we
can
determine such a system by G with Lu : u u (u ) (t, x) for
L0 dk X
L1 dk1X
Lu(t,x)
G k + G k1 + + G
=O
dt
dt
k1
Lh0 (x) dX
Lh1 (x)
dX
Lh (x)
,
=G
, , k1
= G k1
X|t=t0 = G
dt t=t0
dt
t=t0
L0 X
L1 X
Ln X
Lu(t,x)
+G
++ G
=G
G
t
x1
xn
Lu(x)
X|t=t0 = G
Li
and characterize its stability by Theorem 5.1, where, the coefficients G , i 0 are
determined by the technological process of production.
38
References
[1] John B.Conway, A Course in Functional Analysis, Springer-Verlag New York,Inc.,
1990.
[2] J.L.Gross and T.W.Tucker, Topological Graph Theory, John Wiley & Sons,
1987.
[3] F.John, Partial Differential Equations (4th edition), Springer-Verlag New York,Inc.,
1982.
[4] Kenneth Hoffman and Ray Kunze, Linear Algebra(Second Edition), PrenticeHall, Inc. Englewood Cliffs, New Jersey, 1971.
[5] Linfan Mao, The simple flow representation for graph and its application, Reported at The First International Symposium on Combinatorial Optimization
of China, Tianjing, 1988.
[6] Linfan Mao, Analytic graph and its applications, Reported at The 6th Conference on Graph Theory and Its Applications of China, Qingdao, 1989.
[7] Linfan Mao, Automorphism Groups of Maps, Surfaces and Smarandache Geometries, First edition published by American Research Press in 2005, Second
edition is as a Graduate Textbook in Mathematics, Published by The Education
Publisher Inc., USA, 2011.
[8] Linfan Mao, Smarandache Multi-Space Theory(Second edition), First edition
published by Hexis, Phoenix in 2006, Second edition is as a Graduate Textbook
in Mathematics, Published by The Education Publisher Inc., USA, 2011.
[9] Linfan Mao, Combinatorial Geometry with Applications to Field Theory, First
edition published by InfoQuest in 2005, Second edition is as a Graduate Textbook in Mathematics, Published by The Education Publisher Inc., USA, 2011.
[10] Linfan Mao, Non-solvable spaces of linear equation systems. International J.
Math. Combin., Vol.2 (2012), 9-23.
[11] Linfan Mao, Graph structure of manifolds listing, International J.Contemp.
Math. Sciences, Vol.5, 2011, No.2,71-85.
[12] Linfan Mao, A generalization of Seifert-Van Kampen theorem for fundamental
groups, Far East Journal of Math.Sciences, Vol.61 No.2 (2012), 141-160.
[13] Linfan Mao, Global stability of non-solvable ordinary differential equations with
applications, International J.Math. Combin., Vol.1 (2013), 1-37.
[14] Linfan Mao, Non-solvable equation systems with graphs embedded in Rn , In39
40