Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
where
denotes the semi-arc of (u, v) X G , which is a mathematical
object for things embedded in a topological space. 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 a bijection with
a bijection between linear continuous functionals and elements, which enables
one to solve linear functional equations in such extended space, particularly,
solve algebraic, differential or integral equations on a topological graph, find
multi-space solutions on equations, for instance, the Einsteins gravitational
equations. A few well-known results in classical mathematics are generalized
such as those of the fundamental theorem in algebra, Hilbert and Schmidts
result on integral equations, and the stability of such G -flow solutions with
applications to ecologically industrial systems are also discussed in this paper.
uv
1. Introduction
60
LINFAN MAO
v
u u
EJMAA-2015/3(2)
L(uv )
vu
Fig.1
All these semi-arcs of a topological graph G are denoted by X 21 G .
A vector labeling G L
on G
is a 1 1 mapping L : G V such that L : uv
on G , define
L1
G + G L2 = G L1 +L2 and G L = G L .
a G -flow on G is such a labeling L : uv V for uv X 21 G hold with
L (uv ) = L (v u ) and conservation laws
X
L (v u ) = 0
uNG (v)
- L(v
u4
) u
4
- L(v
u5
) u
5
u1
L(v u1 )
u2
L(v u2 )
u3
L(v u3 )
-F (v
u6
) u
6
Fig.2
Clearly, if V = Z and O = {1}, then the G -flow G L is nothing else but the network
flow X( G) Z on G .
L1
L2
It is clear that G + G
and G are also G -flows, which implies that all
conservation G -flows on G also form a linear space over F with unit G 0 under
EJMAA-2015/3(2)
61
L e e
G ; R is a 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.,
extending Banach spaces, particularly, Hilbert spaces on topological graphs with
operator actions and show all of these extensions are also Banach space with a
bijection between linear continuous functionals and elements, which enables one to
solve linear functional equations in such extended space, particularly, solve algebraic
or differential equations on a topological graph, i.e., find multi-space solutions 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.
conservative if
v = 0,
vV
dimV
X
xvi i .
i=1
Consequently,
X dimV
X
vV
i=1
xvi i =
dimV
X
i=1
vV
xvi
i = 0
62
LINFAN MAO
implies that
EJMAA-2015/3(2)
xvi = 0
vV
xvi = 0, 1 i dimV ,
vV
define
vi =
dimV
X
xvi i
i=1
vV
v2 = (1, 1, 1),
v3 = (1, 1, 1),
v4 = (1, 1, 1)
for v V G implies
L(v u ) = 0
uNG (v)
L(v u ) =
L(v w ).
wNG (v)\{u}
EJMAA-2015/3(2)
63
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
G . Then, it is also clear that L(v), v V G are conservation
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.
Let e = (u, v) X G . By Theorems 2.2 and 2.3, for an integer
1 i dimV , such a G -flow exists if and only if the system of linear equations
X
(v,u) = 0, v V G
Proof
uV
G
is solvable. However, if X G V G + 1, such a system is indeed solvable
by linear algebra.
L
G
=
(u,v)X G
kL(uv )k
(1)
G L
0 and
G L
= 0 if and only if G L = G 0 = O.
(2)
G L
=
G L
for any scalar .
64
LINFAN MAO
EJMAA-2015/3(2)
(3)
G L1 + G L2
G L1
+
G L2
because of
X
L1
kL1 (uv ) + L2 (uv )k
G + G L2
=
(u,v)X G
(u,v)X G
kL1 (uv )k +
(u,v)X G
kL2 (uv )k =
G L1
+
G L2
.
(u,v)X G
(u,v)X G
D
L
E
G , G L = 0 if and only
(u,v)X G
(u,v)X G
D
L2
E
G , G L1
E
G L1 + G L2 , G L
D
D
E
E
= G L1 , G L + G L2 , G L
because of
D
G L1
+
=
E D
E
G L2 , G L = G L1 + G L2 , G L
X
hL1 (uv ) + L2 (uv ), L(uv )i
(u,v)X( G )
(u,v)X( G )
=
=
(u,v)X( G )
D
L1
E D
E
G
, G L + G L2 , G L
D
D
E
E
G L1 , G L + G L2 , G L .
EJMAA-2015/3(2)
65
kLn (uv ) Lm (uv )k
G Ln G Lm
<
i.e., {Ln (uv )} is also a Cauchy sequence for (u, v) X G , which is converges
on in V by definition.
Let L(uv ) = lim Ln (uv ) for (u, v) X G . Then it is clear that
n
lim G Ln = G L .
for u V G and integers n 1. Let n on its both sides. Then
X
X
lim Ln (uv )
Ln (uv ) =
lim
n
vNG (u)
vNG (u)
L(uv ) = 0.
vNG (u)
Thus, G L G V .
L2
L1
Similarly,Etwo conservation G -flows G and G are said to be orthogonal if
D
L1
G , G L2 = 0. The following result characterizes those of orthogonal pairs of
conservation G -flows.
L1
L2
Theorem 2.6. Let G L1 , G L2 G V . Then
G is orthogonal to G if and
66
LINFAN MAO
EJMAA-2015/3(2)
i.e., G L1 is orthogonal to G L2 .
(u,v)X G
by definition. We therefore know that hL1 (uv ), L2 (uv )i = 0 for (u, v) X G
because of hL1 (uv ), L2 (uv )i 0.
Theorem 2.7. Let V be a Hilbert space with an orthogonal decomposition
V = V V for a closed subspace V V . Then there is a decomposition
V
e V
e ,
G =V
where,
n
o
e =
V
G L1 G V L1 : X G V
n
o
e =
V
G L2 G V L2 : X G V ,
G = G L1 + G L2
with L1 : X G V and L2 : X G V .
Proof By definition, L(uv ) V for (u, v) X G . Thus, there is a decomposition
L(uv ) = L1 (uv ) + L2 (uv )
with uniquely
determined
L1 (uv ) V but L2 (uv ) V .
h
h
L1 i
L2 i
Let G
and G
be two labeled graphs on G with L1 : X 12 G V and
h
i h
i D
E
L2 : X 21 G V . We need to show that G L1 , G L2 G , V . In fact,
the conservation laws show that
X
L(uv ) = 0, i.e.,
vNG (u)
for u V
vNG (u)
G . Consequently,
X
vNG (u)
L1 (uv ) +
vNG (u)
L2 (uv ) = 0.
EJMAA-2015/3(2)
67
Whence,
0 =
L1 (u ) +
vNG (u)
L1 (u ),
vNG (u)
L1 (u ),
vNG (u)
L1 (uv )
vNG (u)
v
hL1 (u ), L2 (u )i +
vNG (u)
L2 (u )
vNG (u)
L1 (uv ),
L1 (u )
vNG (u)
L2 (u ),
vNG (u)
v
vNG (u)
v
L1 (u ),
vNG (u)
Notice that
*
X
L1 (uv ),
vNG (u)
L1 (u )
vNG (u)
0,
L2 (u )
L2 (u ),
vNG (u)
L2 (u )
vNG (u)
L2 (u ),
vNG (u)
vNG (u)
L2 (uv ),
vNG (u)
L1 (u )
L2 (uv )
vNG (u)
v
hL2 (u ), L1 (u )i
L1 (u )
vNG (u)
vNG (u)
vNG (u)
L1 (u ) +
vNG (u)
L2 (u ),
vNG (u)
L2 (u ) .
vNG (u)
L2 (u ),
0.
= 0,
L2 (u )
vNG (u)
vNG (u)
vNG (u)
L1 (u ),
L1 (u )
L1 (uv ) = 0 and
vNG (u)
= 0,
L2 (u ),
L2 (uv ) = 0.
vNG (u)
vNG (u)
L2 (u )
i.e.,
vNG (u)
vNG (u)
h
i h
i
+
Let G L be a G -flow. If for v V G , all flows L (v u ) , u NG
(v) \ u+
are
0
determined by equations
Fv
L (v u ) ; L (wv ) , w NG
(v) = 0
unless L(v u0 ), such a G -flow is called solvable, and L(v u0 ) the co-flow at vertex
68
LINFAN MAO
EJMAA-2015/3(2)
(0, 1)
v1
v2
(1, 0)
(0, 1)
? 6(1, 0)
(1, 0)
-
? 6(0, 1)
(1, 0)
v4
v3
(0, 1)
Fig.3
+
+
A G -flow G L is linear if each L v u , u+ NG
(v) \ {u+
0 } is determined by
+
X
v
L vu =
au L u ,
u NG
(v)
+
G unless L v u0 , and is ordinary or partial
; 1 i n L(v u ); L u , u NG
(v) = 0
Lv
dxi
or
+
v
Lv
;1 i n
L(v u ); L u , u NG
(v) = 0
xi
+
d
[ [2
G=
Ci
Ti ,
i=1
i=1
[ [2
G=
Ci
T i , m1 1, m2 0,
i=1
i=1
there always exist linear G -flows G L , not all flows being zero on G .
k
k k
k
k ui+1
Proof For an integer 1 k m1 , let C k = u1 u2 usk and L ui
= vk ,
EJMAA-2015/3(2)
69
wt
L wjt j+1 = 0. Clearly, the conservation law hold at v V G by definition,
k
k ui+1
and each flow L ui
, i + 1 (modsk ) is linear determined by
k
k ui+1
L ui
=
=
k
X
k ui
L ui1
+0
j6=i vN (uk )
i
C
vk + 0 +
m2
X
m2
k X
L v ui +
j=1 vN (uk )
i
T
j
k
L v ui
0 = vk .
j=1 vN (uk )
i
T
j
Thus, G L is a linear solvable G -flow and not all flows being zero on G .
All G -flows constructed in Theorem 2.8 can be also replaced by vectors dependent on the time t, i.e., v(t). Furthermore, if m1 2, there is at least two circuits
f(x, t). We then know the conservation laws hold for vertices in G , and similarly,
[ [2
T i , m1 2, m2 0,
Ci
G=
i=1
i=1
there always exist ordinary differential G -flows G L , not all flows being zero on G .
f(x, t)
v1
v2
f(x, t)
? 6x
v4
x
-
? 6f(x, t)
v3
f(x, t)
Fig.4
xi = xi (t, s1 , s2 , , sn1 )
u = u(t, s1 , s2 , , sn1 )
pi = pi (t, s1 , s2 , , sn1 ),
i = 1, 2, , n
70
LINFAN MAO
EJMAA-2015/3(2)
is a solution of system
dx1
Fp1
dx2
dxn
du
= =
= P
n
Fp2
Fpn
pi Fpi
i=1
dp1
dpn
= =
= dt
Fx1 + p1 Fu
Fxn + pn Fu
=
with initial values
such that
sj
sj
i=0
F (x1 , x2 , , xn , u, p1 , p2 , , pn ) = 0
xi = xi0 (s1 , s2 , , sn1 ), u0 = u0 (s1 , s2 , , sn1 ) ,
0
pi0 = pi0 (s1 , s2 , , sn1 ), i = 1, 2, , n
u
F
and Fpi =
for integers 1 i n.
xi
pi
For partial differential equations of second order, the solutions of Cauchy problem
on heat or wave equations
2
2
n
u = a2 X u
2
X
u = a2
t2
x2i
i=1
t
x2i ,
i=1
= (x)
u|t=0 = (x)
u|t=0 = (x) ,
t
where pi =
t=0
1
n
(4t) 2
(x1 y1 )2 ++(xn yn )2
4t
t 4a2 t
M
Sat
dS +
1
4a2 t
dS
M
Sat
M
for wave equations in n = 3, where Sat
denotes the sphere centered at M (x1 , x2 , x3 )
with radius at. Then, the result following on partial G -flows is similarly known to
that of Theorem 2.9.
EJMAA-2015/3(2)
71
[ [2
G=
Ci
T i , m1 2, m2 0,
i=1
i=1
there always exist partial differential G -flows G L , not all flows being zero on G .
An operator T : G V G V is bounded if
T G L
G L
T G L1 T G L2
G L1 G L2 )
for G L1 , G L1 G V with [0, 1).
T G L = G L.
n
o
L1
G = T G L0 ,
L2
G = T G L1 = T 2 G L0 ,
. . . . . . . . . .. . . . . . . .. . . . . . . .. . . . . .. ,
Ln
G = T G Ln1 = Tn G L0 ,
..................................
n
o
Lm+1
G Lm
=
T G Lm T G Lm1
G
G Lm G Lm1
=
T G Lm1 T G Lm2
2
G Lm1 G Lm2
m
G L1 G L0
.
72
LINFAN MAO
EJMAA-2015/3(2)
G Lm G Lm1
+ + +
G Ln1 G Ln
m + m1 + + n1
G L1 G L0
n1 m
=
G L1 G L0
1
n1
o
Consequently,
G Lm G Ln
0 if m , n . So the sequence G Ln
L
G L G Lm
+
G Lm T G L
G T GL
G L G Lm
+
G Lm1 G L
.
Let m . For 0 < < 1, we therefore get that
G L T G L
= 0, i.e.,
T G L = G L.
For the
uniqueness,
if there is an another conservation G-flow G L G V holding
with T G L = G L , by
L
G G L
=
T G L T G L
G L G L
,
it can be only happened in the case of G L = G L for 0 < < 1.
T G L1 + G L2 = T G L1 + T G L2
for G L1 , G L2 G V and , F , and is continuous at a G -flow G L0 if there
always exist a number () for > 0 such that
T G L T G L0
< if
G L G L0
< ().
The following result reveals the relation between conceptions of linear continuous
with that of linear bounded.
T G L T G L0
=
T G L G L0
G L G L0
EJMAA-2015/3(2)
73
L
6= 0,
G G L0
< () with () = ,
T G L G L0
< ,
o
Now if T is linear continuous but unbounded, there exists a sequence G Ln in
V
G such that
Ln
G
n
G Ln
.
Let
Ln
G =
Ln
1
Ln
G .
n
G
1
Then
G Ln
= 0, i.e.,
T G Ln
0 if n . However, by definition
n
Ln
G
T
T G Ln
=
Ln
n
G
n
G Ln
T G Ln
= 1,
=
n
G Ln
n
G Ln
a contradiction. Thus, T must be bounded.
Lb
V
is a unique G G such that
D
b E
T G L = G L, G L
for G L G V .
N (T) = G L G V T G L = 0
for the linear continuous functional T. If N (T) = G V , i.e., T G L = 0 for
b
G L G V , choose G L = O. We then easily obtain the identity
D
bE
T G L = G L, G L .
V
G = N (T) N (T)
with N (T) 6= {O} and N (T) 6= {O}.
74
LINFAN MAO
EJMAA-2015/3(2)
L
L0
L
G = T GL
G T G L0
G
i.e., G L N (T). We therefore get that
D
L
E
0 =
G , G L0
D
L0
L
E
=
T GL
G T G L0
G , G L0
D
L0
E
D
L
E
= T GL
G , G L0 T G L0
G , G L0 .
Notice that
D
L0
E
2
G , G L0 =
G L0
6= 0. We find that
T GL
=
Let
L0
*
+
T G L 0 D
L
L0 E
L T G
L0
G ,G
= G ,
G
.
L0
2
2
G
G L0
L0
T
G
Lb
L0
G =
G = G L0 ,
L0
2
G
T G L0
L D
L
Lb E
where =
.
We
consequently
get
that
T
G
=
G
,
G .
2
G L0
D
bE
V
b
bE
G , there must be G L , G L G L = 0 by definition. Particularly, let G L =
b
Lb
G G L . We know that
D
b
b
b
b
bE
Lb
G G L
= G L G L , G L G L = 0,
b
b
b
b
which implies that G L G L = O, i.e., G L = G L .
EJMAA-2015/3(2)
75
and
,
D=
ai
xi
i=1
D G L = G DL(u )
and
Z
L
G
L
G
R
K(x, y) G L[y] dy = G K(x,y)L(u )[y]dy ,
R
K(x, y) G L[y] dy = G K(x,y)L(u )[y]dy
ai
for (u, v) X G , where ai ,
C0 () for integers 1 i, j n and
xj
K(x, y) : C L2 ( , C) with
Z
by K (x, y) =
v
v
v
v
v
v
= D G (L1 (u )) + G (L2 (u )) = D G L1 (u ) + D G L2 (u )
for (u, v) X G , i.e.,
D G L1 + G L2 = D G L1 + D G L2 .
L1
L2
G L1 + G L2 =
G +
G ,
Thus, operators D,
Z
G L1 + G L2 =
and
L1
G
are al linear on G V .
Z
+
L2
G .
76
LINFAN MAO
--et
e ?
=
t e
t
}
6
-t
EJMAA-2015/3(2)
e
-- 1
= e ?1
1 e
}
6
6 -1e
t
et
-e
-t
R
t
6e }= e ?t
-t
a(t)
a(t)
?a(t)
6b(t) =} b(t)
a(t)
-b(t)
[0,1]
b(t)
[0,1]
et
Fig.5
For example, let f (t) = t, g(t) = et , K(t, ) = t2 + 2 for = [0, 1] and let G L
K(t, )f ( )d =
K(t, )g( )d =
K(t, )f ( )d =
0
K(t, )g( )d =
0
t2
1
t2 + 2 d =
+ = a(t),
2
4
t2 + 2 e d
= (e 1)t2 + e 2 = b(t)
L
G and
[0,1]
L
G are shown on the right in Fig.5.
[0,1]
Theorem 3.6.
D : G V G V and
: GV GV .
DL(u ) = 0 and
vNG (u)
hold with v V
vNG (u)
L(uv ) = 0
G .
vNG (u)
L(uv ) = 0 for v V
G ,
G GV ,
EJMAA-2015/3(2)
0 = D
and
0=
for v V
G .
vNG (u)
vNG (u)
L(uv ) =
L(uv ) =
77
DL(uv )
vNG (u)
vNG (u)
L(uv )
show there are also G -flow solutions for solvable equations, which implies that the
L1
G G L2 = G L1 L2
with L1 L2 (uv ) = L1 (uv ) L2 (uv ) for (u, v) X G . Then it can be verified
c isomorphic to F if
easily that G F is also a field G F ; +, with a subfield F
the conservation laws is not emphasized, where
n
o
c=
.
G L G F |L (uv ) is constant in F for (u, v) X G
F
nE G
if |F | = pn , where p is a
. Thus G F = p
E
Clearly, G F F
aX = G L
v
an element b F as b = G if L(u ) = b for (u, v) X G and 0 6= a F , then
an algebraic equation
ax = b
1
in F also is an equation in G F with a solution x = G a L such as those shown in
78
LINFAN MAO
EJMAA-2015/3(2)
5
3
5
3
5
3
5
3
Fig.6
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
.......................................
Xi G V , 1 i m if and only if
v
rank [aij ]mn = rank [aij ]+
m(n+1) (u )
[aij ]m(n+1)
a11
a21
=
...
am1
a12
a22
...
am2
...
a1n
a2n
....
amn
L1
L2
.
...
Lm
a11 Lx1 (uv ) + a12 Lx2 (uv ) + + a1n Lxn (uv ) = L1 (uv )
a21 Lx1 (uv ) + a22 Lx2 (uv ) + + a2n Lxn (uv ) = L2 (uv )
..........................................................
am1 Lx1 (uv ) + am2 Lx2 (uv ) + + amn Lxn (uv ) = Lm (uv )
Proof
for (u, v) G .
Labeling the semi-arc
uv respectively by solutions Lx1 (uv ), Lx2 (uv ), , Lxn (uv )
for (u, v) X G , we get labeled graphs G Lx1 , G Lx2 , , G Lxn . We prove that
Lx
G 1 , G L x2 , , G L xn G V .
EJMAA-2015/3(2)
79
Let rank [aij ]mn = r. Similar to that of linear algebra, we are easily know that
m
P
Xj1 =
c1i G Li + c1,r+1 Xjr+1 + c1n Xjn
i=1
X = P
c2i G Li + c2,r+1 Xjr+1 + c2n Xjn
j2
,
i=1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
m
P
Xjr =
cri G Li + cr,r+1 Xjr+1 + crn Xjn
i=1
Lx
Lxk (uv )
m
X
cki Li (uv )
vNG (u)
vNG (u)
m
X
i=1
cki
+c2,r+1
vNG (u)
vNG (u)
Li (uv )
Lxjn (uv ) = 0
vNG (u)
vNG (u)
n
Whence, the system (LESm
) is solvable in G V .
X|
80
LINFAN MAO
EJMAA-2015/3(2)
Proof For (u, v) X G , denoted by F (uv ) the flow on the semi-arc uv .
Then the differential equation DGX = GL transforms into a linear partial differential equation
n
X
F (uv )
ai
= L (uv )
x
i
i=1
1 x1 , x2 , , xn1 , x0n , F = 1
2 x1 , x2 , , xn1 , x0n , F = 2
. . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . .
n x1 , x2 , , xn1 , x0n , F = n
Clearly,
Notice that
vNG (u)
F (uv ) =
vNG (u)
v
F (u )
vNG (u)
X
DF (uv ) =
xn =x0n
L(uv ) = 0.
vNG (u)
L0 (uv ) = 0.
vNG (u)
F (uv ) = 0.
vNG (u)
X|xn =x0
L
n = G 0.
prescribed with initial data G
We know that the Cauchy problem on heat equation
n
X
u
2u
= c2
t
x2i
i=1
L
GL
GL
t
=G
and
= G xi , 1 i n,
t
xi
EJMAA-2015/3(2)
81
X 2u
u
= c2
t
x2i
i=1
with initial value u|t=0 = L (uv ) (x) if X = G F . According to the theory of partial
differential equations, we know that
Z +
(x1 y1 )2 ++(xn yn )2
1
v
4t
F (u ) (x, t) =
e
L (uv ) (y1 , , yn )dy1 dyn .
n
(4t) 2
Labeling the semi-arc uv by F (uv ) (x, t) for (u, v) X G , we get a labeled
graph G F on G . We prove G F G V .
By assumption, G L G V , i.e., for u V G ,
X
L (uv ) (x) = 0,
vNG (u)
we know that
X
F (uv ) (x, t)
vNG (u)
vNG (u)
1
=
n
(4t) 2
1
n
(4t) 2
Z
(x1 y1 )2 ++(xn yn )2
4t
(x y )2 ++(xn yn )2
1 1
4t
vNG (u)
1
e
(0) dy1 dyn = 0
n
(4t) 2
(x y )2 ++(xn yn )2
1 1
4t
with initial value X|t=t0 = G L
n
X
X
2X
= c2
t
x2i
i=1
G V is solvable in G V .
equation in G V following.
82
LINFAN MAO
EJMAA-2015/3(2)
For an integral kernel K(x, y), the two subspaces N , N L2 [] are determined by
Z
(x) L2 []|
K (x, y) (y)dy = (x) ,
N =
Z
N =
(x) L2 []|
K (x, y)(y)dy = (x) .
X
G
G = GL
G L N .
G , G L = 0,
Proof For (u, v) X G
Z
X
G
G = GL and
D
L
E
G , G L = 0,
GL N
L (uv ) [x]L (uv ) [x]dx = 0 for G L N .
for G L N . Thus, there are functions F (x) L2 [] hold for the integral
equation
Z
F (x)
K (x, y) F (y) dy = L (uv ) [x]
EJMAA-2015/3(2)
for (u, v) X G in this case.
For u V G , it is clear that
Z
X
v
v
F (u ) [x]
K(x, y)F (u ) [x] =
vNG (u)
Z
X
K(x, y)
vNG (u)
Thus,
F (uv ) [x] =
83
L (uv ) [x] = 0,
vNG (u)
F (uv ) [x].
vNG (u)
F (uv ) [x] N .
vNG (u)
X
G
G = GL
G , G L = 0,
G L N .
This completes the proof.
for almost
all (x, y) . Then there is a finite or countably infinite system
n
Li o
G -flows G
L2 (, C) with associate real numbers {i }i=1,2, R
i=1,2,
and
lim i = 0.
is appeared as
84
LINFAN MAO
EJMAA-2015/3(2)
on (u, v) X G . By the spectral theorem of Hilbert and Schmidt ([20]), there is
indeed a finite or countably system of functions {Li (uv ) [x]}i=1,2, hold with this
integral equation, and furthermore,
|1 | |2 | 0
with
lim i = 0.
[
Ci
G=
i=1
such that L(uv ) = Li (x) for (u, v) X C i , 1 i l and the Cauchy problem
Fi (x, u, ux1 , , uxn , ux1 x2 , ) = 0
u|x0 = Li (x)
X|x0 = G L
Proof Let X = G Lu(x) with Lu(x) (uv ) = u(x) for (u, v) X G . Notice that
the Cauchy problem
Fi (x, X, Xx1 , , Xxn , Xx1 x2 , ) = 0
X|x0 = GL
then appears as
EJMAA-2015/3(2)
85
Let G Lu(x) be a labeling on G with u (uv ) (x) on uv for (u, v) X G . We
[
G=
Ci
i=1
and all flows on C i is the same, i.e., the solution u (uv ) (x). Clearly, it is holden
There are many interesting conclusions on G -flow solutions of equations by Theorem 4.8. For example, if Fi is nothing else but polynomials of degree n in one
variable x, we get a conclusion following, which generalizes the fundamental theorem in algebra.
G=
Ci
i=1
and Li (uv ) = ai C for (u, v) X C i and integers 1 i l, then the
polynomial
F (X) = G L1 X n + G L2 X n1 + + G Ln X + G Ln+1
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
2
2
2
2
2
ds2 = f (t) 1
dt
r dr r (d + sin d )
r
1 rg
for the Einsteins gravitational equations ([9])
1
R Rg = 8GT
2
with R = R
= g R , R = g R , G = 6.673 108 cm3 /gs2 , =
86
LINFAN MAO
EJMAA-2015/3(2)
G=
C i with spherical solutions of the equations on their arcs.
i=1
S4
-S
v2
?S
6
v4
S3
v3
Fig.7
where, each Si is a spherical solution
1
rs 2
dt
dr2 r2 (d2 + sin2 d2 )
ds2 = f (t) 1
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
Z
|K(x, y)|2 dxdy > 0,
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
Z
X
G
G = GL
G , G L = 0,
G L N .
EJMAA-2015/3(2)
87
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
o
there is a finite or countably infinite system G -flows G Li
L2 (, C)
v
i=1,2,
with associate real numbers {i }i=1,2, R such that the integral equations
Z
and
lim i = 0.
Hilbert space. The G -flow solution X is said to be stable if there exists a number
() for any number > 0 such that
kX1 X2 k =
G Lu1 (x) G Lu(x)
<
if
G L1 G L
(). By definition,
X
L1
kL1 (uv ) L (uv )k
G G L
=
and
Lu1 (x)
G Lu(x)
=
G
(u,v)X G
(u,v)X G
if
kL1 (uv ) L (uv )k
(u,v)X G
i.e., u (uv ) (x) is stable on uv for (u, v) X G .
88
LINFAN MAO
EJMAA-2015/3(2)
Conversely, if u (uv ) (x) is stable on uv for (u, v) X G , i.e., for any number
/ G > 0 there always is a number () (uv ) such that
ku1 (uv ) (x) u (uv ) (x)k <
G
G
(u,v)X G
if
()
,
G
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
X|x0 = G L
u|x0 = G L
is stable on the semi-arc uv for (u, v) X G .
This conclusion enables one to find stable G -flow solutions of equations. For example, we know that the stability of trivial solution y = 0 of an ordinary differential
equation
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.
EJMAA-2015/3(2)
89
f (x)
6 6
g(x)
v4
f (x) f (x)
j
g(x)
g(x)
? ?f (x)
v3
Fig.8
d2 X
dX
+5
+ 6X = 0
2
dx
dx
with f (x) = C1 e2x + C1 e3x and g(x) = C2 e2x + C2 e3x , where C1 , C1 and
C2 , C2 are constants.
Similarly, applying the stability of solutions of wave equations, heat equations
and elliptic equations, the conclusion following is known by Theorem 5.1.
Corollary 5.3. Let V be the Hilbert space L2 []. Then, the G -flow solutions
X of equations following
2
2
X
X
2X
c
+
= GL
t2
x21
x22
L(x ,x )
L(t,x ,x ) ,
X
1 2 , X|
1 2
=
G
=
G
X|t0 = G L(x1 ,x2 ) ,
t t0
2
2
2
2
L
X + X + X =O
X
2 X
c
=
G
2
2
2
and
x1
x
x2
t
x
L(x1 ,x )
L2g(x ,x ,x 3)
1 2
1 2 3
X|t0 = G
X| = G
are stable in G V , 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
by-products) P1 , P2 , , Pm but w1 , w2 , , ws wastes after a produce process,
such as those shown in Fig.9 following,
90
LINFAN MAO
M1
M2
Mn
EJMAA-2015/3(2)
-P
y1
x1
x2
- ?F (x)
6
-P
ym
xn
w1
-P
y2
w2
ws
Fig.9
i.e., an input-output system, where,
(y1 , y2 , , ym ) = F (x1 , x2 , , xn )
determined by differential equations, called the
strained with the conservation law of matter, i.e.,
m
X
yi +
i=1
s
X
i=1
wi =
n
X
xi .
i=1
Notice that such an industrial system is an opened system in general, which can
be transferred into a closed one by letting the nature as an additional cell, i.e.,
all materials comes from and all wastes resolves by the nature, a classical one on
human beings with the nature. However, the resolvability of nature is very limited.
Such a classical system finally resulted in the environmental pollution accompanied
with the developed production of human beings.
Different from those of classical industrial systems, an ecologically industrial
system is a recycling system ([24]), i.e., all outputs of one of its subsystem, including
products, by-products provide the inputs of other subsystems and all wastes are
disposed harmless to the nature. Clearly, such a system is nothing else but a G -flow
Whence, we
can determine such a system by G Lu with Lu : uv u (uv ) (t, x) for
(u, v) X G , or ordinary differential equations
dk X
dk1 X
G L0 k + G L1 k1 + + G Lu(t,x) = O
dt
dt
Lh (x) dX
Lh (x)
dX k1
= G 1 , ,
= G hk1 (x)
X|t=t0 = G 0 , dt
k1
dt
t=t0
t=t0
L0 X
G
+ G L1
+ + G Ln
= G Lu(t,x)
t
x1
xn
X|t=t0 = G Lu(x)
EJMAA-2015/3(2)
91
and characterize its stability by Theorem 5.1, where, the coefficients G Li , i 0 are
determined by the technological process of production.
References
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
[11]
[12]
[13]
[14]
[15]
[16]
[17]
[18]
[19]
[20]
[21]
[22]
[23]
[24]
Linfan MAO
Chinese Academy of Mathematics and System Science, Beijing 100190, P.R.Chin
E-mail address: maolinfan@163.com