This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Hindawi Publishing CorporationJournal of Function Spaces and ApplicationsVolume 2013 Article ID 692879 12 pageshttpdxdoiorg1011552013692879
Research ArticleSchauder-Tychonoff Fixed-Point Theorem inTheory of Superconductivity
Mariusz Gil and StanisBaw Wwdrychowicz
Department of Mathematics Rzeszow University of Technology alPowstancow Warszawy 6 35-959 Rzeszow Poland
Correspondence should be addressed to Stanisław Wędrychowicz swedrychprzedupl
Received 25 April 2013 Accepted 5 June 2013
Academic Editor Jozef Banas
Copyright copy 2013 M Gil and S WędrychowiczThis is an open access article distributed under the Creative Commons AttributionLicense which permits unrestricted use distribution and reproduction in anymedium provided the originalwork is properly cited
We study the existence of mild solutions to the time-dependent Ginzburg-Landau ((TDGL) for short) equations on an unboundedinterval The rapidity of the growth of those solutions is characterized We investigate the local and global attractivity of solutionsof TDGL equations and we describe their asymptotic behaviourThe TDGL equations model the state of a superconducting samplein a magnetic field near critical temperature This paper is based on the theory of Banach space Frechet space and Sobolew space
1 Introduction
The objective of the paper is to investigate the existenceand asymptotic behaviour of mild solutions on an unbound-ed interval of time-dependent Ginzburg-Landau equations(TDGL for short) in superconductivity
In the Ginzburg-Landau theory of phase transitions [1]the state of a superconducting material near the critical tem-perature is described by a complex-valued order parameter120595 a real vector-valued vector potential A and when thesystem changes with time a real-valued scalar potential 120601The latter is a diagnostic variable 120595 and A are prognosticvariables whose evolution is governed by a system of coupleddifferential equations
The system of (1)ndash(3) must be satisfied everywhere in Ω theregion occupied by the superconducting material and at alltimes 119905 gt 0 The boundary conditions associated with thedifferential equations have the form
n sdot ( 119894120581nabla + A)120595 + 119894
120581120574120595 = 0 (4)
n times (nabla times A minusH) = 0 (5)
on 120597Ω where 120597Ω is the boundary ofΩ and n is the local outerunit normal to 120597Ω They must be satisfied at all times 119905 gt 0
We prove that the systems of (1)ndash(5) can be reducedto a semilinear equation to use the appropriate theoremwe investigate the local and global attractivity of solutionsof equations in question and describe their asymptoticbehaviour
In this paper we consider the existence and asymptoticbehaviour of mild solutions on an unbounded interval of thesemilinear evolution equation of the following form
119889119906
119889119905+A119906 = F (119905 119906 (119905)) 119905 isin R
+= [0 +infin) (6)
119906 (0) = 1199060isin X (7)
where the operator A 119863(A) sub X rarr X generates a 1198620-
andX is a real Banach spaceRecently a lot of papers have appeared that deal with the
same or similar equations on a bounded interval (see [2ndash21])
2 Journal of Function Spaces and Applications
However only in a few papers problem (6)-(7) was con-sidered on an unbounded interval [10 22] Additionallyin assumptions concerning the semigroup 119890
minusA(119905minus119904)119905ge0
orthe function F(119905 119906) rather restrictive conditions have beenimposedwhich frequently require the compactness ofF(119905 119906)or 119890minusA(119905minus119904)
119905ge0or equicontinuity of semigroup 119890minusA(119905minus119904)
119905ge0
[2ndash11 13ndash22] It is worthwhile mentioning that only a fewpapers have discussed asymptotic behaviour of solutionsmostly without the formulation of existence theorems [10 2324]
In this paper we present conditions guaranteeing theexistence of mild solutions on an unbounded interval ofproblem (6)-(7) We dispense with assumptions on thecompactness ofF(119905 119906) or 119890minusA(119905minus119904)
119905ge0
Moreover we formulate theorems about asymptotic prop-erties and both local and global attractivity of solutions ofproblem (6)-(7) The existence theorems concerning thatproblem will be proved with the help of the technique of afamily of measures of noncompactness in the Frechet space119862(R+X) and Schauder-Tychonoff fixed-point principle
The approach applied here was introduced and developedin [20 25ndash35] for instance
The paper is organized as follows In Section 2 there aregiven notation and auxiliary facts that are needed further onIn Section 3 we formulate and prove a theorem on the exis-tence of mild solution of (6) with condition (7) Moreoverthe rate of the growth of those solutions is characterized
Section 4 contains a theorem on local and global attrac-tivity of solutions of problem (6)-(7) In Section 5 we give atheorem describing the asymptotic behaviour of solutions of(6)-(7)
Finally in Section 6 we formulate the gauged TDGLequation as an abstract evolution equation in a Hilbertspace Moreover this section is devoted to present examplesof application of previously obtained theorems for TDGLequations
In order to convert the systems equations (1)ndash(5) to theCauchy problem (6)-(7) we are based on the papers andmonographs (see [1 30 36ndash69])
2 Preliminaries
Let (X sdot ) be a real Banach space with the zero element 120579Denote by 119861(119909 119903) the closed ball inX centered at 119909 and withradius 119903 If119883 is a subset of a linear topological space then thesymbols 119883 and Conv119883 stand for the closure and the convexclosure of119883 respectively
Let 120594 denote the Hausdorff measure of noncompactnessinX defined on bounded subsets119883 ofX in the followingway(see [27])
120594 (119883) = inf 119903 gt 0 119883 can be covered with finite
numbers of balls of radius 119903 (8)
Further denote by 119862(R+X) the Frechet space consisting
of all functions defined and continuous on R+with values in
a Banach space X The space 119862(R+X) is furnished with the
It can be shown that the family 120583119879119879ge0
has the followingproperties
1119900 the family ker120583
119879 = 119880 isin M
119862 120583119879(119880) = 0 for 119879 ge
0 is nonempty and ker120583119879 = N
119862
2119900119880 sub 119881 rArr 120583
119879(119880) le 120583
119879(119881) for 119879 ge 0
3119900120583119879(Conv119880) = 120583
119879(119880) for 119879 ge 0
Journal of Function Spaces and Applications 3
4119900 if 119880
119899infin
119899=1is a sequence of closed sets from M
119862such
that 119880119899+1
sub 119880119899(119899 = 1 2 ) and if lim
119899rarrinfin120583119879(119880119899) =
0 for each 119879 ge 0 then the intersection set 119880infin
=
⋂infin
119899=1119880119899is nonempty
Remark 1 Observe that in contrast to the definition of theconcept of a measure of noncompactness given in [27] ourmapping 120583
119879may take the valueinfin Moreover a single map-
ping 120583119879is not the measure of noncompactness in 119862(R
+X)
but the whole family 120583119879119879ge0
can be called family of measuresof noncompactness
Remark 2 Let us notice that the intersection set 119880infin
de-scribed in axiom 4
119900 is a member of the kernel of the familyof measure of noncompactness 120583
119879119879ge0
and therefore 119880infin
is compact in 119862(R+X) In fact the inequality 120583
119879(119880infin) le
120583119879(119880119899) for 119899 = 1 2 and 119879 ge 0 implies that 120583
119879(119880infin) = 0
Hence 119880infinisin ker120583
119879 This property of the set 119880
infinwill be
very important in our further investigations
Definition 3 A set 119890minusA119905119905ge0
of bounded linear operators onX is called 119862
0-semigroup if
(i) 119890minusA0 = 119868 119890minusA(119905+119904) = 119890minusA119905119890minusA119904 for 119905 119904 ge 0(ii) for all 119909 isin X the function R
Finally using Remark 2 for the measure 120583119879 we deduce
that the set Γinfin= ⋂infin
119899=0Γ119899is nonempty convex and compact
Then by the Schauder-Tychonoff theorem we conclude thatoperator 119865 Γ
infinrarr Γinfin
has at least one fixed-point 119906 = 119906(119905)Obviously the function 119906 = 119906(119905) is a solution of problem (6)-(7) and in view of the definition of the set Γ
infin the estimate
119906(119905) le P(119905) holds to be trueThis completes the proof
4 Local and Global Attractivity
Following the concepts introduced in [36] we introduce firsta few definitions of various kinds of the concept of attractivityof mild solution of (6)
Definition 11 The mild solution 119906 = 119906(119905) of (6) with initialcondition (7) is said to be globally attractive if for each mildsolution V = V(119905) of (6) with initial condition V(0) = V
0we
have that
lim119905rarrinfin
(119906 (119905) minus V (119905)) = 120579 (55)
In other words we may say that solutions of (6) are globallyattractive if for arbitrary solutions 119906(119905) and V(119905) of thisequation condition (55) are satisfied
Definition 12 We say that mild solution 119906 = 119906(119905) of (6) withinitial condition (7) is locally attractive if there exists a ball119861(119906(0) 119903) in the space X such that for arbitrary solution V(119905)of (1) with initial-value V(0) isin 119861(119906(0) 119903) condition (55) doeshold
In the case when the limit (55) is uniform with respect toall solutions V(119905) that is when for each 120576 gt 0 there exist119879 gt 0such that
119906 (119905) minus V (119905) le 120576 (56)
for all V(119905) being solutions of (6) with initial-value V(0) isin119861(119906(0) 119903) and for 119905 ge 119879 we will say that solution 119906 = 119906(119905)
is uniformly locally attractive on R+
Now we formulate themain result of this sectionWe willconsider (6) under the following conditions
(1198671015840
1) A is the infinitesimal generator of an exponentiallystable119862
0-semigroup 119890minusA119905
119905ge0 that is there exist119872 gt
0 120588 gt 0 such that 119890minusA119905 le 119872119890minus120588119905 for all 119905 ge 0
6 Journal of Function Spaces and Applications
(1198675) there exist locally integrable functions119898 R
+rarr R+
such that
F (119905 119906) minusF (119905 V) le 119898 (119905) 119906 minus V (57)
for 119905 ge 0 and 119906 V isin X Moreover we assume that
lim119905rarrinfin
(int
119905
0
119898(119904) 119889119904 minus120588
119872119905) = minusinfin (58)
Remark 13 The property (11986710158401) is generally satisfied in diffu-
sion problem A necessary and sufficient condition for (11986710158401)
is presented in [72]
The main result of this section is shown in the giventheorem below
Theorem 14 Under assumptions (11986710158401) and (119867
2)ndash(1198675) prob-
lem (6)-(7) has amild solution 119906 = 119906(119905) for each 1199060isin X which
is globally attractive and locally uniformly attractive
Proof Existence of a solution 119906 = 119906(119905) is a consequence ofTheorem 10 Let us fix 119903 gt 0 and V
0isin 119861(119906(0) 119903)
Let V = V(119905) denote a mild solution of (6) with the initialcondition V(0) = V
0 Using (1198671015840
1) and (119867
3) we get
V (119905) le10038171003817100381710038171003817119890minusA119905V0
Using again Lemma 5 for the above estimate (where ℎ(119905) =119890120588119905119892(119905)) we obtain
119890120588119905119892 (119905) le 119872119903
+ int
119905
0
1198722119903119898 (119904) exp(int
119905
119904
119872119898(120591) 119889120591) 119889119904
(65)
Elementary calculations lead to the following equality
int
119905
0
1198722119903119898 (119904) exp(int
119905
119904
119872119898(120591) 119889120591) 119889119904
= 119872119903(exp(int119905
0
119872119898(119904) 119889119904) minus 1)
(66)
Hence
119892 (119905) le 119872119903 exp (minus120588119905) + 119872119903 exp(int119905
0
119872119898(119904) 119889119904 minus 120588119905)
minus119872119903 exp (minus120588119905) (67)
Applying assumption (1198675) we derive
lim119905rarrinfin
119892 (119905) = 0 (68)
and this proves that 119906(119905) is locally attractive Finally thisequality together with definition of the function 119892(119905) impliesthat 119906(119905) is globally attractive The proof is complete
Remark 15 In the case when 119898(119905) equiv 119898 is constant the fol-lowing condition
lim119905rarrinfin
(int
119905
0
119898(119904) 119889119904 minus120588
119872119905) = minusinfin (69)
means that 119898 lt 120588119872 Observe that this condition cannotbe weakened This observation is illustrated by the followingexampled
Example 16 Let X = R 119898(119905) equiv 119898 F(119905 119906) = sin 119905 + 119898119906119872 = 1 and 119890minusA119905 = 119890minus120588119905 Then the equation
119906 (119905) = 119890minusA1199051199060+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 (70)
(for any fixed 1199060isin R) has the solution 119906(119905) expressed by the
following formula
119906 (119905) =(120588 minus 119898) sin 119905 minus cos 119905
(120588 minus 119898)2
+ 1+ (1199060+
1
(120588 minus 119898)2
+ 1) 119890(119898minus120588)119905
(71)
Notice that for 119898 ge 120588 the solution 119906(119905) is neither globallyattractive nor locally uniformly attractive because for each
Journal of Function Spaces and Applications 7
other solution V(119905) with initial condition V(0) = V0 obviously
described by similar formula as 119906(119905) we would have acontradiction
In this section we will give a theorem describing asymptoticbehaviour of mild solutions of (6) with condition (7) Thistheorem generalizes the result included in [72Theorem 44]First we formulate the assumptions
(1198671015840
3) This condition is almost identical with (119867
3) and the
only difference is that we assume the functions 119886 and119887 are locally essentially bounded on R
+
(1198671015840
5) There exists 119906
infinisin X such that there exists the limit
lim119905rarrinfin
F(119905 119906infin) and
lim119905rarrinfin
F (119905 119906infin) = A
minus1119906infin (73)
Moreover there exists a number119898 lt 120588119872 such that1003817100381710038171003817F (119905 119906) minusF (119905 119906
infin)1003817100381710038171003817 le 119898
1003817100381710038171003817119906 minus 119906infin1003817100381710038171003817 (74)
for 119905 ge 0 and 119906 isin X
Remark 17 The condition (11986710158405) in conjunction with (1198671015840
1)
ensures the existence ofAminus1 (see [72]) Clearly (11986710158403) implies
(1198673)
Theorem 18 Under assumptions (11986710158401) (1198672) (11986710158403) (1198674) and
(11986710158405) (6) with condition (7) has a mild solution 119906 = 119906(119905) for
each 1199060isin X such that lim
119905rarrinfin119906(119905) = 119906
infin
Proof The existence of a mild solution 119906(119905) is guaranteed byTheorem 10 Let us put
119892 (119905) =1003817100381710038171003817119906 (119905) minus 119906infin
1003817100381710038171003817
Finfin= lim119905rarrinfin
F (119905 119906infin)
(75)
We show that
lim119905rarrinfin
119892 (119905) = 0 (76)
Recall that if assumption (11986710158401) is fulfilled then for each 119911 isin X
we have (see [72])
int
infin
0
119890minusA119904
119911 119889119904 = minusAminus1119911 (77)
Using the above fact and (11986710158405) we get
119906infin= (minusA
minus1(minusAminus1119906infin)) = minusA
minus1Finfin
= int
infin
0
119890minusA119904
Finfin119889119904
(78)
Linking the above equality with (11986710158401) we obtain
119892 (119905)
=
10038171003817100381710038171003817100381710038171003817119890minusA1199051199060+ int
LrsquoHospitalrsquos rule for the fraction on the right-hand sideof inequality (84) we obtain that condition (76) is satisfiedThis fact completes the proof
6 An Application to the Ginzburg-LandauEquations of Superconductivity
In this section we formulate the gauged time-dependentGinzburg-Landau (TDGL) equations as an abstract evolutionequation in a Hilbert space Moreover we show applicationsof the above theorems to TDGL equations
We assume that Ω is a bounded domain in R119899 withboundary 120597Ω of class11986211That isΩ is an open and connectedset whose boundary 120597Ω is a compact (119899 minus 1)-manifolddescribed by Lipschitz continuous differentiable charts Weconsider two- and three-dimensional problems (119899 = 2 and119899 = 3 resp) Assume that the vector potential A takes its
values in R119899 The vector H will represent the (externally)applied magnetic field which is a function of space andtime similarly to A it takes its values in R119899 The function120574 is defined and satisfies Lipschitz condition on 120597Ω and120574(119909) ge 0 for 119909 isin 120597Ω The parameters in the TDGLequations are 120578 a (dimensionless) friction coefficient and 120581the (dimensionless) Ginzburg-Landau parameter
The order parameter should be thought of as the wavefunction of the center-of-massmotion of the ldquosuperelectronsrdquo(Cooper pairs) whose density is 119899
119904= |120595|
2 and whose fluxis J119904 The vector potential A determines the electromagnetic
field E = minus120597119905A minus nabla120601 is the electric field and B = nabla times A
is the magnetic induction where J the total current is thesum of a ldquonormalrdquo current J
119899= E the supercurrent J
119904 and
the transport current J119905= nabla times H The normal current obeys
Ohmrsquos law J119899= 120590119899E the ldquonormal conductivityrdquo coefficient 120590
119899
is equal to one in the adopted system of units The differenceM = BminusH is known as themagnetizationThe trivial solution(120595 = 0 B = H E = 0) represents the normal state where allsuperconducting properties have been lost
Nowwe accept the following notion all Banach spaces arereal the (real) dual of a Banach space119883 is denoted by1198831015840Thesymbol 119871119901(Ω) for 1 le 119901 le infin denotes the usual Lebesguespace with norm sdot
119871119901 (sdot sdot) is the inner product in 1198712(Ω)
1198821198982(Ω) for nonnegative integer 119898 is the usual Sobolev
space with norm sdot 1198821198982 1198821198982(Ω) is a Hilbert space for the
inner product (sdot sdot)1198982
given by (119906 V)1198982
= sum|120572|le119898
(120597120572119906 120597120572V)
for 119906 V isin 1198821198982(Ω) Fractional Sobolev space1198821199042(Ω) with afractional 119904 is defined by interpolation ([40 Chap VII] and[41 49 50]) 119862]
(Ω) for ] ge 0 ] = 119898 + 120582 with 0 le 120582 lt 1 isthe space of 119898 times continuous differentiable functions onΩ those 119898th-order derivatives satisfy the Holder conditionwith exponent 120582 if ] is a proper fraction the norm sdot
119862] is
defined in the usual wayThe definitions extend to the space of vector-valued
functions in the standard way with the caveat that the innerproduct in [1198712(Ω)]119899 is defined by (119906 V) = int
Ω119906 sdot V where the
symbol (119906 V) indicates the scalar product in R119899 Complex-valued functions are interpreted as vector-valued functionswith two real components
Functions that vary in space and time like the orderparameter and the vector potential are considered as map-pings from the time domain which is a subinterval of [0infin)into spaces of complex- or vector-valued functions definedin Ω Let 119883 = (119883 sdot
119883) be a Banach space of functions
defined inΩ Then the functions are defined in Ω Then thefunctions of space and time defined on Ω times (0 119879) for 119879 gt 0may be considered as elements of 119871119901(0 119879119883) for 1 le 119901 le infinor1198822119898(0 119879119883) for nonnegative119898 or119862]
(0 119879119883) for ] ge 0] = 119898 + 120582 with 0 le 120582 lt 1 Detailed definitions can be foundfor example in [43]
Obviously function spaces of ordered pairs (120595A) where120595 Ω rarr R2 and A Ω rarr R119899 (119899 = 2 3) play an importantrole in the study of the gauged TDGL equationsWe thereforeadapt the following special notationH = [119883(Ω)]
2times[119883(Ω)]
119899for any Banach space for the order parameter 120595 and thevector potential A respectively A suitable framework forthe functional analysis of the gauged TDGL equations is the
Journal of Function Spaces and Applications 9
Cartesian product W1+1205722 = [1198821+1205722
(Ω)]2times [1198821+1205722
(Ω)]119899
where 120572 isin (12 1) This space is continuously imbedded inW12 capLinfin
Assume H = 0 and H isin [1198712(Ω)]119899 Let AH be a minimizer
of the convex quadratic form 119869120596equiv J120596[119860]
119869120596 [A] = int
Ω
[120596(nabla sdot A)2 + |nabla times A minusH|2] 119889119909 (90)
on the domain
D (119869120596) = A isin [119882
12(Ω)]119899
n sdot A = 0 on 120597Ω (91)
We now introduce the reduced vector potential A1015840
A1015840 = A minus AH (92)
In terms of 120595 and A1015840 the gauged TDGL equations have thefollowing form
120597120595
120597119905minus
1
1205781205812Δ120595 = 120593 in Ω times (0infin)
120597A1015840
120597119905+ nabla times nabla times A1015840 minus 120596nabla (nabla sdot A1015840) = F in Ω times (0infin)
n sdot nabla + 120574120595 = 0 n sdot A1015840 = 0
n times (nabla sdot A1015840) = 0 on 120597Ω times (0infin)
(93)
Here 120593 and F are nonlinear functions of 120595 and A1015840
119888 gt 0 Hence A is positively definite in L2 ([44 Chap 1]equation (545)) If it does not lead to confusion we use thesame symbol A for the restriction A
120595and AA of A to the
respective linear subspace [1198712(Ω)]2 = [1198712(Ω)]2 times 0 (for 120595)and [1198712(Ω)]119899 equiv 0 times [1198712(Ω)]119899 (for A) ofL2
Now consider the initial-value problems (6) and (7) inL2 whereF(119905 119906) = (120593 F) 120593 and F is given by (94) and (95)and 119906
0= (1205950A0minus AH(0))
With 120582 isin (12 1) and 1199060isin W1+1205822 we say that 119906 are a
solution of (6) and (7) on the interval [0 119879] for some 119879 gt 0if 119906 [0 119879] rarr W1+1205822 is continuous and
119906 (119905) = 119890minusA(119905)
+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 for 119905 isin [0 119879]
(102)
in L2 A mild solution of the initial-value problems (6) and(7) defines a weak solution (120595A1015840) of the boundary valueproblem (93) which in turn defines a weak solution (120595A)of the gauged TDGL equations provided AH is sufficientlyregular
Namely let us assume that X = L2 and 1199060isin L2 and
119906 R+times R119899 rarr R119899 for 119899 isin N is an unknown function 119906 =
119906(119905 119909) In order to applyTheorems 10 and 14 we are not goingto consider 119906 as a function of 119905 and 119909 together but rather asa mapping 119906 of variable 119905 into the spaceX =L2 of functions119909 that is 119906 R
We observe that in the case when 119890minusA119905119905ge0
is the semi-group of contractions and 119886(119905) equiv 119886 119887(119905) equiv 119887 for 119905 isin
R+are constant after simple calculations based on estimate
(25) we get that the solution 119906 = 119906(119905) has the asymptoticcharacterization
119906 (119905) = 119874 (1199053) as 119905 997888rarr infin (103)
For further purposes let us formulate the followingassumption
(A) A is the infinitesimal generator of an exponentiallystable 119862
0-semigroup 119890minusA119905
119905ge0
The next result of this chapter is shown in the giventheorem below
Theorem21 Under assumptions (A) and (1198672)ndash(1198674) problem
(6)-(7) which is equivalent to the systems equations (1)ndash(5)(TDGL equations) has a mild solution 119906 = 119906(119905) for each1199060isin L2 which is globally attractive and locally uniformly
attractive
References
[1] V L Ginzburg and L D Landau ldquoOn the theory of supercon-ductivityrdquo Zhurnal Eksperimentalrsquonoi i Teoreticheskoi Fiziki vol20 pp 1064ndash1082 1950 English translation in L D LandauMen of Physics D ter Haar ed Vol I Pergamon Press OxfordUK pp 138ndash167 1965
[2] S Aizicovici and H Lee ldquoNonlinear nonlocal Cauchy problemsin Banach spacesrdquo Applied Mathematics Letters vol 18 no 4pp 401ndash407 2005
[3] S Aizicovici and M McKibben ldquoExistence results for a classof abstract nonlocal Cauchy problemsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 39 no 5 pp 649ndash6682000
[4] MMcKibbenDiscovering Evolution Equation with ApplicationCRC Press Taylor amp Francis Group 2011
[5] S Aizicovici and V Staicu ldquoMultivalued evolution equationswith nonlocal initial conditions in Banach spacesrdquo NonlinearDifferential Equations and Applications vol 14 no 3-4 pp 361ndash376 2007
[6] R P Agarwal and D OrsquoRegan Infinite Interval Problems for Dif-ferential Difference and Integral Equations Kluwer AcademicPublishers Dordrecht The Netherlands 2001
[7] Z Fan ldquoExistence of nondensely defined evolution equationswith nonlocal conditionsrdquo Nonlinear Analysis Theory Methodsamp Applications A vol 70 no 11 pp 3829ndash3836 2009
[8] Z Fan ldquoImpulsive problems for semilinear differential equa-tions with nonlocal conditionsrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 72 no 2 pp 1104ndash1109 2010
[9] Z Fan and G Li ldquoExistence results for semilinear differentialequations with nonlocal and impulsive conditionsrdquo Journal ofFunctional Analysis vol 258 no 5 pp 1709ndash1727 2010
[10] J Garcıa-Falset ldquoExistence results and asymptotic behavior fornonlocal abstract Cauchy problemsrdquo Journal of MathematicalAnalysis and Applications vol 338 no 1 pp 639ndash652 2008
[11] J Liang J H Liu and T-J Xiao ldquoNonlocal impulsive problemsfor nonlinear differential equations in Banach spacesrdquo Mathe-matical and Computer Modelling vol 49 no 3-4 pp 798ndash8042009
[12] L Zhu and G Li ldquoOn a nonlocal problem for semilinear differ-ential equations with upper semicontinuous nonlinearities ingeneral Banach spacesrdquo Journal of Mathematical Analysis andApplications vol 341 no 1 pp 660ndash675 2008
[13] Q Liu and R Yuan ldquoExistence of mild solutions for semilinearevolution equations with non-local initial conditionsrdquo Nonlin-ear AnalysisTheoryMethodsampApplications A vol 71 no 9 pp4177ndash4184 2009
[14] C Xie W Zhong and Z Fan ldquoExistence results for nonlinearnonlocal problems in Banach spacesrdquo Applied MathematicsLetters vol 22 no 7 pp 998ndash1002 2009
[15] T-J Xiao and J Liang ldquoExistence of classical solutions tononautonomous nonlocal parabolic problemsrdquoNonlinear Anal-ysisTheoryMethods and Applications vol 63 no 5-7 pp e225ndashe232 2005
[16] X Xue ldquo119871119901 theory for semilinear nonlocal problems with mea-sure of noncompactness in separable Banach spacesrdquo Journal ofFixed Point Theory and Applications vol 5 no 1 pp 129ndash1442009
[17] X Xue ldquoNonlinear differential equations with nonlocal condi-tions in Banach spacesrdquo Nonlinear Analysis Theory Methods ampApplications A vol 63 no 4 pp 575ndash586 2005
[18] X Xue ldquoExistence of solutions for semilinear nonlocal Cauchyproblems in Banach spacesrdquo Electronic Journal of DifferentialEquations vol 64 p 7 2005
[19] X Xue ldquoNonlocal nonlinear differential equations with a mea-sure of noncompactness in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 70 no 7 pp 2593ndash26012009
[20] L Olszowy ldquoExistence ofmild solutions for the semilinear non-local problem in Banach spacesrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 81 pp 211ndash223 2013
[21] D Bothe ldquoMultivalued perturbations of119898-accretive differentialinclusionsrdquo Israel Journal of Mathematics vol 108 pp 109ndash1381998
[22] H-S Ding J Liang G M NrsquoGuerekata and T-J XiaoldquoMild pseudo-almost periodic solutions of nonautonomoussemilinear evolution equationsrdquo Mathematical and ComputerModelling vol 45 no 5-6 pp 579ndash584 2007
[23] J Garcıa-Falset ldquoThe asymptotic behavior of the solutions of theCauchy problem generated by 120593-accretive operatorsrdquo Journal ofMathematical Analysis and Applications vol 310 no 2 pp 594ndash608 2005
[24] Z Fan and G Li ldquoAsymptotic behavior of the solutions of non-autonomous systems in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 68 no 12 pp 3733ndash37412008
[25] J Banas ldquoOn existence theorems for differential equations inBanach spacesrdquo Bulletin of the Australian Mathematical Societyvol 32 no 1 pp 73ndash82 1985
[26] J Banas ldquoMeasures of noncompactness in the space of contin-uous tempered functionsrdquo Demonstratio Mathematica vol 14no 1 pp 127ndash133 1981
Journal of Function Spaces and Applications 11
[27] J Banas and K GoebelMeasures of Noncompactness in BanachSpaces vol 60 ofLectureNotes in Pure andAppliedMathematicsMarcel Dekker New York NY USA 1980
[28] J Banas and M Lecko ldquoSolvability of infinite systems ofdifferential equations in Banach sequence spacesrdquo Journal ofComputational andAppliedMathematics vol 137 no 2 pp 363ndash375 2001
[29] J Banas and K Sadarangani ldquoCompactness conditions inthe study of functional differential and integral equationsrdquoAbstract and Applied Analysis vol 2013 Article ID 819315 14pages 2013
[30] M Mursaleen and S A Mohiuddine ldquoApplications of mea-sures of noncompactness to the infinite system of differentialequations in ℓ
119901spacesrdquo Nonlinear Analysis Theory Methods amp
Applications A vol 75 no 4 pp 2111ndash2115 2012[31] L Olszowy ldquoSolvability of some functional integral equationrdquo
Dynamic Systems and Applications vol 18 no 3-4 pp 667ndash6762009
[32] L Olszowy ldquoOn some measures of noncompactness in theFrechet spaces of continuous functionsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 72 pp 2119ndash2126 2010
[33] L Olszowy ldquoOn existence of solutions of a quadratic Urysohnintegral equation on an unbounded intervalrdquo CommentationesMathematicae vol 48 no 1 pp 103ndash112 2008
[34] L Olszowy ldquoExistence ofmild solutions for semilinear nonlocalCauchy problems in separable Banach spacesrdquo Journal of Anal-ysis and its Applications vol 32 no 2 pp 215ndash232 2013
[35] L Olszowy ldquoFixed point theorems in the Frechet space 119862(119877+)
and functional integral equations on an unbounded intervalrdquoApplied Mathematics and Computation vol 218 no 18 pp9066ndash9074 2012
[36] J Banas and D OrsquoRegan ldquoOn existence and local attractivity ofsolutions of a quadratic Volterra integral equation of fractionalorderrdquo Journal of Mathematical Analysis and Applications vol345 no 1 pp 573ndash582 2008
[37] L D Landau EM Lifshitz and L P Pitaevski Electrodynamicsof Continuous Media vol 8 Butterworth-Heinemann 2ndedition 1984
[38] L D Landau and E M Lifshitz Fluid Mechanics vol bButterworth-Heinemann 2nd edition 1987
[39] R Temam Infinite-Dimensional Dynamical Systems inMechan-ics and Physics vol 68 Springer New York NY USA 2ndedition 1997
[40] J K Hale Asymptotic Behavior of Dissipative Systems vol 25 ofMathematical Surveys and Monographs American Mathemati-cal Society Providence RI USA 1988
[41] R A Adams and J J F Fournier Sobolev Spaces vol 140Elsevier 2nd edition 2003
[42] V Mazrsquoya Sobolev Spaces with Applications to Elliptic PartialDifferential Equations Springer Heidelberg Germany 2ndedition 2011
[43] V Georgescu ldquoSome boundary value problems for differentialforms on compact Riemannian manifoldsrdquo Annali di Matemat-ica Pura ed Applicata vol 122 pp 159ndash198 1979
[44] D Henry Geometric Theory of Semilinear Parabolic Equationsvol 840 of Lecture Notes in Mathematics Springer New YorkNY USA 1981
[45] V Girault and P-A Raviart Finite Element Methods for Navier-Stokes Equations Springer New York NY USA 1986
[46] J Bardeen L N Cooper and J R Schrieffer ldquoTheory ofsuperconductivityrdquo Physical Review vol 108 pp 1175ndash12041957
[47] A A Abrikosov Fundamental of the Theory of Metals North-Holland Amstedram The Netherlands 1988
[48] M Tinkham Introduction To Superconductivity McGraw-HillNew York NY USA 2nd edition 1996
[49] P DeGennes Superconductivity inMetals and Alloys BenjaminNew York NY USA 1966
[50] H Brezis Functional Analysis Sobolev Spaces and PartialDifferential Equations Springer New York NY USA 2011
[51] E Zeidler Nonlinear Functional Analysis and its Applicationsvol 2 Springer New York NY USA 1990
[52] A Schmid ldquoA time dependent Ginzburg-Landau equation andits application to the problem of resistivity in the mixed staterdquoPhysik der KondensiertenMaterie vol 5 no 4 pp 302ndash317 1966
[53] C M Elliot and Q Tang Existence Theorems For an Evolution-ary Superconductivity Model University of Sussex BrightonUK 1992
[54] Q Tang ldquoOn an evolutionary system of Ginzburg-Landauequations with fixed total magnetic fluxrdquo Communications inPartial Differential Equations vol 20 no 1-2 pp 1ndash36 1995
[55] Q Du ldquoGlobal existence and uniqueness of solutions of thetime-dependent Ginzburg-Landau model for superconductiv-ityrdquo Applicable Analysis vol 53 no 1-2 pp 1ndash18 1994
[56] Z M Chen K-H Hoffmann and J Liang ldquoOn a nonstation-ary Ginzburg-Landau superconductivity modelrdquoMathematicalMethods in the Applied Sciences vol 16 no 12 pp 855ndash875 1993
[57] J Liang and Q Tang ldquoAsymptotic behaviour of the solutionsof an evolutionaryGinzburg-Landau superconductivitymodelrdquoJournal of Mathematical Analysis and Applications vol 195 no1 pp 92ndash107 1995
[58] L P Gorrsquokov and G M Eliasherberg ldquoGeneralization of theGinzburg-Landau equations for an nonstationary problemsin the case of alloys with paramagnetic impartiesrdquo ZhurnalEksperimentalrsquonoi i Teoreticheskoi Fiziki vol 54 pp 612ndash6261968 Soviet Physics vol 27 pp 328ndash334 1968
[59] J Fleckinger-Pelle and H G Kaper ldquoGauges for the Ginzburg-Landau equations of superconductivityrdquo Zeitschrift fur Ange-wandte Mathematik und Mechanik vol 76 no 2 pp 345ndash3481996
[60] P Takac ldquoOn the dynamical process generated by supercon-ductivity modelrdquo Zeitschrift fur Angewandte Mathematik undMechanik vol 76 no 52 pp 349ndash352 1995
[61] W D Gropp H G Kaper DM Levine M Palumbo and VMVinokur ldquoNumerical simulation of vortex dynamics in type-IIsuperconductorsrdquo Journal of Computational Physics vol 123 no2 pp 254ndash266 1996
[62] D W Braun G W Crabtree H G Kaper et al ldquoStructure of amoving vortex latticerdquo Physical Review Letters vol 76 no 5 pp831ndash834 1996
[63] G W Crabtree G K Leaf H G Kaper et al ldquoTime-dependent Ginzburg-Landau simulations of vortex guidance bytwin boundariesrdquo Physica C vol 263 no 1ndash4 pp 401ndash408 1996
[64] G W Carabtree G K Leaf H G Kaper D W Braun V MVinokur andA E Koshelev ldquoDynamics vortex phases in super-conductors with correlated disorderrdquo Preprint ANLMCS-P590-0496 Mathematics and Computer Science DivisionAragonne National Laboratory 1996
[65] Th Gallay ldquoA center-stable manifold theorem for differentialequations in Banach spacesrdquo Communications in MathematicalPhysics vol 152 no 2 pp 249ndash268 1993
[66] J-M Ghidaglia and B Heron ldquoDimension of the attractorsassociated to the Ginzburg-Landau partial differential equa-tionrdquo Physica D vol 28 no 3 pp 282ndash304 1987
12 Journal of Function Spaces and Applications
[67] P Mattila Geometry of Sets and Measures in Euclidean Spacesvol 44 Cambridge University Press Cambridge UK 1995
[68] L HormanderThe Analysis of Linear Partial Differential Oper-ators vol 1 Springer Berlin Germany 2nd edition 1990
[69] H Amann Linear and Quasilinear Parabolic ProblemBikhauser Basel Switzerland 1995
[70] H-P Heinz ldquoOn the behaviour ofmeasures of noncompactnesswith respect to differentiation and integration of vector-valuedfunctionsrdquo Nonlinear Analysis Theory Methods amp ApplicationsA vol 7 no 12 pp 1351ndash1371 1983
[71] R P Agarwal M Meehan and D OrsquoRegan Fixed Point Theoryand Applications vol 141 of Cambridge Tracts in MathematicsCambridge University Press Cambridge UK 2001
[72] A Pazy Semigroups of Linear Operators and Applications toPartial Differential Equations Springer New York NY USA1983
[73] J Fleckinger-Pelle H G Kaper and P Takac ldquoDynamics of theGinzburg-Landau equations of superconductivityrdquo NonlinearAnalysis Theory Methods amp Applications A vol 32 no 5 pp647ndash665 1998
[74] H G Kaper and P Takac ldquoAn equivalence relation for theGinzburg-Landau equations of superconductivityrdquo Journal ofApplied Mathematics and Physics vol 48 no 4 pp 665ndash6751997
However only in a few papers problem (6)-(7) was con-sidered on an unbounded interval [10 22] Additionallyin assumptions concerning the semigroup 119890
minusA(119905minus119904)119905ge0
orthe function F(119905 119906) rather restrictive conditions have beenimposedwhich frequently require the compactness ofF(119905 119906)or 119890minusA(119905minus119904)
119905ge0or equicontinuity of semigroup 119890minusA(119905minus119904)
119905ge0
[2ndash11 13ndash22] It is worthwhile mentioning that only a fewpapers have discussed asymptotic behaviour of solutionsmostly without the formulation of existence theorems [10 2324]
In this paper we present conditions guaranteeing theexistence of mild solutions on an unbounded interval ofproblem (6)-(7) We dispense with assumptions on thecompactness ofF(119905 119906) or 119890minusA(119905minus119904)
119905ge0
Moreover we formulate theorems about asymptotic prop-erties and both local and global attractivity of solutions ofproblem (6)-(7) The existence theorems concerning thatproblem will be proved with the help of the technique of afamily of measures of noncompactness in the Frechet space119862(R+X) and Schauder-Tychonoff fixed-point principle
The approach applied here was introduced and developedin [20 25ndash35] for instance
The paper is organized as follows In Section 2 there aregiven notation and auxiliary facts that are needed further onIn Section 3 we formulate and prove a theorem on the exis-tence of mild solution of (6) with condition (7) Moreoverthe rate of the growth of those solutions is characterized
Section 4 contains a theorem on local and global attrac-tivity of solutions of problem (6)-(7) In Section 5 we give atheorem describing the asymptotic behaviour of solutions of(6)-(7)
Finally in Section 6 we formulate the gauged TDGLequation as an abstract evolution equation in a Hilbertspace Moreover this section is devoted to present examplesof application of previously obtained theorems for TDGLequations
In order to convert the systems equations (1)ndash(5) to theCauchy problem (6)-(7) we are based on the papers andmonographs (see [1 30 36ndash69])
2 Preliminaries
Let (X sdot ) be a real Banach space with the zero element 120579Denote by 119861(119909 119903) the closed ball inX centered at 119909 and withradius 119903 If119883 is a subset of a linear topological space then thesymbols 119883 and Conv119883 stand for the closure and the convexclosure of119883 respectively
Let 120594 denote the Hausdorff measure of noncompactnessinX defined on bounded subsets119883 ofX in the followingway(see [27])
120594 (119883) = inf 119903 gt 0 119883 can be covered with finite
numbers of balls of radius 119903 (8)
Further denote by 119862(R+X) the Frechet space consisting
of all functions defined and continuous on R+with values in
a Banach space X The space 119862(R+X) is furnished with the
It can be shown that the family 120583119879119879ge0
has the followingproperties
1119900 the family ker120583
119879 = 119880 isin M
119862 120583119879(119880) = 0 for 119879 ge
0 is nonempty and ker120583119879 = N
119862
2119900119880 sub 119881 rArr 120583
119879(119880) le 120583
119879(119881) for 119879 ge 0
3119900120583119879(Conv119880) = 120583
119879(119880) for 119879 ge 0
Journal of Function Spaces and Applications 3
4119900 if 119880
119899infin
119899=1is a sequence of closed sets from M
119862such
that 119880119899+1
sub 119880119899(119899 = 1 2 ) and if lim
119899rarrinfin120583119879(119880119899) =
0 for each 119879 ge 0 then the intersection set 119880infin
=
⋂infin
119899=1119880119899is nonempty
Remark 1 Observe that in contrast to the definition of theconcept of a measure of noncompactness given in [27] ourmapping 120583
119879may take the valueinfin Moreover a single map-
ping 120583119879is not the measure of noncompactness in 119862(R
+X)
but the whole family 120583119879119879ge0
can be called family of measuresof noncompactness
Remark 2 Let us notice that the intersection set 119880infin
de-scribed in axiom 4
119900 is a member of the kernel of the familyof measure of noncompactness 120583
119879119879ge0
and therefore 119880infin
is compact in 119862(R+X) In fact the inequality 120583
119879(119880infin) le
120583119879(119880119899) for 119899 = 1 2 and 119879 ge 0 implies that 120583
119879(119880infin) = 0
Hence 119880infinisin ker120583
119879 This property of the set 119880
infinwill be
very important in our further investigations
Definition 3 A set 119890minusA119905119905ge0
of bounded linear operators onX is called 119862
0-semigroup if
(i) 119890minusA0 = 119868 119890minusA(119905+119904) = 119890minusA119905119890minusA119904 for 119905 119904 ge 0(ii) for all 119909 isin X the function R
Finally using Remark 2 for the measure 120583119879 we deduce
that the set Γinfin= ⋂infin
119899=0Γ119899is nonempty convex and compact
Then by the Schauder-Tychonoff theorem we conclude thatoperator 119865 Γ
infinrarr Γinfin
has at least one fixed-point 119906 = 119906(119905)Obviously the function 119906 = 119906(119905) is a solution of problem (6)-(7) and in view of the definition of the set Γ
infin the estimate
119906(119905) le P(119905) holds to be trueThis completes the proof
4 Local and Global Attractivity
Following the concepts introduced in [36] we introduce firsta few definitions of various kinds of the concept of attractivityof mild solution of (6)
Definition 11 The mild solution 119906 = 119906(119905) of (6) with initialcondition (7) is said to be globally attractive if for each mildsolution V = V(119905) of (6) with initial condition V(0) = V
0we
have that
lim119905rarrinfin
(119906 (119905) minus V (119905)) = 120579 (55)
In other words we may say that solutions of (6) are globallyattractive if for arbitrary solutions 119906(119905) and V(119905) of thisequation condition (55) are satisfied
Definition 12 We say that mild solution 119906 = 119906(119905) of (6) withinitial condition (7) is locally attractive if there exists a ball119861(119906(0) 119903) in the space X such that for arbitrary solution V(119905)of (1) with initial-value V(0) isin 119861(119906(0) 119903) condition (55) doeshold
In the case when the limit (55) is uniform with respect toall solutions V(119905) that is when for each 120576 gt 0 there exist119879 gt 0such that
119906 (119905) minus V (119905) le 120576 (56)
for all V(119905) being solutions of (6) with initial-value V(0) isin119861(119906(0) 119903) and for 119905 ge 119879 we will say that solution 119906 = 119906(119905)
is uniformly locally attractive on R+
Now we formulate themain result of this sectionWe willconsider (6) under the following conditions
(1198671015840
1) A is the infinitesimal generator of an exponentiallystable119862
0-semigroup 119890minusA119905
119905ge0 that is there exist119872 gt
0 120588 gt 0 such that 119890minusA119905 le 119872119890minus120588119905 for all 119905 ge 0
6 Journal of Function Spaces and Applications
(1198675) there exist locally integrable functions119898 R
+rarr R+
such that
F (119905 119906) minusF (119905 V) le 119898 (119905) 119906 minus V (57)
for 119905 ge 0 and 119906 V isin X Moreover we assume that
lim119905rarrinfin
(int
119905
0
119898(119904) 119889119904 minus120588
119872119905) = minusinfin (58)
Remark 13 The property (11986710158401) is generally satisfied in diffu-
sion problem A necessary and sufficient condition for (11986710158401)
is presented in [72]
The main result of this section is shown in the giventheorem below
Theorem 14 Under assumptions (11986710158401) and (119867
2)ndash(1198675) prob-
lem (6)-(7) has amild solution 119906 = 119906(119905) for each 1199060isin X which
is globally attractive and locally uniformly attractive
Proof Existence of a solution 119906 = 119906(119905) is a consequence ofTheorem 10 Let us fix 119903 gt 0 and V
0isin 119861(119906(0) 119903)
Let V = V(119905) denote a mild solution of (6) with the initialcondition V(0) = V
0 Using (1198671015840
1) and (119867
3) we get
V (119905) le10038171003817100381710038171003817119890minusA119905V0
Using again Lemma 5 for the above estimate (where ℎ(119905) =119890120588119905119892(119905)) we obtain
119890120588119905119892 (119905) le 119872119903
+ int
119905
0
1198722119903119898 (119904) exp(int
119905
119904
119872119898(120591) 119889120591) 119889119904
(65)
Elementary calculations lead to the following equality
int
119905
0
1198722119903119898 (119904) exp(int
119905
119904
119872119898(120591) 119889120591) 119889119904
= 119872119903(exp(int119905
0
119872119898(119904) 119889119904) minus 1)
(66)
Hence
119892 (119905) le 119872119903 exp (minus120588119905) + 119872119903 exp(int119905
0
119872119898(119904) 119889119904 minus 120588119905)
minus119872119903 exp (minus120588119905) (67)
Applying assumption (1198675) we derive
lim119905rarrinfin
119892 (119905) = 0 (68)
and this proves that 119906(119905) is locally attractive Finally thisequality together with definition of the function 119892(119905) impliesthat 119906(119905) is globally attractive The proof is complete
Remark 15 In the case when 119898(119905) equiv 119898 is constant the fol-lowing condition
lim119905rarrinfin
(int
119905
0
119898(119904) 119889119904 minus120588
119872119905) = minusinfin (69)
means that 119898 lt 120588119872 Observe that this condition cannotbe weakened This observation is illustrated by the followingexampled
Example 16 Let X = R 119898(119905) equiv 119898 F(119905 119906) = sin 119905 + 119898119906119872 = 1 and 119890minusA119905 = 119890minus120588119905 Then the equation
119906 (119905) = 119890minusA1199051199060+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 (70)
(for any fixed 1199060isin R) has the solution 119906(119905) expressed by the
following formula
119906 (119905) =(120588 minus 119898) sin 119905 minus cos 119905
(120588 minus 119898)2
+ 1+ (1199060+
1
(120588 minus 119898)2
+ 1) 119890(119898minus120588)119905
(71)
Notice that for 119898 ge 120588 the solution 119906(119905) is neither globallyattractive nor locally uniformly attractive because for each
Journal of Function Spaces and Applications 7
other solution V(119905) with initial condition V(0) = V0 obviously
described by similar formula as 119906(119905) we would have acontradiction
In this section we will give a theorem describing asymptoticbehaviour of mild solutions of (6) with condition (7) Thistheorem generalizes the result included in [72Theorem 44]First we formulate the assumptions
(1198671015840
3) This condition is almost identical with (119867
3) and the
only difference is that we assume the functions 119886 and119887 are locally essentially bounded on R
+
(1198671015840
5) There exists 119906
infinisin X such that there exists the limit
lim119905rarrinfin
F(119905 119906infin) and
lim119905rarrinfin
F (119905 119906infin) = A
minus1119906infin (73)
Moreover there exists a number119898 lt 120588119872 such that1003817100381710038171003817F (119905 119906) minusF (119905 119906
infin)1003817100381710038171003817 le 119898
1003817100381710038171003817119906 minus 119906infin1003817100381710038171003817 (74)
for 119905 ge 0 and 119906 isin X
Remark 17 The condition (11986710158405) in conjunction with (1198671015840
1)
ensures the existence ofAminus1 (see [72]) Clearly (11986710158403) implies
(1198673)
Theorem 18 Under assumptions (11986710158401) (1198672) (11986710158403) (1198674) and
(11986710158405) (6) with condition (7) has a mild solution 119906 = 119906(119905) for
each 1199060isin X such that lim
119905rarrinfin119906(119905) = 119906
infin
Proof The existence of a mild solution 119906(119905) is guaranteed byTheorem 10 Let us put
119892 (119905) =1003817100381710038171003817119906 (119905) minus 119906infin
1003817100381710038171003817
Finfin= lim119905rarrinfin
F (119905 119906infin)
(75)
We show that
lim119905rarrinfin
119892 (119905) = 0 (76)
Recall that if assumption (11986710158401) is fulfilled then for each 119911 isin X
we have (see [72])
int
infin
0
119890minusA119904
119911 119889119904 = minusAminus1119911 (77)
Using the above fact and (11986710158405) we get
119906infin= (minusA
minus1(minusAminus1119906infin)) = minusA
minus1Finfin
= int
infin
0
119890minusA119904
Finfin119889119904
(78)
Linking the above equality with (11986710158401) we obtain
119892 (119905)
=
10038171003817100381710038171003817100381710038171003817119890minusA1199051199060+ int
LrsquoHospitalrsquos rule for the fraction on the right-hand sideof inequality (84) we obtain that condition (76) is satisfiedThis fact completes the proof
6 An Application to the Ginzburg-LandauEquations of Superconductivity
In this section we formulate the gauged time-dependentGinzburg-Landau (TDGL) equations as an abstract evolutionequation in a Hilbert space Moreover we show applicationsof the above theorems to TDGL equations
We assume that Ω is a bounded domain in R119899 withboundary 120597Ω of class11986211That isΩ is an open and connectedset whose boundary 120597Ω is a compact (119899 minus 1)-manifolddescribed by Lipschitz continuous differentiable charts Weconsider two- and three-dimensional problems (119899 = 2 and119899 = 3 resp) Assume that the vector potential A takes its
values in R119899 The vector H will represent the (externally)applied magnetic field which is a function of space andtime similarly to A it takes its values in R119899 The function120574 is defined and satisfies Lipschitz condition on 120597Ω and120574(119909) ge 0 for 119909 isin 120597Ω The parameters in the TDGLequations are 120578 a (dimensionless) friction coefficient and 120581the (dimensionless) Ginzburg-Landau parameter
The order parameter should be thought of as the wavefunction of the center-of-massmotion of the ldquosuperelectronsrdquo(Cooper pairs) whose density is 119899
119904= |120595|
2 and whose fluxis J119904 The vector potential A determines the electromagnetic
field E = minus120597119905A minus nabla120601 is the electric field and B = nabla times A
is the magnetic induction where J the total current is thesum of a ldquonormalrdquo current J
119899= E the supercurrent J
119904 and
the transport current J119905= nabla times H The normal current obeys
Ohmrsquos law J119899= 120590119899E the ldquonormal conductivityrdquo coefficient 120590
119899
is equal to one in the adopted system of units The differenceM = BminusH is known as themagnetizationThe trivial solution(120595 = 0 B = H E = 0) represents the normal state where allsuperconducting properties have been lost
Nowwe accept the following notion all Banach spaces arereal the (real) dual of a Banach space119883 is denoted by1198831015840Thesymbol 119871119901(Ω) for 1 le 119901 le infin denotes the usual Lebesguespace with norm sdot
119871119901 (sdot sdot) is the inner product in 1198712(Ω)
1198821198982(Ω) for nonnegative integer 119898 is the usual Sobolev
space with norm sdot 1198821198982 1198821198982(Ω) is a Hilbert space for the
inner product (sdot sdot)1198982
given by (119906 V)1198982
= sum|120572|le119898
(120597120572119906 120597120572V)
for 119906 V isin 1198821198982(Ω) Fractional Sobolev space1198821199042(Ω) with afractional 119904 is defined by interpolation ([40 Chap VII] and[41 49 50]) 119862]
(Ω) for ] ge 0 ] = 119898 + 120582 with 0 le 120582 lt 1 isthe space of 119898 times continuous differentiable functions onΩ those 119898th-order derivatives satisfy the Holder conditionwith exponent 120582 if ] is a proper fraction the norm sdot
119862] is
defined in the usual wayThe definitions extend to the space of vector-valued
functions in the standard way with the caveat that the innerproduct in [1198712(Ω)]119899 is defined by (119906 V) = int
Ω119906 sdot V where the
symbol (119906 V) indicates the scalar product in R119899 Complex-valued functions are interpreted as vector-valued functionswith two real components
Functions that vary in space and time like the orderparameter and the vector potential are considered as map-pings from the time domain which is a subinterval of [0infin)into spaces of complex- or vector-valued functions definedin Ω Let 119883 = (119883 sdot
119883) be a Banach space of functions
defined inΩ Then the functions are defined in Ω Then thefunctions of space and time defined on Ω times (0 119879) for 119879 gt 0may be considered as elements of 119871119901(0 119879119883) for 1 le 119901 le infinor1198822119898(0 119879119883) for nonnegative119898 or119862]
(0 119879119883) for ] ge 0] = 119898 + 120582 with 0 le 120582 lt 1 Detailed definitions can be foundfor example in [43]
Obviously function spaces of ordered pairs (120595A) where120595 Ω rarr R2 and A Ω rarr R119899 (119899 = 2 3) play an importantrole in the study of the gauged TDGL equationsWe thereforeadapt the following special notationH = [119883(Ω)]
2times[119883(Ω)]
119899for any Banach space for the order parameter 120595 and thevector potential A respectively A suitable framework forthe functional analysis of the gauged TDGL equations is the
Journal of Function Spaces and Applications 9
Cartesian product W1+1205722 = [1198821+1205722
(Ω)]2times [1198821+1205722
(Ω)]119899
where 120572 isin (12 1) This space is continuously imbedded inW12 capLinfin
Assume H = 0 and H isin [1198712(Ω)]119899 Let AH be a minimizer
of the convex quadratic form 119869120596equiv J120596[119860]
119869120596 [A] = int
Ω
[120596(nabla sdot A)2 + |nabla times A minusH|2] 119889119909 (90)
on the domain
D (119869120596) = A isin [119882
12(Ω)]119899
n sdot A = 0 on 120597Ω (91)
We now introduce the reduced vector potential A1015840
A1015840 = A minus AH (92)
In terms of 120595 and A1015840 the gauged TDGL equations have thefollowing form
120597120595
120597119905minus
1
1205781205812Δ120595 = 120593 in Ω times (0infin)
120597A1015840
120597119905+ nabla times nabla times A1015840 minus 120596nabla (nabla sdot A1015840) = F in Ω times (0infin)
n sdot nabla + 120574120595 = 0 n sdot A1015840 = 0
n times (nabla sdot A1015840) = 0 on 120597Ω times (0infin)
(93)
Here 120593 and F are nonlinear functions of 120595 and A1015840
119888 gt 0 Hence A is positively definite in L2 ([44 Chap 1]equation (545)) If it does not lead to confusion we use thesame symbol A for the restriction A
120595and AA of A to the
respective linear subspace [1198712(Ω)]2 = [1198712(Ω)]2 times 0 (for 120595)and [1198712(Ω)]119899 equiv 0 times [1198712(Ω)]119899 (for A) ofL2
Now consider the initial-value problems (6) and (7) inL2 whereF(119905 119906) = (120593 F) 120593 and F is given by (94) and (95)and 119906
0= (1205950A0minus AH(0))
With 120582 isin (12 1) and 1199060isin W1+1205822 we say that 119906 are a
solution of (6) and (7) on the interval [0 119879] for some 119879 gt 0if 119906 [0 119879] rarr W1+1205822 is continuous and
119906 (119905) = 119890minusA(119905)
+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 for 119905 isin [0 119879]
(102)
in L2 A mild solution of the initial-value problems (6) and(7) defines a weak solution (120595A1015840) of the boundary valueproblem (93) which in turn defines a weak solution (120595A)of the gauged TDGL equations provided AH is sufficientlyregular
Namely let us assume that X = L2 and 1199060isin L2 and
119906 R+times R119899 rarr R119899 for 119899 isin N is an unknown function 119906 =
119906(119905 119909) In order to applyTheorems 10 and 14 we are not goingto consider 119906 as a function of 119905 and 119909 together but rather asa mapping 119906 of variable 119905 into the spaceX =L2 of functions119909 that is 119906 R
We observe that in the case when 119890minusA119905119905ge0
is the semi-group of contractions and 119886(119905) equiv 119886 119887(119905) equiv 119887 for 119905 isin
R+are constant after simple calculations based on estimate
(25) we get that the solution 119906 = 119906(119905) has the asymptoticcharacterization
119906 (119905) = 119874 (1199053) as 119905 997888rarr infin (103)
For further purposes let us formulate the followingassumption
(A) A is the infinitesimal generator of an exponentiallystable 119862
0-semigroup 119890minusA119905
119905ge0
The next result of this chapter is shown in the giventheorem below
Theorem21 Under assumptions (A) and (1198672)ndash(1198674) problem
(6)-(7) which is equivalent to the systems equations (1)ndash(5)(TDGL equations) has a mild solution 119906 = 119906(119905) for each1199060isin L2 which is globally attractive and locally uniformly
attractive
References
[1] V L Ginzburg and L D Landau ldquoOn the theory of supercon-ductivityrdquo Zhurnal Eksperimentalrsquonoi i Teoreticheskoi Fiziki vol20 pp 1064ndash1082 1950 English translation in L D LandauMen of Physics D ter Haar ed Vol I Pergamon Press OxfordUK pp 138ndash167 1965
[2] S Aizicovici and H Lee ldquoNonlinear nonlocal Cauchy problemsin Banach spacesrdquo Applied Mathematics Letters vol 18 no 4pp 401ndash407 2005
[3] S Aizicovici and M McKibben ldquoExistence results for a classof abstract nonlocal Cauchy problemsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 39 no 5 pp 649ndash6682000
[4] MMcKibbenDiscovering Evolution Equation with ApplicationCRC Press Taylor amp Francis Group 2011
[5] S Aizicovici and V Staicu ldquoMultivalued evolution equationswith nonlocal initial conditions in Banach spacesrdquo NonlinearDifferential Equations and Applications vol 14 no 3-4 pp 361ndash376 2007
[6] R P Agarwal and D OrsquoRegan Infinite Interval Problems for Dif-ferential Difference and Integral Equations Kluwer AcademicPublishers Dordrecht The Netherlands 2001
[7] Z Fan ldquoExistence of nondensely defined evolution equationswith nonlocal conditionsrdquo Nonlinear Analysis Theory Methodsamp Applications A vol 70 no 11 pp 3829ndash3836 2009
[8] Z Fan ldquoImpulsive problems for semilinear differential equa-tions with nonlocal conditionsrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 72 no 2 pp 1104ndash1109 2010
[9] Z Fan and G Li ldquoExistence results for semilinear differentialequations with nonlocal and impulsive conditionsrdquo Journal ofFunctional Analysis vol 258 no 5 pp 1709ndash1727 2010
[10] J Garcıa-Falset ldquoExistence results and asymptotic behavior fornonlocal abstract Cauchy problemsrdquo Journal of MathematicalAnalysis and Applications vol 338 no 1 pp 639ndash652 2008
[11] J Liang J H Liu and T-J Xiao ldquoNonlocal impulsive problemsfor nonlinear differential equations in Banach spacesrdquo Mathe-matical and Computer Modelling vol 49 no 3-4 pp 798ndash8042009
[12] L Zhu and G Li ldquoOn a nonlocal problem for semilinear differ-ential equations with upper semicontinuous nonlinearities ingeneral Banach spacesrdquo Journal of Mathematical Analysis andApplications vol 341 no 1 pp 660ndash675 2008
[13] Q Liu and R Yuan ldquoExistence of mild solutions for semilinearevolution equations with non-local initial conditionsrdquo Nonlin-ear AnalysisTheoryMethodsampApplications A vol 71 no 9 pp4177ndash4184 2009
[14] C Xie W Zhong and Z Fan ldquoExistence results for nonlinearnonlocal problems in Banach spacesrdquo Applied MathematicsLetters vol 22 no 7 pp 998ndash1002 2009
[15] T-J Xiao and J Liang ldquoExistence of classical solutions tononautonomous nonlocal parabolic problemsrdquoNonlinear Anal-ysisTheoryMethods and Applications vol 63 no 5-7 pp e225ndashe232 2005
[16] X Xue ldquo119871119901 theory for semilinear nonlocal problems with mea-sure of noncompactness in separable Banach spacesrdquo Journal ofFixed Point Theory and Applications vol 5 no 1 pp 129ndash1442009
[17] X Xue ldquoNonlinear differential equations with nonlocal condi-tions in Banach spacesrdquo Nonlinear Analysis Theory Methods ampApplications A vol 63 no 4 pp 575ndash586 2005
[18] X Xue ldquoExistence of solutions for semilinear nonlocal Cauchyproblems in Banach spacesrdquo Electronic Journal of DifferentialEquations vol 64 p 7 2005
[19] X Xue ldquoNonlocal nonlinear differential equations with a mea-sure of noncompactness in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 70 no 7 pp 2593ndash26012009
[20] L Olszowy ldquoExistence ofmild solutions for the semilinear non-local problem in Banach spacesrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 81 pp 211ndash223 2013
[21] D Bothe ldquoMultivalued perturbations of119898-accretive differentialinclusionsrdquo Israel Journal of Mathematics vol 108 pp 109ndash1381998
[22] H-S Ding J Liang G M NrsquoGuerekata and T-J XiaoldquoMild pseudo-almost periodic solutions of nonautonomoussemilinear evolution equationsrdquo Mathematical and ComputerModelling vol 45 no 5-6 pp 579ndash584 2007
[23] J Garcıa-Falset ldquoThe asymptotic behavior of the solutions of theCauchy problem generated by 120593-accretive operatorsrdquo Journal ofMathematical Analysis and Applications vol 310 no 2 pp 594ndash608 2005
[24] Z Fan and G Li ldquoAsymptotic behavior of the solutions of non-autonomous systems in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 68 no 12 pp 3733ndash37412008
[25] J Banas ldquoOn existence theorems for differential equations inBanach spacesrdquo Bulletin of the Australian Mathematical Societyvol 32 no 1 pp 73ndash82 1985
[26] J Banas ldquoMeasures of noncompactness in the space of contin-uous tempered functionsrdquo Demonstratio Mathematica vol 14no 1 pp 127ndash133 1981
Journal of Function Spaces and Applications 11
[27] J Banas and K GoebelMeasures of Noncompactness in BanachSpaces vol 60 ofLectureNotes in Pure andAppliedMathematicsMarcel Dekker New York NY USA 1980
[28] J Banas and M Lecko ldquoSolvability of infinite systems ofdifferential equations in Banach sequence spacesrdquo Journal ofComputational andAppliedMathematics vol 137 no 2 pp 363ndash375 2001
[29] J Banas and K Sadarangani ldquoCompactness conditions inthe study of functional differential and integral equationsrdquoAbstract and Applied Analysis vol 2013 Article ID 819315 14pages 2013
[30] M Mursaleen and S A Mohiuddine ldquoApplications of mea-sures of noncompactness to the infinite system of differentialequations in ℓ
119901spacesrdquo Nonlinear Analysis Theory Methods amp
Applications A vol 75 no 4 pp 2111ndash2115 2012[31] L Olszowy ldquoSolvability of some functional integral equationrdquo
Dynamic Systems and Applications vol 18 no 3-4 pp 667ndash6762009
[32] L Olszowy ldquoOn some measures of noncompactness in theFrechet spaces of continuous functionsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 72 pp 2119ndash2126 2010
[33] L Olszowy ldquoOn existence of solutions of a quadratic Urysohnintegral equation on an unbounded intervalrdquo CommentationesMathematicae vol 48 no 1 pp 103ndash112 2008
[34] L Olszowy ldquoExistence ofmild solutions for semilinear nonlocalCauchy problems in separable Banach spacesrdquo Journal of Anal-ysis and its Applications vol 32 no 2 pp 215ndash232 2013
[35] L Olszowy ldquoFixed point theorems in the Frechet space 119862(119877+)
and functional integral equations on an unbounded intervalrdquoApplied Mathematics and Computation vol 218 no 18 pp9066ndash9074 2012
[36] J Banas and D OrsquoRegan ldquoOn existence and local attractivity ofsolutions of a quadratic Volterra integral equation of fractionalorderrdquo Journal of Mathematical Analysis and Applications vol345 no 1 pp 573ndash582 2008
[37] L D Landau EM Lifshitz and L P Pitaevski Electrodynamicsof Continuous Media vol 8 Butterworth-Heinemann 2ndedition 1984
[38] L D Landau and E M Lifshitz Fluid Mechanics vol bButterworth-Heinemann 2nd edition 1987
[39] R Temam Infinite-Dimensional Dynamical Systems inMechan-ics and Physics vol 68 Springer New York NY USA 2ndedition 1997
[40] J K Hale Asymptotic Behavior of Dissipative Systems vol 25 ofMathematical Surveys and Monographs American Mathemati-cal Society Providence RI USA 1988
[41] R A Adams and J J F Fournier Sobolev Spaces vol 140Elsevier 2nd edition 2003
[42] V Mazrsquoya Sobolev Spaces with Applications to Elliptic PartialDifferential Equations Springer Heidelberg Germany 2ndedition 2011
[43] V Georgescu ldquoSome boundary value problems for differentialforms on compact Riemannian manifoldsrdquo Annali di Matemat-ica Pura ed Applicata vol 122 pp 159ndash198 1979
[44] D Henry Geometric Theory of Semilinear Parabolic Equationsvol 840 of Lecture Notes in Mathematics Springer New YorkNY USA 1981
[45] V Girault and P-A Raviart Finite Element Methods for Navier-Stokes Equations Springer New York NY USA 1986
[46] J Bardeen L N Cooper and J R Schrieffer ldquoTheory ofsuperconductivityrdquo Physical Review vol 108 pp 1175ndash12041957
[47] A A Abrikosov Fundamental of the Theory of Metals North-Holland Amstedram The Netherlands 1988
[48] M Tinkham Introduction To Superconductivity McGraw-HillNew York NY USA 2nd edition 1996
[49] P DeGennes Superconductivity inMetals and Alloys BenjaminNew York NY USA 1966
[50] H Brezis Functional Analysis Sobolev Spaces and PartialDifferential Equations Springer New York NY USA 2011
[51] E Zeidler Nonlinear Functional Analysis and its Applicationsvol 2 Springer New York NY USA 1990
[52] A Schmid ldquoA time dependent Ginzburg-Landau equation andits application to the problem of resistivity in the mixed staterdquoPhysik der KondensiertenMaterie vol 5 no 4 pp 302ndash317 1966
[53] C M Elliot and Q Tang Existence Theorems For an Evolution-ary Superconductivity Model University of Sussex BrightonUK 1992
[54] Q Tang ldquoOn an evolutionary system of Ginzburg-Landauequations with fixed total magnetic fluxrdquo Communications inPartial Differential Equations vol 20 no 1-2 pp 1ndash36 1995
[55] Q Du ldquoGlobal existence and uniqueness of solutions of thetime-dependent Ginzburg-Landau model for superconductiv-ityrdquo Applicable Analysis vol 53 no 1-2 pp 1ndash18 1994
[56] Z M Chen K-H Hoffmann and J Liang ldquoOn a nonstation-ary Ginzburg-Landau superconductivity modelrdquoMathematicalMethods in the Applied Sciences vol 16 no 12 pp 855ndash875 1993
[57] J Liang and Q Tang ldquoAsymptotic behaviour of the solutionsof an evolutionaryGinzburg-Landau superconductivitymodelrdquoJournal of Mathematical Analysis and Applications vol 195 no1 pp 92ndash107 1995
[58] L P Gorrsquokov and G M Eliasherberg ldquoGeneralization of theGinzburg-Landau equations for an nonstationary problemsin the case of alloys with paramagnetic impartiesrdquo ZhurnalEksperimentalrsquonoi i Teoreticheskoi Fiziki vol 54 pp 612ndash6261968 Soviet Physics vol 27 pp 328ndash334 1968
[59] J Fleckinger-Pelle and H G Kaper ldquoGauges for the Ginzburg-Landau equations of superconductivityrdquo Zeitschrift fur Ange-wandte Mathematik und Mechanik vol 76 no 2 pp 345ndash3481996
[60] P Takac ldquoOn the dynamical process generated by supercon-ductivity modelrdquo Zeitschrift fur Angewandte Mathematik undMechanik vol 76 no 52 pp 349ndash352 1995
[61] W D Gropp H G Kaper DM Levine M Palumbo and VMVinokur ldquoNumerical simulation of vortex dynamics in type-IIsuperconductorsrdquo Journal of Computational Physics vol 123 no2 pp 254ndash266 1996
[62] D W Braun G W Crabtree H G Kaper et al ldquoStructure of amoving vortex latticerdquo Physical Review Letters vol 76 no 5 pp831ndash834 1996
[63] G W Crabtree G K Leaf H G Kaper et al ldquoTime-dependent Ginzburg-Landau simulations of vortex guidance bytwin boundariesrdquo Physica C vol 263 no 1ndash4 pp 401ndash408 1996
[64] G W Carabtree G K Leaf H G Kaper D W Braun V MVinokur andA E Koshelev ldquoDynamics vortex phases in super-conductors with correlated disorderrdquo Preprint ANLMCS-P590-0496 Mathematics and Computer Science DivisionAragonne National Laboratory 1996
[65] Th Gallay ldquoA center-stable manifold theorem for differentialequations in Banach spacesrdquo Communications in MathematicalPhysics vol 152 no 2 pp 249ndash268 1993
[66] J-M Ghidaglia and B Heron ldquoDimension of the attractorsassociated to the Ginzburg-Landau partial differential equa-tionrdquo Physica D vol 28 no 3 pp 282ndash304 1987
12 Journal of Function Spaces and Applications
[67] P Mattila Geometry of Sets and Measures in Euclidean Spacesvol 44 Cambridge University Press Cambridge UK 1995
[68] L HormanderThe Analysis of Linear Partial Differential Oper-ators vol 1 Springer Berlin Germany 2nd edition 1990
[69] H Amann Linear and Quasilinear Parabolic ProblemBikhauser Basel Switzerland 1995
[70] H-P Heinz ldquoOn the behaviour ofmeasures of noncompactnesswith respect to differentiation and integration of vector-valuedfunctionsrdquo Nonlinear Analysis Theory Methods amp ApplicationsA vol 7 no 12 pp 1351ndash1371 1983
[71] R P Agarwal M Meehan and D OrsquoRegan Fixed Point Theoryand Applications vol 141 of Cambridge Tracts in MathematicsCambridge University Press Cambridge UK 2001
[72] A Pazy Semigroups of Linear Operators and Applications toPartial Differential Equations Springer New York NY USA1983
[73] J Fleckinger-Pelle H G Kaper and P Takac ldquoDynamics of theGinzburg-Landau equations of superconductivityrdquo NonlinearAnalysis Theory Methods amp Applications A vol 32 no 5 pp647ndash665 1998
[74] H G Kaper and P Takac ldquoAn equivalence relation for theGinzburg-Landau equations of superconductivityrdquo Journal ofApplied Mathematics and Physics vol 48 no 4 pp 665ndash6751997
0 for each 119879 ge 0 then the intersection set 119880infin
=
⋂infin
119899=1119880119899is nonempty
Remark 1 Observe that in contrast to the definition of theconcept of a measure of noncompactness given in [27] ourmapping 120583
119879may take the valueinfin Moreover a single map-
ping 120583119879is not the measure of noncompactness in 119862(R
+X)
but the whole family 120583119879119879ge0
can be called family of measuresof noncompactness
Remark 2 Let us notice that the intersection set 119880infin
de-scribed in axiom 4
119900 is a member of the kernel of the familyof measure of noncompactness 120583
119879119879ge0
and therefore 119880infin
is compact in 119862(R+X) In fact the inequality 120583
119879(119880infin) le
120583119879(119880119899) for 119899 = 1 2 and 119879 ge 0 implies that 120583
119879(119880infin) = 0
Hence 119880infinisin ker120583
119879 This property of the set 119880
infinwill be
very important in our further investigations
Definition 3 A set 119890minusA119905119905ge0
of bounded linear operators onX is called 119862
0-semigroup if
(i) 119890minusA0 = 119868 119890minusA(119905+119904) = 119890minusA119905119890minusA119904 for 119905 119904 ge 0(ii) for all 119909 isin X the function R
Finally using Remark 2 for the measure 120583119879 we deduce
that the set Γinfin= ⋂infin
119899=0Γ119899is nonempty convex and compact
Then by the Schauder-Tychonoff theorem we conclude thatoperator 119865 Γ
infinrarr Γinfin
has at least one fixed-point 119906 = 119906(119905)Obviously the function 119906 = 119906(119905) is a solution of problem (6)-(7) and in view of the definition of the set Γ
infin the estimate
119906(119905) le P(119905) holds to be trueThis completes the proof
4 Local and Global Attractivity
Following the concepts introduced in [36] we introduce firsta few definitions of various kinds of the concept of attractivityof mild solution of (6)
Definition 11 The mild solution 119906 = 119906(119905) of (6) with initialcondition (7) is said to be globally attractive if for each mildsolution V = V(119905) of (6) with initial condition V(0) = V
0we
have that
lim119905rarrinfin
(119906 (119905) minus V (119905)) = 120579 (55)
In other words we may say that solutions of (6) are globallyattractive if for arbitrary solutions 119906(119905) and V(119905) of thisequation condition (55) are satisfied
Definition 12 We say that mild solution 119906 = 119906(119905) of (6) withinitial condition (7) is locally attractive if there exists a ball119861(119906(0) 119903) in the space X such that for arbitrary solution V(119905)of (1) with initial-value V(0) isin 119861(119906(0) 119903) condition (55) doeshold
In the case when the limit (55) is uniform with respect toall solutions V(119905) that is when for each 120576 gt 0 there exist119879 gt 0such that
119906 (119905) minus V (119905) le 120576 (56)
for all V(119905) being solutions of (6) with initial-value V(0) isin119861(119906(0) 119903) and for 119905 ge 119879 we will say that solution 119906 = 119906(119905)
is uniformly locally attractive on R+
Now we formulate themain result of this sectionWe willconsider (6) under the following conditions
(1198671015840
1) A is the infinitesimal generator of an exponentiallystable119862
0-semigroup 119890minusA119905
119905ge0 that is there exist119872 gt
0 120588 gt 0 such that 119890minusA119905 le 119872119890minus120588119905 for all 119905 ge 0
6 Journal of Function Spaces and Applications
(1198675) there exist locally integrable functions119898 R
+rarr R+
such that
F (119905 119906) minusF (119905 V) le 119898 (119905) 119906 minus V (57)
for 119905 ge 0 and 119906 V isin X Moreover we assume that
lim119905rarrinfin
(int
119905
0
119898(119904) 119889119904 minus120588
119872119905) = minusinfin (58)
Remark 13 The property (11986710158401) is generally satisfied in diffu-
sion problem A necessary and sufficient condition for (11986710158401)
is presented in [72]
The main result of this section is shown in the giventheorem below
Theorem 14 Under assumptions (11986710158401) and (119867
2)ndash(1198675) prob-
lem (6)-(7) has amild solution 119906 = 119906(119905) for each 1199060isin X which
is globally attractive and locally uniformly attractive
Proof Existence of a solution 119906 = 119906(119905) is a consequence ofTheorem 10 Let us fix 119903 gt 0 and V
0isin 119861(119906(0) 119903)
Let V = V(119905) denote a mild solution of (6) with the initialcondition V(0) = V
0 Using (1198671015840
1) and (119867
3) we get
V (119905) le10038171003817100381710038171003817119890minusA119905V0
Using again Lemma 5 for the above estimate (where ℎ(119905) =119890120588119905119892(119905)) we obtain
119890120588119905119892 (119905) le 119872119903
+ int
119905
0
1198722119903119898 (119904) exp(int
119905
119904
119872119898(120591) 119889120591) 119889119904
(65)
Elementary calculations lead to the following equality
int
119905
0
1198722119903119898 (119904) exp(int
119905
119904
119872119898(120591) 119889120591) 119889119904
= 119872119903(exp(int119905
0
119872119898(119904) 119889119904) minus 1)
(66)
Hence
119892 (119905) le 119872119903 exp (minus120588119905) + 119872119903 exp(int119905
0
119872119898(119904) 119889119904 minus 120588119905)
minus119872119903 exp (minus120588119905) (67)
Applying assumption (1198675) we derive
lim119905rarrinfin
119892 (119905) = 0 (68)
and this proves that 119906(119905) is locally attractive Finally thisequality together with definition of the function 119892(119905) impliesthat 119906(119905) is globally attractive The proof is complete
Remark 15 In the case when 119898(119905) equiv 119898 is constant the fol-lowing condition
lim119905rarrinfin
(int
119905
0
119898(119904) 119889119904 minus120588
119872119905) = minusinfin (69)
means that 119898 lt 120588119872 Observe that this condition cannotbe weakened This observation is illustrated by the followingexampled
Example 16 Let X = R 119898(119905) equiv 119898 F(119905 119906) = sin 119905 + 119898119906119872 = 1 and 119890minusA119905 = 119890minus120588119905 Then the equation
119906 (119905) = 119890minusA1199051199060+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 (70)
(for any fixed 1199060isin R) has the solution 119906(119905) expressed by the
following formula
119906 (119905) =(120588 minus 119898) sin 119905 minus cos 119905
(120588 minus 119898)2
+ 1+ (1199060+
1
(120588 minus 119898)2
+ 1) 119890(119898minus120588)119905
(71)
Notice that for 119898 ge 120588 the solution 119906(119905) is neither globallyattractive nor locally uniformly attractive because for each
Journal of Function Spaces and Applications 7
other solution V(119905) with initial condition V(0) = V0 obviously
described by similar formula as 119906(119905) we would have acontradiction
In this section we will give a theorem describing asymptoticbehaviour of mild solutions of (6) with condition (7) Thistheorem generalizes the result included in [72Theorem 44]First we formulate the assumptions
(1198671015840
3) This condition is almost identical with (119867
3) and the
only difference is that we assume the functions 119886 and119887 are locally essentially bounded on R
+
(1198671015840
5) There exists 119906
infinisin X such that there exists the limit
lim119905rarrinfin
F(119905 119906infin) and
lim119905rarrinfin
F (119905 119906infin) = A
minus1119906infin (73)
Moreover there exists a number119898 lt 120588119872 such that1003817100381710038171003817F (119905 119906) minusF (119905 119906
infin)1003817100381710038171003817 le 119898
1003817100381710038171003817119906 minus 119906infin1003817100381710038171003817 (74)
for 119905 ge 0 and 119906 isin X
Remark 17 The condition (11986710158405) in conjunction with (1198671015840
1)
ensures the existence ofAminus1 (see [72]) Clearly (11986710158403) implies
(1198673)
Theorem 18 Under assumptions (11986710158401) (1198672) (11986710158403) (1198674) and
(11986710158405) (6) with condition (7) has a mild solution 119906 = 119906(119905) for
each 1199060isin X such that lim
119905rarrinfin119906(119905) = 119906
infin
Proof The existence of a mild solution 119906(119905) is guaranteed byTheorem 10 Let us put
119892 (119905) =1003817100381710038171003817119906 (119905) minus 119906infin
1003817100381710038171003817
Finfin= lim119905rarrinfin
F (119905 119906infin)
(75)
We show that
lim119905rarrinfin
119892 (119905) = 0 (76)
Recall that if assumption (11986710158401) is fulfilled then for each 119911 isin X
we have (see [72])
int
infin
0
119890minusA119904
119911 119889119904 = minusAminus1119911 (77)
Using the above fact and (11986710158405) we get
119906infin= (minusA
minus1(minusAminus1119906infin)) = minusA
minus1Finfin
= int
infin
0
119890minusA119904
Finfin119889119904
(78)
Linking the above equality with (11986710158401) we obtain
119892 (119905)
=
10038171003817100381710038171003817100381710038171003817119890minusA1199051199060+ int
LrsquoHospitalrsquos rule for the fraction on the right-hand sideof inequality (84) we obtain that condition (76) is satisfiedThis fact completes the proof
6 An Application to the Ginzburg-LandauEquations of Superconductivity
In this section we formulate the gauged time-dependentGinzburg-Landau (TDGL) equations as an abstract evolutionequation in a Hilbert space Moreover we show applicationsof the above theorems to TDGL equations
We assume that Ω is a bounded domain in R119899 withboundary 120597Ω of class11986211That isΩ is an open and connectedset whose boundary 120597Ω is a compact (119899 minus 1)-manifolddescribed by Lipschitz continuous differentiable charts Weconsider two- and three-dimensional problems (119899 = 2 and119899 = 3 resp) Assume that the vector potential A takes its
values in R119899 The vector H will represent the (externally)applied magnetic field which is a function of space andtime similarly to A it takes its values in R119899 The function120574 is defined and satisfies Lipschitz condition on 120597Ω and120574(119909) ge 0 for 119909 isin 120597Ω The parameters in the TDGLequations are 120578 a (dimensionless) friction coefficient and 120581the (dimensionless) Ginzburg-Landau parameter
The order parameter should be thought of as the wavefunction of the center-of-massmotion of the ldquosuperelectronsrdquo(Cooper pairs) whose density is 119899
119904= |120595|
2 and whose fluxis J119904 The vector potential A determines the electromagnetic
field E = minus120597119905A minus nabla120601 is the electric field and B = nabla times A
is the magnetic induction where J the total current is thesum of a ldquonormalrdquo current J
119899= E the supercurrent J
119904 and
the transport current J119905= nabla times H The normal current obeys
Ohmrsquos law J119899= 120590119899E the ldquonormal conductivityrdquo coefficient 120590
119899
is equal to one in the adopted system of units The differenceM = BminusH is known as themagnetizationThe trivial solution(120595 = 0 B = H E = 0) represents the normal state where allsuperconducting properties have been lost
Nowwe accept the following notion all Banach spaces arereal the (real) dual of a Banach space119883 is denoted by1198831015840Thesymbol 119871119901(Ω) for 1 le 119901 le infin denotes the usual Lebesguespace with norm sdot
119871119901 (sdot sdot) is the inner product in 1198712(Ω)
1198821198982(Ω) for nonnegative integer 119898 is the usual Sobolev
space with norm sdot 1198821198982 1198821198982(Ω) is a Hilbert space for the
inner product (sdot sdot)1198982
given by (119906 V)1198982
= sum|120572|le119898
(120597120572119906 120597120572V)
for 119906 V isin 1198821198982(Ω) Fractional Sobolev space1198821199042(Ω) with afractional 119904 is defined by interpolation ([40 Chap VII] and[41 49 50]) 119862]
(Ω) for ] ge 0 ] = 119898 + 120582 with 0 le 120582 lt 1 isthe space of 119898 times continuous differentiable functions onΩ those 119898th-order derivatives satisfy the Holder conditionwith exponent 120582 if ] is a proper fraction the norm sdot
119862] is
defined in the usual wayThe definitions extend to the space of vector-valued
functions in the standard way with the caveat that the innerproduct in [1198712(Ω)]119899 is defined by (119906 V) = int
Ω119906 sdot V where the
symbol (119906 V) indicates the scalar product in R119899 Complex-valued functions are interpreted as vector-valued functionswith two real components
Functions that vary in space and time like the orderparameter and the vector potential are considered as map-pings from the time domain which is a subinterval of [0infin)into spaces of complex- or vector-valued functions definedin Ω Let 119883 = (119883 sdot
119883) be a Banach space of functions
defined inΩ Then the functions are defined in Ω Then thefunctions of space and time defined on Ω times (0 119879) for 119879 gt 0may be considered as elements of 119871119901(0 119879119883) for 1 le 119901 le infinor1198822119898(0 119879119883) for nonnegative119898 or119862]
(0 119879119883) for ] ge 0] = 119898 + 120582 with 0 le 120582 lt 1 Detailed definitions can be foundfor example in [43]
Obviously function spaces of ordered pairs (120595A) where120595 Ω rarr R2 and A Ω rarr R119899 (119899 = 2 3) play an importantrole in the study of the gauged TDGL equationsWe thereforeadapt the following special notationH = [119883(Ω)]
2times[119883(Ω)]
119899for any Banach space for the order parameter 120595 and thevector potential A respectively A suitable framework forthe functional analysis of the gauged TDGL equations is the
Journal of Function Spaces and Applications 9
Cartesian product W1+1205722 = [1198821+1205722
(Ω)]2times [1198821+1205722
(Ω)]119899
where 120572 isin (12 1) This space is continuously imbedded inW12 capLinfin
Assume H = 0 and H isin [1198712(Ω)]119899 Let AH be a minimizer
of the convex quadratic form 119869120596equiv J120596[119860]
119869120596 [A] = int
Ω
[120596(nabla sdot A)2 + |nabla times A minusH|2] 119889119909 (90)
on the domain
D (119869120596) = A isin [119882
12(Ω)]119899
n sdot A = 0 on 120597Ω (91)
We now introduce the reduced vector potential A1015840
A1015840 = A minus AH (92)
In terms of 120595 and A1015840 the gauged TDGL equations have thefollowing form
120597120595
120597119905minus
1
1205781205812Δ120595 = 120593 in Ω times (0infin)
120597A1015840
120597119905+ nabla times nabla times A1015840 minus 120596nabla (nabla sdot A1015840) = F in Ω times (0infin)
n sdot nabla + 120574120595 = 0 n sdot A1015840 = 0
n times (nabla sdot A1015840) = 0 on 120597Ω times (0infin)
(93)
Here 120593 and F are nonlinear functions of 120595 and A1015840
119888 gt 0 Hence A is positively definite in L2 ([44 Chap 1]equation (545)) If it does not lead to confusion we use thesame symbol A for the restriction A
120595and AA of A to the
respective linear subspace [1198712(Ω)]2 = [1198712(Ω)]2 times 0 (for 120595)and [1198712(Ω)]119899 equiv 0 times [1198712(Ω)]119899 (for A) ofL2
Now consider the initial-value problems (6) and (7) inL2 whereF(119905 119906) = (120593 F) 120593 and F is given by (94) and (95)and 119906
0= (1205950A0minus AH(0))
With 120582 isin (12 1) and 1199060isin W1+1205822 we say that 119906 are a
solution of (6) and (7) on the interval [0 119879] for some 119879 gt 0if 119906 [0 119879] rarr W1+1205822 is continuous and
119906 (119905) = 119890minusA(119905)
+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 for 119905 isin [0 119879]
(102)
in L2 A mild solution of the initial-value problems (6) and(7) defines a weak solution (120595A1015840) of the boundary valueproblem (93) which in turn defines a weak solution (120595A)of the gauged TDGL equations provided AH is sufficientlyregular
Namely let us assume that X = L2 and 1199060isin L2 and
119906 R+times R119899 rarr R119899 for 119899 isin N is an unknown function 119906 =
119906(119905 119909) In order to applyTheorems 10 and 14 we are not goingto consider 119906 as a function of 119905 and 119909 together but rather asa mapping 119906 of variable 119905 into the spaceX =L2 of functions119909 that is 119906 R
We observe that in the case when 119890minusA119905119905ge0
is the semi-group of contractions and 119886(119905) equiv 119886 119887(119905) equiv 119887 for 119905 isin
R+are constant after simple calculations based on estimate
(25) we get that the solution 119906 = 119906(119905) has the asymptoticcharacterization
119906 (119905) = 119874 (1199053) as 119905 997888rarr infin (103)
For further purposes let us formulate the followingassumption
(A) A is the infinitesimal generator of an exponentiallystable 119862
0-semigroup 119890minusA119905
119905ge0
The next result of this chapter is shown in the giventheorem below
Theorem21 Under assumptions (A) and (1198672)ndash(1198674) problem
(6)-(7) which is equivalent to the systems equations (1)ndash(5)(TDGL equations) has a mild solution 119906 = 119906(119905) for each1199060isin L2 which is globally attractive and locally uniformly
attractive
References
[1] V L Ginzburg and L D Landau ldquoOn the theory of supercon-ductivityrdquo Zhurnal Eksperimentalrsquonoi i Teoreticheskoi Fiziki vol20 pp 1064ndash1082 1950 English translation in L D LandauMen of Physics D ter Haar ed Vol I Pergamon Press OxfordUK pp 138ndash167 1965
[2] S Aizicovici and H Lee ldquoNonlinear nonlocal Cauchy problemsin Banach spacesrdquo Applied Mathematics Letters vol 18 no 4pp 401ndash407 2005
[3] S Aizicovici and M McKibben ldquoExistence results for a classof abstract nonlocal Cauchy problemsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 39 no 5 pp 649ndash6682000
[4] MMcKibbenDiscovering Evolution Equation with ApplicationCRC Press Taylor amp Francis Group 2011
[5] S Aizicovici and V Staicu ldquoMultivalued evolution equationswith nonlocal initial conditions in Banach spacesrdquo NonlinearDifferential Equations and Applications vol 14 no 3-4 pp 361ndash376 2007
[6] R P Agarwal and D OrsquoRegan Infinite Interval Problems for Dif-ferential Difference and Integral Equations Kluwer AcademicPublishers Dordrecht The Netherlands 2001
[7] Z Fan ldquoExistence of nondensely defined evolution equationswith nonlocal conditionsrdquo Nonlinear Analysis Theory Methodsamp Applications A vol 70 no 11 pp 3829ndash3836 2009
[8] Z Fan ldquoImpulsive problems for semilinear differential equa-tions with nonlocal conditionsrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 72 no 2 pp 1104ndash1109 2010
[9] Z Fan and G Li ldquoExistence results for semilinear differentialequations with nonlocal and impulsive conditionsrdquo Journal ofFunctional Analysis vol 258 no 5 pp 1709ndash1727 2010
[10] J Garcıa-Falset ldquoExistence results and asymptotic behavior fornonlocal abstract Cauchy problemsrdquo Journal of MathematicalAnalysis and Applications vol 338 no 1 pp 639ndash652 2008
[11] J Liang J H Liu and T-J Xiao ldquoNonlocal impulsive problemsfor nonlinear differential equations in Banach spacesrdquo Mathe-matical and Computer Modelling vol 49 no 3-4 pp 798ndash8042009
[12] L Zhu and G Li ldquoOn a nonlocal problem for semilinear differ-ential equations with upper semicontinuous nonlinearities ingeneral Banach spacesrdquo Journal of Mathematical Analysis andApplications vol 341 no 1 pp 660ndash675 2008
[13] Q Liu and R Yuan ldquoExistence of mild solutions for semilinearevolution equations with non-local initial conditionsrdquo Nonlin-ear AnalysisTheoryMethodsampApplications A vol 71 no 9 pp4177ndash4184 2009
[14] C Xie W Zhong and Z Fan ldquoExistence results for nonlinearnonlocal problems in Banach spacesrdquo Applied MathematicsLetters vol 22 no 7 pp 998ndash1002 2009
[15] T-J Xiao and J Liang ldquoExistence of classical solutions tononautonomous nonlocal parabolic problemsrdquoNonlinear Anal-ysisTheoryMethods and Applications vol 63 no 5-7 pp e225ndashe232 2005
[16] X Xue ldquo119871119901 theory for semilinear nonlocal problems with mea-sure of noncompactness in separable Banach spacesrdquo Journal ofFixed Point Theory and Applications vol 5 no 1 pp 129ndash1442009
[17] X Xue ldquoNonlinear differential equations with nonlocal condi-tions in Banach spacesrdquo Nonlinear Analysis Theory Methods ampApplications A vol 63 no 4 pp 575ndash586 2005
[18] X Xue ldquoExistence of solutions for semilinear nonlocal Cauchyproblems in Banach spacesrdquo Electronic Journal of DifferentialEquations vol 64 p 7 2005
[19] X Xue ldquoNonlocal nonlinear differential equations with a mea-sure of noncompactness in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 70 no 7 pp 2593ndash26012009
[20] L Olszowy ldquoExistence ofmild solutions for the semilinear non-local problem in Banach spacesrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 81 pp 211ndash223 2013
[21] D Bothe ldquoMultivalued perturbations of119898-accretive differentialinclusionsrdquo Israel Journal of Mathematics vol 108 pp 109ndash1381998
[22] H-S Ding J Liang G M NrsquoGuerekata and T-J XiaoldquoMild pseudo-almost periodic solutions of nonautonomoussemilinear evolution equationsrdquo Mathematical and ComputerModelling vol 45 no 5-6 pp 579ndash584 2007
[23] J Garcıa-Falset ldquoThe asymptotic behavior of the solutions of theCauchy problem generated by 120593-accretive operatorsrdquo Journal ofMathematical Analysis and Applications vol 310 no 2 pp 594ndash608 2005
[24] Z Fan and G Li ldquoAsymptotic behavior of the solutions of non-autonomous systems in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 68 no 12 pp 3733ndash37412008
[25] J Banas ldquoOn existence theorems for differential equations inBanach spacesrdquo Bulletin of the Australian Mathematical Societyvol 32 no 1 pp 73ndash82 1985
[26] J Banas ldquoMeasures of noncompactness in the space of contin-uous tempered functionsrdquo Demonstratio Mathematica vol 14no 1 pp 127ndash133 1981
Journal of Function Spaces and Applications 11
[27] J Banas and K GoebelMeasures of Noncompactness in BanachSpaces vol 60 ofLectureNotes in Pure andAppliedMathematicsMarcel Dekker New York NY USA 1980
[28] J Banas and M Lecko ldquoSolvability of infinite systems ofdifferential equations in Banach sequence spacesrdquo Journal ofComputational andAppliedMathematics vol 137 no 2 pp 363ndash375 2001
[29] J Banas and K Sadarangani ldquoCompactness conditions inthe study of functional differential and integral equationsrdquoAbstract and Applied Analysis vol 2013 Article ID 819315 14pages 2013
[30] M Mursaleen and S A Mohiuddine ldquoApplications of mea-sures of noncompactness to the infinite system of differentialequations in ℓ
119901spacesrdquo Nonlinear Analysis Theory Methods amp
Applications A vol 75 no 4 pp 2111ndash2115 2012[31] L Olszowy ldquoSolvability of some functional integral equationrdquo
Dynamic Systems and Applications vol 18 no 3-4 pp 667ndash6762009
[32] L Olszowy ldquoOn some measures of noncompactness in theFrechet spaces of continuous functionsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 72 pp 2119ndash2126 2010
[33] L Olszowy ldquoOn existence of solutions of a quadratic Urysohnintegral equation on an unbounded intervalrdquo CommentationesMathematicae vol 48 no 1 pp 103ndash112 2008
[34] L Olszowy ldquoExistence ofmild solutions for semilinear nonlocalCauchy problems in separable Banach spacesrdquo Journal of Anal-ysis and its Applications vol 32 no 2 pp 215ndash232 2013
[35] L Olszowy ldquoFixed point theorems in the Frechet space 119862(119877+)
and functional integral equations on an unbounded intervalrdquoApplied Mathematics and Computation vol 218 no 18 pp9066ndash9074 2012
[36] J Banas and D OrsquoRegan ldquoOn existence and local attractivity ofsolutions of a quadratic Volterra integral equation of fractionalorderrdquo Journal of Mathematical Analysis and Applications vol345 no 1 pp 573ndash582 2008
[37] L D Landau EM Lifshitz and L P Pitaevski Electrodynamicsof Continuous Media vol 8 Butterworth-Heinemann 2ndedition 1984
[38] L D Landau and E M Lifshitz Fluid Mechanics vol bButterworth-Heinemann 2nd edition 1987
[39] R Temam Infinite-Dimensional Dynamical Systems inMechan-ics and Physics vol 68 Springer New York NY USA 2ndedition 1997
[40] J K Hale Asymptotic Behavior of Dissipative Systems vol 25 ofMathematical Surveys and Monographs American Mathemati-cal Society Providence RI USA 1988
[41] R A Adams and J J F Fournier Sobolev Spaces vol 140Elsevier 2nd edition 2003
[42] V Mazrsquoya Sobolev Spaces with Applications to Elliptic PartialDifferential Equations Springer Heidelberg Germany 2ndedition 2011
[43] V Georgescu ldquoSome boundary value problems for differentialforms on compact Riemannian manifoldsrdquo Annali di Matemat-ica Pura ed Applicata vol 122 pp 159ndash198 1979
[44] D Henry Geometric Theory of Semilinear Parabolic Equationsvol 840 of Lecture Notes in Mathematics Springer New YorkNY USA 1981
[45] V Girault and P-A Raviart Finite Element Methods for Navier-Stokes Equations Springer New York NY USA 1986
[46] J Bardeen L N Cooper and J R Schrieffer ldquoTheory ofsuperconductivityrdquo Physical Review vol 108 pp 1175ndash12041957
[47] A A Abrikosov Fundamental of the Theory of Metals North-Holland Amstedram The Netherlands 1988
[48] M Tinkham Introduction To Superconductivity McGraw-HillNew York NY USA 2nd edition 1996
[49] P DeGennes Superconductivity inMetals and Alloys BenjaminNew York NY USA 1966
[50] H Brezis Functional Analysis Sobolev Spaces and PartialDifferential Equations Springer New York NY USA 2011
[51] E Zeidler Nonlinear Functional Analysis and its Applicationsvol 2 Springer New York NY USA 1990
[52] A Schmid ldquoA time dependent Ginzburg-Landau equation andits application to the problem of resistivity in the mixed staterdquoPhysik der KondensiertenMaterie vol 5 no 4 pp 302ndash317 1966
[53] C M Elliot and Q Tang Existence Theorems For an Evolution-ary Superconductivity Model University of Sussex BrightonUK 1992
[54] Q Tang ldquoOn an evolutionary system of Ginzburg-Landauequations with fixed total magnetic fluxrdquo Communications inPartial Differential Equations vol 20 no 1-2 pp 1ndash36 1995
[55] Q Du ldquoGlobal existence and uniqueness of solutions of thetime-dependent Ginzburg-Landau model for superconductiv-ityrdquo Applicable Analysis vol 53 no 1-2 pp 1ndash18 1994
[56] Z M Chen K-H Hoffmann and J Liang ldquoOn a nonstation-ary Ginzburg-Landau superconductivity modelrdquoMathematicalMethods in the Applied Sciences vol 16 no 12 pp 855ndash875 1993
[57] J Liang and Q Tang ldquoAsymptotic behaviour of the solutionsof an evolutionaryGinzburg-Landau superconductivitymodelrdquoJournal of Mathematical Analysis and Applications vol 195 no1 pp 92ndash107 1995
[58] L P Gorrsquokov and G M Eliasherberg ldquoGeneralization of theGinzburg-Landau equations for an nonstationary problemsin the case of alloys with paramagnetic impartiesrdquo ZhurnalEksperimentalrsquonoi i Teoreticheskoi Fiziki vol 54 pp 612ndash6261968 Soviet Physics vol 27 pp 328ndash334 1968
[59] J Fleckinger-Pelle and H G Kaper ldquoGauges for the Ginzburg-Landau equations of superconductivityrdquo Zeitschrift fur Ange-wandte Mathematik und Mechanik vol 76 no 2 pp 345ndash3481996
[60] P Takac ldquoOn the dynamical process generated by supercon-ductivity modelrdquo Zeitschrift fur Angewandte Mathematik undMechanik vol 76 no 52 pp 349ndash352 1995
[61] W D Gropp H G Kaper DM Levine M Palumbo and VMVinokur ldquoNumerical simulation of vortex dynamics in type-IIsuperconductorsrdquo Journal of Computational Physics vol 123 no2 pp 254ndash266 1996
[62] D W Braun G W Crabtree H G Kaper et al ldquoStructure of amoving vortex latticerdquo Physical Review Letters vol 76 no 5 pp831ndash834 1996
[63] G W Crabtree G K Leaf H G Kaper et al ldquoTime-dependent Ginzburg-Landau simulations of vortex guidance bytwin boundariesrdquo Physica C vol 263 no 1ndash4 pp 401ndash408 1996
[64] G W Carabtree G K Leaf H G Kaper D W Braun V MVinokur andA E Koshelev ldquoDynamics vortex phases in super-conductors with correlated disorderrdquo Preprint ANLMCS-P590-0496 Mathematics and Computer Science DivisionAragonne National Laboratory 1996
[65] Th Gallay ldquoA center-stable manifold theorem for differentialequations in Banach spacesrdquo Communications in MathematicalPhysics vol 152 no 2 pp 249ndash268 1993
[66] J-M Ghidaglia and B Heron ldquoDimension of the attractorsassociated to the Ginzburg-Landau partial differential equa-tionrdquo Physica D vol 28 no 3 pp 282ndash304 1987
12 Journal of Function Spaces and Applications
[67] P Mattila Geometry of Sets and Measures in Euclidean Spacesvol 44 Cambridge University Press Cambridge UK 1995
[68] L HormanderThe Analysis of Linear Partial Differential Oper-ators vol 1 Springer Berlin Germany 2nd edition 1990
[69] H Amann Linear and Quasilinear Parabolic ProblemBikhauser Basel Switzerland 1995
[70] H-P Heinz ldquoOn the behaviour ofmeasures of noncompactnesswith respect to differentiation and integration of vector-valuedfunctionsrdquo Nonlinear Analysis Theory Methods amp ApplicationsA vol 7 no 12 pp 1351ndash1371 1983
[71] R P Agarwal M Meehan and D OrsquoRegan Fixed Point Theoryand Applications vol 141 of Cambridge Tracts in MathematicsCambridge University Press Cambridge UK 2001
[72] A Pazy Semigroups of Linear Operators and Applications toPartial Differential Equations Springer New York NY USA1983
[73] J Fleckinger-Pelle H G Kaper and P Takac ldquoDynamics of theGinzburg-Landau equations of superconductivityrdquo NonlinearAnalysis Theory Methods amp Applications A vol 32 no 5 pp647ndash665 1998
[74] H G Kaper and P Takac ldquoAn equivalence relation for theGinzburg-Landau equations of superconductivityrdquo Journal ofApplied Mathematics and Physics vol 48 no 4 pp 665ndash6751997
Finally using Remark 2 for the measure 120583119879 we deduce
that the set Γinfin= ⋂infin
119899=0Γ119899is nonempty convex and compact
Then by the Schauder-Tychonoff theorem we conclude thatoperator 119865 Γ
infinrarr Γinfin
has at least one fixed-point 119906 = 119906(119905)Obviously the function 119906 = 119906(119905) is a solution of problem (6)-(7) and in view of the definition of the set Γ
infin the estimate
119906(119905) le P(119905) holds to be trueThis completes the proof
4 Local and Global Attractivity
Following the concepts introduced in [36] we introduce firsta few definitions of various kinds of the concept of attractivityof mild solution of (6)
Definition 11 The mild solution 119906 = 119906(119905) of (6) with initialcondition (7) is said to be globally attractive if for each mildsolution V = V(119905) of (6) with initial condition V(0) = V
0we
have that
lim119905rarrinfin
(119906 (119905) minus V (119905)) = 120579 (55)
In other words we may say that solutions of (6) are globallyattractive if for arbitrary solutions 119906(119905) and V(119905) of thisequation condition (55) are satisfied
Definition 12 We say that mild solution 119906 = 119906(119905) of (6) withinitial condition (7) is locally attractive if there exists a ball119861(119906(0) 119903) in the space X such that for arbitrary solution V(119905)of (1) with initial-value V(0) isin 119861(119906(0) 119903) condition (55) doeshold
In the case when the limit (55) is uniform with respect toall solutions V(119905) that is when for each 120576 gt 0 there exist119879 gt 0such that
119906 (119905) minus V (119905) le 120576 (56)
for all V(119905) being solutions of (6) with initial-value V(0) isin119861(119906(0) 119903) and for 119905 ge 119879 we will say that solution 119906 = 119906(119905)
is uniformly locally attractive on R+
Now we formulate themain result of this sectionWe willconsider (6) under the following conditions
(1198671015840
1) A is the infinitesimal generator of an exponentiallystable119862
0-semigroup 119890minusA119905
119905ge0 that is there exist119872 gt
0 120588 gt 0 such that 119890minusA119905 le 119872119890minus120588119905 for all 119905 ge 0
6 Journal of Function Spaces and Applications
(1198675) there exist locally integrable functions119898 R
+rarr R+
such that
F (119905 119906) minusF (119905 V) le 119898 (119905) 119906 minus V (57)
for 119905 ge 0 and 119906 V isin X Moreover we assume that
lim119905rarrinfin
(int
119905
0
119898(119904) 119889119904 minus120588
119872119905) = minusinfin (58)
Remark 13 The property (11986710158401) is generally satisfied in diffu-
sion problem A necessary and sufficient condition for (11986710158401)
is presented in [72]
The main result of this section is shown in the giventheorem below
Theorem 14 Under assumptions (11986710158401) and (119867
2)ndash(1198675) prob-
lem (6)-(7) has amild solution 119906 = 119906(119905) for each 1199060isin X which
is globally attractive and locally uniformly attractive
Proof Existence of a solution 119906 = 119906(119905) is a consequence ofTheorem 10 Let us fix 119903 gt 0 and V
0isin 119861(119906(0) 119903)
Let V = V(119905) denote a mild solution of (6) with the initialcondition V(0) = V
0 Using (1198671015840
1) and (119867
3) we get
V (119905) le10038171003817100381710038171003817119890minusA119905V0
Using again Lemma 5 for the above estimate (where ℎ(119905) =119890120588119905119892(119905)) we obtain
119890120588119905119892 (119905) le 119872119903
+ int
119905
0
1198722119903119898 (119904) exp(int
119905
119904
119872119898(120591) 119889120591) 119889119904
(65)
Elementary calculations lead to the following equality
int
119905
0
1198722119903119898 (119904) exp(int
119905
119904
119872119898(120591) 119889120591) 119889119904
= 119872119903(exp(int119905
0
119872119898(119904) 119889119904) minus 1)
(66)
Hence
119892 (119905) le 119872119903 exp (minus120588119905) + 119872119903 exp(int119905
0
119872119898(119904) 119889119904 minus 120588119905)
minus119872119903 exp (minus120588119905) (67)
Applying assumption (1198675) we derive
lim119905rarrinfin
119892 (119905) = 0 (68)
and this proves that 119906(119905) is locally attractive Finally thisequality together with definition of the function 119892(119905) impliesthat 119906(119905) is globally attractive The proof is complete
Remark 15 In the case when 119898(119905) equiv 119898 is constant the fol-lowing condition
lim119905rarrinfin
(int
119905
0
119898(119904) 119889119904 minus120588
119872119905) = minusinfin (69)
means that 119898 lt 120588119872 Observe that this condition cannotbe weakened This observation is illustrated by the followingexampled
Example 16 Let X = R 119898(119905) equiv 119898 F(119905 119906) = sin 119905 + 119898119906119872 = 1 and 119890minusA119905 = 119890minus120588119905 Then the equation
119906 (119905) = 119890minusA1199051199060+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 (70)
(for any fixed 1199060isin R) has the solution 119906(119905) expressed by the
following formula
119906 (119905) =(120588 minus 119898) sin 119905 minus cos 119905
(120588 minus 119898)2
+ 1+ (1199060+
1
(120588 minus 119898)2
+ 1) 119890(119898minus120588)119905
(71)
Notice that for 119898 ge 120588 the solution 119906(119905) is neither globallyattractive nor locally uniformly attractive because for each
Journal of Function Spaces and Applications 7
other solution V(119905) with initial condition V(0) = V0 obviously
described by similar formula as 119906(119905) we would have acontradiction
In this section we will give a theorem describing asymptoticbehaviour of mild solutions of (6) with condition (7) Thistheorem generalizes the result included in [72Theorem 44]First we formulate the assumptions
(1198671015840
3) This condition is almost identical with (119867
3) and the
only difference is that we assume the functions 119886 and119887 are locally essentially bounded on R
+
(1198671015840
5) There exists 119906
infinisin X such that there exists the limit
lim119905rarrinfin
F(119905 119906infin) and
lim119905rarrinfin
F (119905 119906infin) = A
minus1119906infin (73)
Moreover there exists a number119898 lt 120588119872 such that1003817100381710038171003817F (119905 119906) minusF (119905 119906
infin)1003817100381710038171003817 le 119898
1003817100381710038171003817119906 minus 119906infin1003817100381710038171003817 (74)
for 119905 ge 0 and 119906 isin X
Remark 17 The condition (11986710158405) in conjunction with (1198671015840
1)
ensures the existence ofAminus1 (see [72]) Clearly (11986710158403) implies
(1198673)
Theorem 18 Under assumptions (11986710158401) (1198672) (11986710158403) (1198674) and
(11986710158405) (6) with condition (7) has a mild solution 119906 = 119906(119905) for
each 1199060isin X such that lim
119905rarrinfin119906(119905) = 119906
infin
Proof The existence of a mild solution 119906(119905) is guaranteed byTheorem 10 Let us put
119892 (119905) =1003817100381710038171003817119906 (119905) minus 119906infin
1003817100381710038171003817
Finfin= lim119905rarrinfin
F (119905 119906infin)
(75)
We show that
lim119905rarrinfin
119892 (119905) = 0 (76)
Recall that if assumption (11986710158401) is fulfilled then for each 119911 isin X
we have (see [72])
int
infin
0
119890minusA119904
119911 119889119904 = minusAminus1119911 (77)
Using the above fact and (11986710158405) we get
119906infin= (minusA
minus1(minusAminus1119906infin)) = minusA
minus1Finfin
= int
infin
0
119890minusA119904
Finfin119889119904
(78)
Linking the above equality with (11986710158401) we obtain
119892 (119905)
=
10038171003817100381710038171003817100381710038171003817119890minusA1199051199060+ int
LrsquoHospitalrsquos rule for the fraction on the right-hand sideof inequality (84) we obtain that condition (76) is satisfiedThis fact completes the proof
6 An Application to the Ginzburg-LandauEquations of Superconductivity
In this section we formulate the gauged time-dependentGinzburg-Landau (TDGL) equations as an abstract evolutionequation in a Hilbert space Moreover we show applicationsof the above theorems to TDGL equations
We assume that Ω is a bounded domain in R119899 withboundary 120597Ω of class11986211That isΩ is an open and connectedset whose boundary 120597Ω is a compact (119899 minus 1)-manifolddescribed by Lipschitz continuous differentiable charts Weconsider two- and three-dimensional problems (119899 = 2 and119899 = 3 resp) Assume that the vector potential A takes its
values in R119899 The vector H will represent the (externally)applied magnetic field which is a function of space andtime similarly to A it takes its values in R119899 The function120574 is defined and satisfies Lipschitz condition on 120597Ω and120574(119909) ge 0 for 119909 isin 120597Ω The parameters in the TDGLequations are 120578 a (dimensionless) friction coefficient and 120581the (dimensionless) Ginzburg-Landau parameter
The order parameter should be thought of as the wavefunction of the center-of-massmotion of the ldquosuperelectronsrdquo(Cooper pairs) whose density is 119899
119904= |120595|
2 and whose fluxis J119904 The vector potential A determines the electromagnetic
field E = minus120597119905A minus nabla120601 is the electric field and B = nabla times A
is the magnetic induction where J the total current is thesum of a ldquonormalrdquo current J
119899= E the supercurrent J
119904 and
the transport current J119905= nabla times H The normal current obeys
Ohmrsquos law J119899= 120590119899E the ldquonormal conductivityrdquo coefficient 120590
119899
is equal to one in the adopted system of units The differenceM = BminusH is known as themagnetizationThe trivial solution(120595 = 0 B = H E = 0) represents the normal state where allsuperconducting properties have been lost
Nowwe accept the following notion all Banach spaces arereal the (real) dual of a Banach space119883 is denoted by1198831015840Thesymbol 119871119901(Ω) for 1 le 119901 le infin denotes the usual Lebesguespace with norm sdot
119871119901 (sdot sdot) is the inner product in 1198712(Ω)
1198821198982(Ω) for nonnegative integer 119898 is the usual Sobolev
space with norm sdot 1198821198982 1198821198982(Ω) is a Hilbert space for the
inner product (sdot sdot)1198982
given by (119906 V)1198982
= sum|120572|le119898
(120597120572119906 120597120572V)
for 119906 V isin 1198821198982(Ω) Fractional Sobolev space1198821199042(Ω) with afractional 119904 is defined by interpolation ([40 Chap VII] and[41 49 50]) 119862]
(Ω) for ] ge 0 ] = 119898 + 120582 with 0 le 120582 lt 1 isthe space of 119898 times continuous differentiable functions onΩ those 119898th-order derivatives satisfy the Holder conditionwith exponent 120582 if ] is a proper fraction the norm sdot
119862] is
defined in the usual wayThe definitions extend to the space of vector-valued
functions in the standard way with the caveat that the innerproduct in [1198712(Ω)]119899 is defined by (119906 V) = int
Ω119906 sdot V where the
symbol (119906 V) indicates the scalar product in R119899 Complex-valued functions are interpreted as vector-valued functionswith two real components
Functions that vary in space and time like the orderparameter and the vector potential are considered as map-pings from the time domain which is a subinterval of [0infin)into spaces of complex- or vector-valued functions definedin Ω Let 119883 = (119883 sdot
119883) be a Banach space of functions
defined inΩ Then the functions are defined in Ω Then thefunctions of space and time defined on Ω times (0 119879) for 119879 gt 0may be considered as elements of 119871119901(0 119879119883) for 1 le 119901 le infinor1198822119898(0 119879119883) for nonnegative119898 or119862]
(0 119879119883) for ] ge 0] = 119898 + 120582 with 0 le 120582 lt 1 Detailed definitions can be foundfor example in [43]
Obviously function spaces of ordered pairs (120595A) where120595 Ω rarr R2 and A Ω rarr R119899 (119899 = 2 3) play an importantrole in the study of the gauged TDGL equationsWe thereforeadapt the following special notationH = [119883(Ω)]
2times[119883(Ω)]
119899for any Banach space for the order parameter 120595 and thevector potential A respectively A suitable framework forthe functional analysis of the gauged TDGL equations is the
Journal of Function Spaces and Applications 9
Cartesian product W1+1205722 = [1198821+1205722
(Ω)]2times [1198821+1205722
(Ω)]119899
where 120572 isin (12 1) This space is continuously imbedded inW12 capLinfin
Assume H = 0 and H isin [1198712(Ω)]119899 Let AH be a minimizer
of the convex quadratic form 119869120596equiv J120596[119860]
119869120596 [A] = int
Ω
[120596(nabla sdot A)2 + |nabla times A minusH|2] 119889119909 (90)
on the domain
D (119869120596) = A isin [119882
12(Ω)]119899
n sdot A = 0 on 120597Ω (91)
We now introduce the reduced vector potential A1015840
A1015840 = A minus AH (92)
In terms of 120595 and A1015840 the gauged TDGL equations have thefollowing form
120597120595
120597119905minus
1
1205781205812Δ120595 = 120593 in Ω times (0infin)
120597A1015840
120597119905+ nabla times nabla times A1015840 minus 120596nabla (nabla sdot A1015840) = F in Ω times (0infin)
n sdot nabla + 120574120595 = 0 n sdot A1015840 = 0
n times (nabla sdot A1015840) = 0 on 120597Ω times (0infin)
(93)
Here 120593 and F are nonlinear functions of 120595 and A1015840
119888 gt 0 Hence A is positively definite in L2 ([44 Chap 1]equation (545)) If it does not lead to confusion we use thesame symbol A for the restriction A
120595and AA of A to the
respective linear subspace [1198712(Ω)]2 = [1198712(Ω)]2 times 0 (for 120595)and [1198712(Ω)]119899 equiv 0 times [1198712(Ω)]119899 (for A) ofL2
Now consider the initial-value problems (6) and (7) inL2 whereF(119905 119906) = (120593 F) 120593 and F is given by (94) and (95)and 119906
0= (1205950A0minus AH(0))
With 120582 isin (12 1) and 1199060isin W1+1205822 we say that 119906 are a
solution of (6) and (7) on the interval [0 119879] for some 119879 gt 0if 119906 [0 119879] rarr W1+1205822 is continuous and
119906 (119905) = 119890minusA(119905)
+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 for 119905 isin [0 119879]
(102)
in L2 A mild solution of the initial-value problems (6) and(7) defines a weak solution (120595A1015840) of the boundary valueproblem (93) which in turn defines a weak solution (120595A)of the gauged TDGL equations provided AH is sufficientlyregular
Namely let us assume that X = L2 and 1199060isin L2 and
119906 R+times R119899 rarr R119899 for 119899 isin N is an unknown function 119906 =
119906(119905 119909) In order to applyTheorems 10 and 14 we are not goingto consider 119906 as a function of 119905 and 119909 together but rather asa mapping 119906 of variable 119905 into the spaceX =L2 of functions119909 that is 119906 R
We observe that in the case when 119890minusA119905119905ge0
is the semi-group of contractions and 119886(119905) equiv 119886 119887(119905) equiv 119887 for 119905 isin
R+are constant after simple calculations based on estimate
(25) we get that the solution 119906 = 119906(119905) has the asymptoticcharacterization
119906 (119905) = 119874 (1199053) as 119905 997888rarr infin (103)
For further purposes let us formulate the followingassumption
(A) A is the infinitesimal generator of an exponentiallystable 119862
0-semigroup 119890minusA119905
119905ge0
The next result of this chapter is shown in the giventheorem below
Theorem21 Under assumptions (A) and (1198672)ndash(1198674) problem
(6)-(7) which is equivalent to the systems equations (1)ndash(5)(TDGL equations) has a mild solution 119906 = 119906(119905) for each1199060isin L2 which is globally attractive and locally uniformly
attractive
References
[1] V L Ginzburg and L D Landau ldquoOn the theory of supercon-ductivityrdquo Zhurnal Eksperimentalrsquonoi i Teoreticheskoi Fiziki vol20 pp 1064ndash1082 1950 English translation in L D LandauMen of Physics D ter Haar ed Vol I Pergamon Press OxfordUK pp 138ndash167 1965
[2] S Aizicovici and H Lee ldquoNonlinear nonlocal Cauchy problemsin Banach spacesrdquo Applied Mathematics Letters vol 18 no 4pp 401ndash407 2005
[3] S Aizicovici and M McKibben ldquoExistence results for a classof abstract nonlocal Cauchy problemsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 39 no 5 pp 649ndash6682000
[4] MMcKibbenDiscovering Evolution Equation with ApplicationCRC Press Taylor amp Francis Group 2011
[5] S Aizicovici and V Staicu ldquoMultivalued evolution equationswith nonlocal initial conditions in Banach spacesrdquo NonlinearDifferential Equations and Applications vol 14 no 3-4 pp 361ndash376 2007
[6] R P Agarwal and D OrsquoRegan Infinite Interval Problems for Dif-ferential Difference and Integral Equations Kluwer AcademicPublishers Dordrecht The Netherlands 2001
[7] Z Fan ldquoExistence of nondensely defined evolution equationswith nonlocal conditionsrdquo Nonlinear Analysis Theory Methodsamp Applications A vol 70 no 11 pp 3829ndash3836 2009
[8] Z Fan ldquoImpulsive problems for semilinear differential equa-tions with nonlocal conditionsrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 72 no 2 pp 1104ndash1109 2010
[9] Z Fan and G Li ldquoExistence results for semilinear differentialequations with nonlocal and impulsive conditionsrdquo Journal ofFunctional Analysis vol 258 no 5 pp 1709ndash1727 2010
[10] J Garcıa-Falset ldquoExistence results and asymptotic behavior fornonlocal abstract Cauchy problemsrdquo Journal of MathematicalAnalysis and Applications vol 338 no 1 pp 639ndash652 2008
[11] J Liang J H Liu and T-J Xiao ldquoNonlocal impulsive problemsfor nonlinear differential equations in Banach spacesrdquo Mathe-matical and Computer Modelling vol 49 no 3-4 pp 798ndash8042009
[12] L Zhu and G Li ldquoOn a nonlocal problem for semilinear differ-ential equations with upper semicontinuous nonlinearities ingeneral Banach spacesrdquo Journal of Mathematical Analysis andApplications vol 341 no 1 pp 660ndash675 2008
[13] Q Liu and R Yuan ldquoExistence of mild solutions for semilinearevolution equations with non-local initial conditionsrdquo Nonlin-ear AnalysisTheoryMethodsampApplications A vol 71 no 9 pp4177ndash4184 2009
[14] C Xie W Zhong and Z Fan ldquoExistence results for nonlinearnonlocal problems in Banach spacesrdquo Applied MathematicsLetters vol 22 no 7 pp 998ndash1002 2009
[15] T-J Xiao and J Liang ldquoExistence of classical solutions tononautonomous nonlocal parabolic problemsrdquoNonlinear Anal-ysisTheoryMethods and Applications vol 63 no 5-7 pp e225ndashe232 2005
[16] X Xue ldquo119871119901 theory for semilinear nonlocal problems with mea-sure of noncompactness in separable Banach spacesrdquo Journal ofFixed Point Theory and Applications vol 5 no 1 pp 129ndash1442009
[17] X Xue ldquoNonlinear differential equations with nonlocal condi-tions in Banach spacesrdquo Nonlinear Analysis Theory Methods ampApplications A vol 63 no 4 pp 575ndash586 2005
[18] X Xue ldquoExistence of solutions for semilinear nonlocal Cauchyproblems in Banach spacesrdquo Electronic Journal of DifferentialEquations vol 64 p 7 2005
[19] X Xue ldquoNonlocal nonlinear differential equations with a mea-sure of noncompactness in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 70 no 7 pp 2593ndash26012009
[20] L Olszowy ldquoExistence ofmild solutions for the semilinear non-local problem in Banach spacesrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 81 pp 211ndash223 2013
[21] D Bothe ldquoMultivalued perturbations of119898-accretive differentialinclusionsrdquo Israel Journal of Mathematics vol 108 pp 109ndash1381998
[22] H-S Ding J Liang G M NrsquoGuerekata and T-J XiaoldquoMild pseudo-almost periodic solutions of nonautonomoussemilinear evolution equationsrdquo Mathematical and ComputerModelling vol 45 no 5-6 pp 579ndash584 2007
[23] J Garcıa-Falset ldquoThe asymptotic behavior of the solutions of theCauchy problem generated by 120593-accretive operatorsrdquo Journal ofMathematical Analysis and Applications vol 310 no 2 pp 594ndash608 2005
[24] Z Fan and G Li ldquoAsymptotic behavior of the solutions of non-autonomous systems in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 68 no 12 pp 3733ndash37412008
[25] J Banas ldquoOn existence theorems for differential equations inBanach spacesrdquo Bulletin of the Australian Mathematical Societyvol 32 no 1 pp 73ndash82 1985
[26] J Banas ldquoMeasures of noncompactness in the space of contin-uous tempered functionsrdquo Demonstratio Mathematica vol 14no 1 pp 127ndash133 1981
Journal of Function Spaces and Applications 11
[27] J Banas and K GoebelMeasures of Noncompactness in BanachSpaces vol 60 ofLectureNotes in Pure andAppliedMathematicsMarcel Dekker New York NY USA 1980
[28] J Banas and M Lecko ldquoSolvability of infinite systems ofdifferential equations in Banach sequence spacesrdquo Journal ofComputational andAppliedMathematics vol 137 no 2 pp 363ndash375 2001
[29] J Banas and K Sadarangani ldquoCompactness conditions inthe study of functional differential and integral equationsrdquoAbstract and Applied Analysis vol 2013 Article ID 819315 14pages 2013
[30] M Mursaleen and S A Mohiuddine ldquoApplications of mea-sures of noncompactness to the infinite system of differentialequations in ℓ
119901spacesrdquo Nonlinear Analysis Theory Methods amp
Applications A vol 75 no 4 pp 2111ndash2115 2012[31] L Olszowy ldquoSolvability of some functional integral equationrdquo
Dynamic Systems and Applications vol 18 no 3-4 pp 667ndash6762009
[32] L Olszowy ldquoOn some measures of noncompactness in theFrechet spaces of continuous functionsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 72 pp 2119ndash2126 2010
[33] L Olszowy ldquoOn existence of solutions of a quadratic Urysohnintegral equation on an unbounded intervalrdquo CommentationesMathematicae vol 48 no 1 pp 103ndash112 2008
[34] L Olszowy ldquoExistence ofmild solutions for semilinear nonlocalCauchy problems in separable Banach spacesrdquo Journal of Anal-ysis and its Applications vol 32 no 2 pp 215ndash232 2013
[35] L Olszowy ldquoFixed point theorems in the Frechet space 119862(119877+)
and functional integral equations on an unbounded intervalrdquoApplied Mathematics and Computation vol 218 no 18 pp9066ndash9074 2012
[36] J Banas and D OrsquoRegan ldquoOn existence and local attractivity ofsolutions of a quadratic Volterra integral equation of fractionalorderrdquo Journal of Mathematical Analysis and Applications vol345 no 1 pp 573ndash582 2008
[37] L D Landau EM Lifshitz and L P Pitaevski Electrodynamicsof Continuous Media vol 8 Butterworth-Heinemann 2ndedition 1984
[38] L D Landau and E M Lifshitz Fluid Mechanics vol bButterworth-Heinemann 2nd edition 1987
[39] R Temam Infinite-Dimensional Dynamical Systems inMechan-ics and Physics vol 68 Springer New York NY USA 2ndedition 1997
[40] J K Hale Asymptotic Behavior of Dissipative Systems vol 25 ofMathematical Surveys and Monographs American Mathemati-cal Society Providence RI USA 1988
[41] R A Adams and J J F Fournier Sobolev Spaces vol 140Elsevier 2nd edition 2003
[42] V Mazrsquoya Sobolev Spaces with Applications to Elliptic PartialDifferential Equations Springer Heidelberg Germany 2ndedition 2011
[43] V Georgescu ldquoSome boundary value problems for differentialforms on compact Riemannian manifoldsrdquo Annali di Matemat-ica Pura ed Applicata vol 122 pp 159ndash198 1979
[44] D Henry Geometric Theory of Semilinear Parabolic Equationsvol 840 of Lecture Notes in Mathematics Springer New YorkNY USA 1981
[45] V Girault and P-A Raviart Finite Element Methods for Navier-Stokes Equations Springer New York NY USA 1986
[46] J Bardeen L N Cooper and J R Schrieffer ldquoTheory ofsuperconductivityrdquo Physical Review vol 108 pp 1175ndash12041957
[47] A A Abrikosov Fundamental of the Theory of Metals North-Holland Amstedram The Netherlands 1988
[48] M Tinkham Introduction To Superconductivity McGraw-HillNew York NY USA 2nd edition 1996
[49] P DeGennes Superconductivity inMetals and Alloys BenjaminNew York NY USA 1966
[50] H Brezis Functional Analysis Sobolev Spaces and PartialDifferential Equations Springer New York NY USA 2011
[51] E Zeidler Nonlinear Functional Analysis and its Applicationsvol 2 Springer New York NY USA 1990
[52] A Schmid ldquoA time dependent Ginzburg-Landau equation andits application to the problem of resistivity in the mixed staterdquoPhysik der KondensiertenMaterie vol 5 no 4 pp 302ndash317 1966
[53] C M Elliot and Q Tang Existence Theorems For an Evolution-ary Superconductivity Model University of Sussex BrightonUK 1992
[54] Q Tang ldquoOn an evolutionary system of Ginzburg-Landauequations with fixed total magnetic fluxrdquo Communications inPartial Differential Equations vol 20 no 1-2 pp 1ndash36 1995
[55] Q Du ldquoGlobal existence and uniqueness of solutions of thetime-dependent Ginzburg-Landau model for superconductiv-ityrdquo Applicable Analysis vol 53 no 1-2 pp 1ndash18 1994
[56] Z M Chen K-H Hoffmann and J Liang ldquoOn a nonstation-ary Ginzburg-Landau superconductivity modelrdquoMathematicalMethods in the Applied Sciences vol 16 no 12 pp 855ndash875 1993
[57] J Liang and Q Tang ldquoAsymptotic behaviour of the solutionsof an evolutionaryGinzburg-Landau superconductivitymodelrdquoJournal of Mathematical Analysis and Applications vol 195 no1 pp 92ndash107 1995
[58] L P Gorrsquokov and G M Eliasherberg ldquoGeneralization of theGinzburg-Landau equations for an nonstationary problemsin the case of alloys with paramagnetic impartiesrdquo ZhurnalEksperimentalrsquonoi i Teoreticheskoi Fiziki vol 54 pp 612ndash6261968 Soviet Physics vol 27 pp 328ndash334 1968
[59] J Fleckinger-Pelle and H G Kaper ldquoGauges for the Ginzburg-Landau equations of superconductivityrdquo Zeitschrift fur Ange-wandte Mathematik und Mechanik vol 76 no 2 pp 345ndash3481996
[60] P Takac ldquoOn the dynamical process generated by supercon-ductivity modelrdquo Zeitschrift fur Angewandte Mathematik undMechanik vol 76 no 52 pp 349ndash352 1995
[61] W D Gropp H G Kaper DM Levine M Palumbo and VMVinokur ldquoNumerical simulation of vortex dynamics in type-IIsuperconductorsrdquo Journal of Computational Physics vol 123 no2 pp 254ndash266 1996
[62] D W Braun G W Crabtree H G Kaper et al ldquoStructure of amoving vortex latticerdquo Physical Review Letters vol 76 no 5 pp831ndash834 1996
[63] G W Crabtree G K Leaf H G Kaper et al ldquoTime-dependent Ginzburg-Landau simulations of vortex guidance bytwin boundariesrdquo Physica C vol 263 no 1ndash4 pp 401ndash408 1996
[64] G W Carabtree G K Leaf H G Kaper D W Braun V MVinokur andA E Koshelev ldquoDynamics vortex phases in super-conductors with correlated disorderrdquo Preprint ANLMCS-P590-0496 Mathematics and Computer Science DivisionAragonne National Laboratory 1996
[65] Th Gallay ldquoA center-stable manifold theorem for differentialequations in Banach spacesrdquo Communications in MathematicalPhysics vol 152 no 2 pp 249ndash268 1993
[66] J-M Ghidaglia and B Heron ldquoDimension of the attractorsassociated to the Ginzburg-Landau partial differential equa-tionrdquo Physica D vol 28 no 3 pp 282ndash304 1987
12 Journal of Function Spaces and Applications
[67] P Mattila Geometry of Sets and Measures in Euclidean Spacesvol 44 Cambridge University Press Cambridge UK 1995
[68] L HormanderThe Analysis of Linear Partial Differential Oper-ators vol 1 Springer Berlin Germany 2nd edition 1990
[69] H Amann Linear and Quasilinear Parabolic ProblemBikhauser Basel Switzerland 1995
[70] H-P Heinz ldquoOn the behaviour ofmeasures of noncompactnesswith respect to differentiation and integration of vector-valuedfunctionsrdquo Nonlinear Analysis Theory Methods amp ApplicationsA vol 7 no 12 pp 1351ndash1371 1983
[71] R P Agarwal M Meehan and D OrsquoRegan Fixed Point Theoryand Applications vol 141 of Cambridge Tracts in MathematicsCambridge University Press Cambridge UK 2001
[72] A Pazy Semigroups of Linear Operators and Applications toPartial Differential Equations Springer New York NY USA1983
[73] J Fleckinger-Pelle H G Kaper and P Takac ldquoDynamics of theGinzburg-Landau equations of superconductivityrdquo NonlinearAnalysis Theory Methods amp Applications A vol 32 no 5 pp647ndash665 1998
[74] H G Kaper and P Takac ldquoAn equivalence relation for theGinzburg-Landau equations of superconductivityrdquo Journal ofApplied Mathematics and Physics vol 48 no 4 pp 665ndash6751997
Finally using Remark 2 for the measure 120583119879 we deduce
that the set Γinfin= ⋂infin
119899=0Γ119899is nonempty convex and compact
Then by the Schauder-Tychonoff theorem we conclude thatoperator 119865 Γ
infinrarr Γinfin
has at least one fixed-point 119906 = 119906(119905)Obviously the function 119906 = 119906(119905) is a solution of problem (6)-(7) and in view of the definition of the set Γ
infin the estimate
119906(119905) le P(119905) holds to be trueThis completes the proof
4 Local and Global Attractivity
Following the concepts introduced in [36] we introduce firsta few definitions of various kinds of the concept of attractivityof mild solution of (6)
Definition 11 The mild solution 119906 = 119906(119905) of (6) with initialcondition (7) is said to be globally attractive if for each mildsolution V = V(119905) of (6) with initial condition V(0) = V
0we
have that
lim119905rarrinfin
(119906 (119905) minus V (119905)) = 120579 (55)
In other words we may say that solutions of (6) are globallyattractive if for arbitrary solutions 119906(119905) and V(119905) of thisequation condition (55) are satisfied
Definition 12 We say that mild solution 119906 = 119906(119905) of (6) withinitial condition (7) is locally attractive if there exists a ball119861(119906(0) 119903) in the space X such that for arbitrary solution V(119905)of (1) with initial-value V(0) isin 119861(119906(0) 119903) condition (55) doeshold
In the case when the limit (55) is uniform with respect toall solutions V(119905) that is when for each 120576 gt 0 there exist119879 gt 0such that
119906 (119905) minus V (119905) le 120576 (56)
for all V(119905) being solutions of (6) with initial-value V(0) isin119861(119906(0) 119903) and for 119905 ge 119879 we will say that solution 119906 = 119906(119905)
is uniformly locally attractive on R+
Now we formulate themain result of this sectionWe willconsider (6) under the following conditions
(1198671015840
1) A is the infinitesimal generator of an exponentiallystable119862
0-semigroup 119890minusA119905
119905ge0 that is there exist119872 gt
0 120588 gt 0 such that 119890minusA119905 le 119872119890minus120588119905 for all 119905 ge 0
6 Journal of Function Spaces and Applications
(1198675) there exist locally integrable functions119898 R
+rarr R+
such that
F (119905 119906) minusF (119905 V) le 119898 (119905) 119906 minus V (57)
for 119905 ge 0 and 119906 V isin X Moreover we assume that
lim119905rarrinfin
(int
119905
0
119898(119904) 119889119904 minus120588
119872119905) = minusinfin (58)
Remark 13 The property (11986710158401) is generally satisfied in diffu-
sion problem A necessary and sufficient condition for (11986710158401)
is presented in [72]
The main result of this section is shown in the giventheorem below
Theorem 14 Under assumptions (11986710158401) and (119867
2)ndash(1198675) prob-
lem (6)-(7) has amild solution 119906 = 119906(119905) for each 1199060isin X which
is globally attractive and locally uniformly attractive
Proof Existence of a solution 119906 = 119906(119905) is a consequence ofTheorem 10 Let us fix 119903 gt 0 and V
0isin 119861(119906(0) 119903)
Let V = V(119905) denote a mild solution of (6) with the initialcondition V(0) = V
0 Using (1198671015840
1) and (119867
3) we get
V (119905) le10038171003817100381710038171003817119890minusA119905V0
Using again Lemma 5 for the above estimate (where ℎ(119905) =119890120588119905119892(119905)) we obtain
119890120588119905119892 (119905) le 119872119903
+ int
119905
0
1198722119903119898 (119904) exp(int
119905
119904
119872119898(120591) 119889120591) 119889119904
(65)
Elementary calculations lead to the following equality
int
119905
0
1198722119903119898 (119904) exp(int
119905
119904
119872119898(120591) 119889120591) 119889119904
= 119872119903(exp(int119905
0
119872119898(119904) 119889119904) minus 1)
(66)
Hence
119892 (119905) le 119872119903 exp (minus120588119905) + 119872119903 exp(int119905
0
119872119898(119904) 119889119904 minus 120588119905)
minus119872119903 exp (minus120588119905) (67)
Applying assumption (1198675) we derive
lim119905rarrinfin
119892 (119905) = 0 (68)
and this proves that 119906(119905) is locally attractive Finally thisequality together with definition of the function 119892(119905) impliesthat 119906(119905) is globally attractive The proof is complete
Remark 15 In the case when 119898(119905) equiv 119898 is constant the fol-lowing condition
lim119905rarrinfin
(int
119905
0
119898(119904) 119889119904 minus120588
119872119905) = minusinfin (69)
means that 119898 lt 120588119872 Observe that this condition cannotbe weakened This observation is illustrated by the followingexampled
Example 16 Let X = R 119898(119905) equiv 119898 F(119905 119906) = sin 119905 + 119898119906119872 = 1 and 119890minusA119905 = 119890minus120588119905 Then the equation
119906 (119905) = 119890minusA1199051199060+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 (70)
(for any fixed 1199060isin R) has the solution 119906(119905) expressed by the
following formula
119906 (119905) =(120588 minus 119898) sin 119905 minus cos 119905
(120588 minus 119898)2
+ 1+ (1199060+
1
(120588 minus 119898)2
+ 1) 119890(119898minus120588)119905
(71)
Notice that for 119898 ge 120588 the solution 119906(119905) is neither globallyattractive nor locally uniformly attractive because for each
Journal of Function Spaces and Applications 7
other solution V(119905) with initial condition V(0) = V0 obviously
described by similar formula as 119906(119905) we would have acontradiction
In this section we will give a theorem describing asymptoticbehaviour of mild solutions of (6) with condition (7) Thistheorem generalizes the result included in [72Theorem 44]First we formulate the assumptions
(1198671015840
3) This condition is almost identical with (119867
3) and the
only difference is that we assume the functions 119886 and119887 are locally essentially bounded on R
+
(1198671015840
5) There exists 119906
infinisin X such that there exists the limit
lim119905rarrinfin
F(119905 119906infin) and
lim119905rarrinfin
F (119905 119906infin) = A
minus1119906infin (73)
Moreover there exists a number119898 lt 120588119872 such that1003817100381710038171003817F (119905 119906) minusF (119905 119906
infin)1003817100381710038171003817 le 119898
1003817100381710038171003817119906 minus 119906infin1003817100381710038171003817 (74)
for 119905 ge 0 and 119906 isin X
Remark 17 The condition (11986710158405) in conjunction with (1198671015840
1)
ensures the existence ofAminus1 (see [72]) Clearly (11986710158403) implies
(1198673)
Theorem 18 Under assumptions (11986710158401) (1198672) (11986710158403) (1198674) and
(11986710158405) (6) with condition (7) has a mild solution 119906 = 119906(119905) for
each 1199060isin X such that lim
119905rarrinfin119906(119905) = 119906
infin
Proof The existence of a mild solution 119906(119905) is guaranteed byTheorem 10 Let us put
119892 (119905) =1003817100381710038171003817119906 (119905) minus 119906infin
1003817100381710038171003817
Finfin= lim119905rarrinfin
F (119905 119906infin)
(75)
We show that
lim119905rarrinfin
119892 (119905) = 0 (76)
Recall that if assumption (11986710158401) is fulfilled then for each 119911 isin X
we have (see [72])
int
infin
0
119890minusA119904
119911 119889119904 = minusAminus1119911 (77)
Using the above fact and (11986710158405) we get
119906infin= (minusA
minus1(minusAminus1119906infin)) = minusA
minus1Finfin
= int
infin
0
119890minusA119904
Finfin119889119904
(78)
Linking the above equality with (11986710158401) we obtain
119892 (119905)
=
10038171003817100381710038171003817100381710038171003817119890minusA1199051199060+ int
LrsquoHospitalrsquos rule for the fraction on the right-hand sideof inequality (84) we obtain that condition (76) is satisfiedThis fact completes the proof
6 An Application to the Ginzburg-LandauEquations of Superconductivity
In this section we formulate the gauged time-dependentGinzburg-Landau (TDGL) equations as an abstract evolutionequation in a Hilbert space Moreover we show applicationsof the above theorems to TDGL equations
We assume that Ω is a bounded domain in R119899 withboundary 120597Ω of class11986211That isΩ is an open and connectedset whose boundary 120597Ω is a compact (119899 minus 1)-manifolddescribed by Lipschitz continuous differentiable charts Weconsider two- and three-dimensional problems (119899 = 2 and119899 = 3 resp) Assume that the vector potential A takes its
values in R119899 The vector H will represent the (externally)applied magnetic field which is a function of space andtime similarly to A it takes its values in R119899 The function120574 is defined and satisfies Lipschitz condition on 120597Ω and120574(119909) ge 0 for 119909 isin 120597Ω The parameters in the TDGLequations are 120578 a (dimensionless) friction coefficient and 120581the (dimensionless) Ginzburg-Landau parameter
The order parameter should be thought of as the wavefunction of the center-of-massmotion of the ldquosuperelectronsrdquo(Cooper pairs) whose density is 119899
119904= |120595|
2 and whose fluxis J119904 The vector potential A determines the electromagnetic
field E = minus120597119905A minus nabla120601 is the electric field and B = nabla times A
is the magnetic induction where J the total current is thesum of a ldquonormalrdquo current J
119899= E the supercurrent J
119904 and
the transport current J119905= nabla times H The normal current obeys
Ohmrsquos law J119899= 120590119899E the ldquonormal conductivityrdquo coefficient 120590
119899
is equal to one in the adopted system of units The differenceM = BminusH is known as themagnetizationThe trivial solution(120595 = 0 B = H E = 0) represents the normal state where allsuperconducting properties have been lost
Nowwe accept the following notion all Banach spaces arereal the (real) dual of a Banach space119883 is denoted by1198831015840Thesymbol 119871119901(Ω) for 1 le 119901 le infin denotes the usual Lebesguespace with norm sdot
119871119901 (sdot sdot) is the inner product in 1198712(Ω)
1198821198982(Ω) for nonnegative integer 119898 is the usual Sobolev
space with norm sdot 1198821198982 1198821198982(Ω) is a Hilbert space for the
inner product (sdot sdot)1198982
given by (119906 V)1198982
= sum|120572|le119898
(120597120572119906 120597120572V)
for 119906 V isin 1198821198982(Ω) Fractional Sobolev space1198821199042(Ω) with afractional 119904 is defined by interpolation ([40 Chap VII] and[41 49 50]) 119862]
(Ω) for ] ge 0 ] = 119898 + 120582 with 0 le 120582 lt 1 isthe space of 119898 times continuous differentiable functions onΩ those 119898th-order derivatives satisfy the Holder conditionwith exponent 120582 if ] is a proper fraction the norm sdot
119862] is
defined in the usual wayThe definitions extend to the space of vector-valued
functions in the standard way with the caveat that the innerproduct in [1198712(Ω)]119899 is defined by (119906 V) = int
Ω119906 sdot V where the
symbol (119906 V) indicates the scalar product in R119899 Complex-valued functions are interpreted as vector-valued functionswith two real components
Functions that vary in space and time like the orderparameter and the vector potential are considered as map-pings from the time domain which is a subinterval of [0infin)into spaces of complex- or vector-valued functions definedin Ω Let 119883 = (119883 sdot
119883) be a Banach space of functions
defined inΩ Then the functions are defined in Ω Then thefunctions of space and time defined on Ω times (0 119879) for 119879 gt 0may be considered as elements of 119871119901(0 119879119883) for 1 le 119901 le infinor1198822119898(0 119879119883) for nonnegative119898 or119862]
(0 119879119883) for ] ge 0] = 119898 + 120582 with 0 le 120582 lt 1 Detailed definitions can be foundfor example in [43]
Obviously function spaces of ordered pairs (120595A) where120595 Ω rarr R2 and A Ω rarr R119899 (119899 = 2 3) play an importantrole in the study of the gauged TDGL equationsWe thereforeadapt the following special notationH = [119883(Ω)]
2times[119883(Ω)]
119899for any Banach space for the order parameter 120595 and thevector potential A respectively A suitable framework forthe functional analysis of the gauged TDGL equations is the
Journal of Function Spaces and Applications 9
Cartesian product W1+1205722 = [1198821+1205722
(Ω)]2times [1198821+1205722
(Ω)]119899
where 120572 isin (12 1) This space is continuously imbedded inW12 capLinfin
Assume H = 0 and H isin [1198712(Ω)]119899 Let AH be a minimizer
of the convex quadratic form 119869120596equiv J120596[119860]
119869120596 [A] = int
Ω
[120596(nabla sdot A)2 + |nabla times A minusH|2] 119889119909 (90)
on the domain
D (119869120596) = A isin [119882
12(Ω)]119899
n sdot A = 0 on 120597Ω (91)
We now introduce the reduced vector potential A1015840
A1015840 = A minus AH (92)
In terms of 120595 and A1015840 the gauged TDGL equations have thefollowing form
120597120595
120597119905minus
1
1205781205812Δ120595 = 120593 in Ω times (0infin)
120597A1015840
120597119905+ nabla times nabla times A1015840 minus 120596nabla (nabla sdot A1015840) = F in Ω times (0infin)
n sdot nabla + 120574120595 = 0 n sdot A1015840 = 0
n times (nabla sdot A1015840) = 0 on 120597Ω times (0infin)
(93)
Here 120593 and F are nonlinear functions of 120595 and A1015840
119888 gt 0 Hence A is positively definite in L2 ([44 Chap 1]equation (545)) If it does not lead to confusion we use thesame symbol A for the restriction A
120595and AA of A to the
respective linear subspace [1198712(Ω)]2 = [1198712(Ω)]2 times 0 (for 120595)and [1198712(Ω)]119899 equiv 0 times [1198712(Ω)]119899 (for A) ofL2
Now consider the initial-value problems (6) and (7) inL2 whereF(119905 119906) = (120593 F) 120593 and F is given by (94) and (95)and 119906
0= (1205950A0minus AH(0))
With 120582 isin (12 1) and 1199060isin W1+1205822 we say that 119906 are a
solution of (6) and (7) on the interval [0 119879] for some 119879 gt 0if 119906 [0 119879] rarr W1+1205822 is continuous and
119906 (119905) = 119890minusA(119905)
+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 for 119905 isin [0 119879]
(102)
in L2 A mild solution of the initial-value problems (6) and(7) defines a weak solution (120595A1015840) of the boundary valueproblem (93) which in turn defines a weak solution (120595A)of the gauged TDGL equations provided AH is sufficientlyregular
Namely let us assume that X = L2 and 1199060isin L2 and
119906 R+times R119899 rarr R119899 for 119899 isin N is an unknown function 119906 =
119906(119905 119909) In order to applyTheorems 10 and 14 we are not goingto consider 119906 as a function of 119905 and 119909 together but rather asa mapping 119906 of variable 119905 into the spaceX =L2 of functions119909 that is 119906 R
We observe that in the case when 119890minusA119905119905ge0
is the semi-group of contractions and 119886(119905) equiv 119886 119887(119905) equiv 119887 for 119905 isin
R+are constant after simple calculations based on estimate
(25) we get that the solution 119906 = 119906(119905) has the asymptoticcharacterization
119906 (119905) = 119874 (1199053) as 119905 997888rarr infin (103)
For further purposes let us formulate the followingassumption
(A) A is the infinitesimal generator of an exponentiallystable 119862
0-semigroup 119890minusA119905
119905ge0
The next result of this chapter is shown in the giventheorem below
Theorem21 Under assumptions (A) and (1198672)ndash(1198674) problem
(6)-(7) which is equivalent to the systems equations (1)ndash(5)(TDGL equations) has a mild solution 119906 = 119906(119905) for each1199060isin L2 which is globally attractive and locally uniformly
attractive
References
[1] V L Ginzburg and L D Landau ldquoOn the theory of supercon-ductivityrdquo Zhurnal Eksperimentalrsquonoi i Teoreticheskoi Fiziki vol20 pp 1064ndash1082 1950 English translation in L D LandauMen of Physics D ter Haar ed Vol I Pergamon Press OxfordUK pp 138ndash167 1965
[2] S Aizicovici and H Lee ldquoNonlinear nonlocal Cauchy problemsin Banach spacesrdquo Applied Mathematics Letters vol 18 no 4pp 401ndash407 2005
[3] S Aizicovici and M McKibben ldquoExistence results for a classof abstract nonlocal Cauchy problemsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 39 no 5 pp 649ndash6682000
[4] MMcKibbenDiscovering Evolution Equation with ApplicationCRC Press Taylor amp Francis Group 2011
[5] S Aizicovici and V Staicu ldquoMultivalued evolution equationswith nonlocal initial conditions in Banach spacesrdquo NonlinearDifferential Equations and Applications vol 14 no 3-4 pp 361ndash376 2007
[6] R P Agarwal and D OrsquoRegan Infinite Interval Problems for Dif-ferential Difference and Integral Equations Kluwer AcademicPublishers Dordrecht The Netherlands 2001
[7] Z Fan ldquoExistence of nondensely defined evolution equationswith nonlocal conditionsrdquo Nonlinear Analysis Theory Methodsamp Applications A vol 70 no 11 pp 3829ndash3836 2009
[8] Z Fan ldquoImpulsive problems for semilinear differential equa-tions with nonlocal conditionsrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 72 no 2 pp 1104ndash1109 2010
[9] Z Fan and G Li ldquoExistence results for semilinear differentialequations with nonlocal and impulsive conditionsrdquo Journal ofFunctional Analysis vol 258 no 5 pp 1709ndash1727 2010
[10] J Garcıa-Falset ldquoExistence results and asymptotic behavior fornonlocal abstract Cauchy problemsrdquo Journal of MathematicalAnalysis and Applications vol 338 no 1 pp 639ndash652 2008
[11] J Liang J H Liu and T-J Xiao ldquoNonlocal impulsive problemsfor nonlinear differential equations in Banach spacesrdquo Mathe-matical and Computer Modelling vol 49 no 3-4 pp 798ndash8042009
[12] L Zhu and G Li ldquoOn a nonlocal problem for semilinear differ-ential equations with upper semicontinuous nonlinearities ingeneral Banach spacesrdquo Journal of Mathematical Analysis andApplications vol 341 no 1 pp 660ndash675 2008
[13] Q Liu and R Yuan ldquoExistence of mild solutions for semilinearevolution equations with non-local initial conditionsrdquo Nonlin-ear AnalysisTheoryMethodsampApplications A vol 71 no 9 pp4177ndash4184 2009
[14] C Xie W Zhong and Z Fan ldquoExistence results for nonlinearnonlocal problems in Banach spacesrdquo Applied MathematicsLetters vol 22 no 7 pp 998ndash1002 2009
[15] T-J Xiao and J Liang ldquoExistence of classical solutions tononautonomous nonlocal parabolic problemsrdquoNonlinear Anal-ysisTheoryMethods and Applications vol 63 no 5-7 pp e225ndashe232 2005
[16] X Xue ldquo119871119901 theory for semilinear nonlocal problems with mea-sure of noncompactness in separable Banach spacesrdquo Journal ofFixed Point Theory and Applications vol 5 no 1 pp 129ndash1442009
[17] X Xue ldquoNonlinear differential equations with nonlocal condi-tions in Banach spacesrdquo Nonlinear Analysis Theory Methods ampApplications A vol 63 no 4 pp 575ndash586 2005
[18] X Xue ldquoExistence of solutions for semilinear nonlocal Cauchyproblems in Banach spacesrdquo Electronic Journal of DifferentialEquations vol 64 p 7 2005
[19] X Xue ldquoNonlocal nonlinear differential equations with a mea-sure of noncompactness in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 70 no 7 pp 2593ndash26012009
[20] L Olszowy ldquoExistence ofmild solutions for the semilinear non-local problem in Banach spacesrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 81 pp 211ndash223 2013
[21] D Bothe ldquoMultivalued perturbations of119898-accretive differentialinclusionsrdquo Israel Journal of Mathematics vol 108 pp 109ndash1381998
[22] H-S Ding J Liang G M NrsquoGuerekata and T-J XiaoldquoMild pseudo-almost periodic solutions of nonautonomoussemilinear evolution equationsrdquo Mathematical and ComputerModelling vol 45 no 5-6 pp 579ndash584 2007
[23] J Garcıa-Falset ldquoThe asymptotic behavior of the solutions of theCauchy problem generated by 120593-accretive operatorsrdquo Journal ofMathematical Analysis and Applications vol 310 no 2 pp 594ndash608 2005
[24] Z Fan and G Li ldquoAsymptotic behavior of the solutions of non-autonomous systems in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 68 no 12 pp 3733ndash37412008
[25] J Banas ldquoOn existence theorems for differential equations inBanach spacesrdquo Bulletin of the Australian Mathematical Societyvol 32 no 1 pp 73ndash82 1985
[26] J Banas ldquoMeasures of noncompactness in the space of contin-uous tempered functionsrdquo Demonstratio Mathematica vol 14no 1 pp 127ndash133 1981
Journal of Function Spaces and Applications 11
[27] J Banas and K GoebelMeasures of Noncompactness in BanachSpaces vol 60 ofLectureNotes in Pure andAppliedMathematicsMarcel Dekker New York NY USA 1980
[28] J Banas and M Lecko ldquoSolvability of infinite systems ofdifferential equations in Banach sequence spacesrdquo Journal ofComputational andAppliedMathematics vol 137 no 2 pp 363ndash375 2001
[29] J Banas and K Sadarangani ldquoCompactness conditions inthe study of functional differential and integral equationsrdquoAbstract and Applied Analysis vol 2013 Article ID 819315 14pages 2013
[30] M Mursaleen and S A Mohiuddine ldquoApplications of mea-sures of noncompactness to the infinite system of differentialequations in ℓ
119901spacesrdquo Nonlinear Analysis Theory Methods amp
Applications A vol 75 no 4 pp 2111ndash2115 2012[31] L Olszowy ldquoSolvability of some functional integral equationrdquo
Dynamic Systems and Applications vol 18 no 3-4 pp 667ndash6762009
[32] L Olszowy ldquoOn some measures of noncompactness in theFrechet spaces of continuous functionsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 72 pp 2119ndash2126 2010
[33] L Olszowy ldquoOn existence of solutions of a quadratic Urysohnintegral equation on an unbounded intervalrdquo CommentationesMathematicae vol 48 no 1 pp 103ndash112 2008
[34] L Olszowy ldquoExistence ofmild solutions for semilinear nonlocalCauchy problems in separable Banach spacesrdquo Journal of Anal-ysis and its Applications vol 32 no 2 pp 215ndash232 2013
[35] L Olszowy ldquoFixed point theorems in the Frechet space 119862(119877+)
and functional integral equations on an unbounded intervalrdquoApplied Mathematics and Computation vol 218 no 18 pp9066ndash9074 2012
[36] J Banas and D OrsquoRegan ldquoOn existence and local attractivity ofsolutions of a quadratic Volterra integral equation of fractionalorderrdquo Journal of Mathematical Analysis and Applications vol345 no 1 pp 573ndash582 2008
[37] L D Landau EM Lifshitz and L P Pitaevski Electrodynamicsof Continuous Media vol 8 Butterworth-Heinemann 2ndedition 1984
[38] L D Landau and E M Lifshitz Fluid Mechanics vol bButterworth-Heinemann 2nd edition 1987
[39] R Temam Infinite-Dimensional Dynamical Systems inMechan-ics and Physics vol 68 Springer New York NY USA 2ndedition 1997
[40] J K Hale Asymptotic Behavior of Dissipative Systems vol 25 ofMathematical Surveys and Monographs American Mathemati-cal Society Providence RI USA 1988
[41] R A Adams and J J F Fournier Sobolev Spaces vol 140Elsevier 2nd edition 2003
[42] V Mazrsquoya Sobolev Spaces with Applications to Elliptic PartialDifferential Equations Springer Heidelberg Germany 2ndedition 2011
[43] V Georgescu ldquoSome boundary value problems for differentialforms on compact Riemannian manifoldsrdquo Annali di Matemat-ica Pura ed Applicata vol 122 pp 159ndash198 1979
[44] D Henry Geometric Theory of Semilinear Parabolic Equationsvol 840 of Lecture Notes in Mathematics Springer New YorkNY USA 1981
[45] V Girault and P-A Raviart Finite Element Methods for Navier-Stokes Equations Springer New York NY USA 1986
[46] J Bardeen L N Cooper and J R Schrieffer ldquoTheory ofsuperconductivityrdquo Physical Review vol 108 pp 1175ndash12041957
[47] A A Abrikosov Fundamental of the Theory of Metals North-Holland Amstedram The Netherlands 1988
[48] M Tinkham Introduction To Superconductivity McGraw-HillNew York NY USA 2nd edition 1996
[49] P DeGennes Superconductivity inMetals and Alloys BenjaminNew York NY USA 1966
[50] H Brezis Functional Analysis Sobolev Spaces and PartialDifferential Equations Springer New York NY USA 2011
[51] E Zeidler Nonlinear Functional Analysis and its Applicationsvol 2 Springer New York NY USA 1990
[52] A Schmid ldquoA time dependent Ginzburg-Landau equation andits application to the problem of resistivity in the mixed staterdquoPhysik der KondensiertenMaterie vol 5 no 4 pp 302ndash317 1966
[53] C M Elliot and Q Tang Existence Theorems For an Evolution-ary Superconductivity Model University of Sussex BrightonUK 1992
[54] Q Tang ldquoOn an evolutionary system of Ginzburg-Landauequations with fixed total magnetic fluxrdquo Communications inPartial Differential Equations vol 20 no 1-2 pp 1ndash36 1995
[55] Q Du ldquoGlobal existence and uniqueness of solutions of thetime-dependent Ginzburg-Landau model for superconductiv-ityrdquo Applicable Analysis vol 53 no 1-2 pp 1ndash18 1994
[56] Z M Chen K-H Hoffmann and J Liang ldquoOn a nonstation-ary Ginzburg-Landau superconductivity modelrdquoMathematicalMethods in the Applied Sciences vol 16 no 12 pp 855ndash875 1993
[57] J Liang and Q Tang ldquoAsymptotic behaviour of the solutionsof an evolutionaryGinzburg-Landau superconductivitymodelrdquoJournal of Mathematical Analysis and Applications vol 195 no1 pp 92ndash107 1995
[58] L P Gorrsquokov and G M Eliasherberg ldquoGeneralization of theGinzburg-Landau equations for an nonstationary problemsin the case of alloys with paramagnetic impartiesrdquo ZhurnalEksperimentalrsquonoi i Teoreticheskoi Fiziki vol 54 pp 612ndash6261968 Soviet Physics vol 27 pp 328ndash334 1968
[59] J Fleckinger-Pelle and H G Kaper ldquoGauges for the Ginzburg-Landau equations of superconductivityrdquo Zeitschrift fur Ange-wandte Mathematik und Mechanik vol 76 no 2 pp 345ndash3481996
[60] P Takac ldquoOn the dynamical process generated by supercon-ductivity modelrdquo Zeitschrift fur Angewandte Mathematik undMechanik vol 76 no 52 pp 349ndash352 1995
[61] W D Gropp H G Kaper DM Levine M Palumbo and VMVinokur ldquoNumerical simulation of vortex dynamics in type-IIsuperconductorsrdquo Journal of Computational Physics vol 123 no2 pp 254ndash266 1996
[62] D W Braun G W Crabtree H G Kaper et al ldquoStructure of amoving vortex latticerdquo Physical Review Letters vol 76 no 5 pp831ndash834 1996
[63] G W Crabtree G K Leaf H G Kaper et al ldquoTime-dependent Ginzburg-Landau simulations of vortex guidance bytwin boundariesrdquo Physica C vol 263 no 1ndash4 pp 401ndash408 1996
[64] G W Carabtree G K Leaf H G Kaper D W Braun V MVinokur andA E Koshelev ldquoDynamics vortex phases in super-conductors with correlated disorderrdquo Preprint ANLMCS-P590-0496 Mathematics and Computer Science DivisionAragonne National Laboratory 1996
[65] Th Gallay ldquoA center-stable manifold theorem for differentialequations in Banach spacesrdquo Communications in MathematicalPhysics vol 152 no 2 pp 249ndash268 1993
[66] J-M Ghidaglia and B Heron ldquoDimension of the attractorsassociated to the Ginzburg-Landau partial differential equa-tionrdquo Physica D vol 28 no 3 pp 282ndash304 1987
12 Journal of Function Spaces and Applications
[67] P Mattila Geometry of Sets and Measures in Euclidean Spacesvol 44 Cambridge University Press Cambridge UK 1995
[68] L HormanderThe Analysis of Linear Partial Differential Oper-ators vol 1 Springer Berlin Germany 2nd edition 1990
[69] H Amann Linear and Quasilinear Parabolic ProblemBikhauser Basel Switzerland 1995
[70] H-P Heinz ldquoOn the behaviour ofmeasures of noncompactnesswith respect to differentiation and integration of vector-valuedfunctionsrdquo Nonlinear Analysis Theory Methods amp ApplicationsA vol 7 no 12 pp 1351ndash1371 1983
[71] R P Agarwal M Meehan and D OrsquoRegan Fixed Point Theoryand Applications vol 141 of Cambridge Tracts in MathematicsCambridge University Press Cambridge UK 2001
[72] A Pazy Semigroups of Linear Operators and Applications toPartial Differential Equations Springer New York NY USA1983
[73] J Fleckinger-Pelle H G Kaper and P Takac ldquoDynamics of theGinzburg-Landau equations of superconductivityrdquo NonlinearAnalysis Theory Methods amp Applications A vol 32 no 5 pp647ndash665 1998
[74] H G Kaper and P Takac ldquoAn equivalence relation for theGinzburg-Landau equations of superconductivityrdquo Journal ofApplied Mathematics and Physics vol 48 no 4 pp 665ndash6751997
Using again Lemma 5 for the above estimate (where ℎ(119905) =119890120588119905119892(119905)) we obtain
119890120588119905119892 (119905) le 119872119903
+ int
119905
0
1198722119903119898 (119904) exp(int
119905
119904
119872119898(120591) 119889120591) 119889119904
(65)
Elementary calculations lead to the following equality
int
119905
0
1198722119903119898 (119904) exp(int
119905
119904
119872119898(120591) 119889120591) 119889119904
= 119872119903(exp(int119905
0
119872119898(119904) 119889119904) minus 1)
(66)
Hence
119892 (119905) le 119872119903 exp (minus120588119905) + 119872119903 exp(int119905
0
119872119898(119904) 119889119904 minus 120588119905)
minus119872119903 exp (minus120588119905) (67)
Applying assumption (1198675) we derive
lim119905rarrinfin
119892 (119905) = 0 (68)
and this proves that 119906(119905) is locally attractive Finally thisequality together with definition of the function 119892(119905) impliesthat 119906(119905) is globally attractive The proof is complete
Remark 15 In the case when 119898(119905) equiv 119898 is constant the fol-lowing condition
lim119905rarrinfin
(int
119905
0
119898(119904) 119889119904 minus120588
119872119905) = minusinfin (69)
means that 119898 lt 120588119872 Observe that this condition cannotbe weakened This observation is illustrated by the followingexampled
Example 16 Let X = R 119898(119905) equiv 119898 F(119905 119906) = sin 119905 + 119898119906119872 = 1 and 119890minusA119905 = 119890minus120588119905 Then the equation
119906 (119905) = 119890minusA1199051199060+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 (70)
(for any fixed 1199060isin R) has the solution 119906(119905) expressed by the
following formula
119906 (119905) =(120588 minus 119898) sin 119905 minus cos 119905
(120588 minus 119898)2
+ 1+ (1199060+
1
(120588 minus 119898)2
+ 1) 119890(119898minus120588)119905
(71)
Notice that for 119898 ge 120588 the solution 119906(119905) is neither globallyattractive nor locally uniformly attractive because for each
Journal of Function Spaces and Applications 7
other solution V(119905) with initial condition V(0) = V0 obviously
described by similar formula as 119906(119905) we would have acontradiction
In this section we will give a theorem describing asymptoticbehaviour of mild solutions of (6) with condition (7) Thistheorem generalizes the result included in [72Theorem 44]First we formulate the assumptions
(1198671015840
3) This condition is almost identical with (119867
3) and the
only difference is that we assume the functions 119886 and119887 are locally essentially bounded on R
+
(1198671015840
5) There exists 119906
infinisin X such that there exists the limit
lim119905rarrinfin
F(119905 119906infin) and
lim119905rarrinfin
F (119905 119906infin) = A
minus1119906infin (73)
Moreover there exists a number119898 lt 120588119872 such that1003817100381710038171003817F (119905 119906) minusF (119905 119906
infin)1003817100381710038171003817 le 119898
1003817100381710038171003817119906 minus 119906infin1003817100381710038171003817 (74)
for 119905 ge 0 and 119906 isin X
Remark 17 The condition (11986710158405) in conjunction with (1198671015840
1)
ensures the existence ofAminus1 (see [72]) Clearly (11986710158403) implies
(1198673)
Theorem 18 Under assumptions (11986710158401) (1198672) (11986710158403) (1198674) and
(11986710158405) (6) with condition (7) has a mild solution 119906 = 119906(119905) for
each 1199060isin X such that lim
119905rarrinfin119906(119905) = 119906
infin
Proof The existence of a mild solution 119906(119905) is guaranteed byTheorem 10 Let us put
119892 (119905) =1003817100381710038171003817119906 (119905) minus 119906infin
1003817100381710038171003817
Finfin= lim119905rarrinfin
F (119905 119906infin)
(75)
We show that
lim119905rarrinfin
119892 (119905) = 0 (76)
Recall that if assumption (11986710158401) is fulfilled then for each 119911 isin X
we have (see [72])
int
infin
0
119890minusA119904
119911 119889119904 = minusAminus1119911 (77)
Using the above fact and (11986710158405) we get
119906infin= (minusA
minus1(minusAminus1119906infin)) = minusA
minus1Finfin
= int
infin
0
119890minusA119904
Finfin119889119904
(78)
Linking the above equality with (11986710158401) we obtain
119892 (119905)
=
10038171003817100381710038171003817100381710038171003817119890minusA1199051199060+ int
LrsquoHospitalrsquos rule for the fraction on the right-hand sideof inequality (84) we obtain that condition (76) is satisfiedThis fact completes the proof
6 An Application to the Ginzburg-LandauEquations of Superconductivity
In this section we formulate the gauged time-dependentGinzburg-Landau (TDGL) equations as an abstract evolutionequation in a Hilbert space Moreover we show applicationsof the above theorems to TDGL equations
We assume that Ω is a bounded domain in R119899 withboundary 120597Ω of class11986211That isΩ is an open and connectedset whose boundary 120597Ω is a compact (119899 minus 1)-manifolddescribed by Lipschitz continuous differentiable charts Weconsider two- and three-dimensional problems (119899 = 2 and119899 = 3 resp) Assume that the vector potential A takes its
values in R119899 The vector H will represent the (externally)applied magnetic field which is a function of space andtime similarly to A it takes its values in R119899 The function120574 is defined and satisfies Lipschitz condition on 120597Ω and120574(119909) ge 0 for 119909 isin 120597Ω The parameters in the TDGLequations are 120578 a (dimensionless) friction coefficient and 120581the (dimensionless) Ginzburg-Landau parameter
The order parameter should be thought of as the wavefunction of the center-of-massmotion of the ldquosuperelectronsrdquo(Cooper pairs) whose density is 119899
119904= |120595|
2 and whose fluxis J119904 The vector potential A determines the electromagnetic
field E = minus120597119905A minus nabla120601 is the electric field and B = nabla times A
is the magnetic induction where J the total current is thesum of a ldquonormalrdquo current J
119899= E the supercurrent J
119904 and
the transport current J119905= nabla times H The normal current obeys
Ohmrsquos law J119899= 120590119899E the ldquonormal conductivityrdquo coefficient 120590
119899
is equal to one in the adopted system of units The differenceM = BminusH is known as themagnetizationThe trivial solution(120595 = 0 B = H E = 0) represents the normal state where allsuperconducting properties have been lost
Nowwe accept the following notion all Banach spaces arereal the (real) dual of a Banach space119883 is denoted by1198831015840Thesymbol 119871119901(Ω) for 1 le 119901 le infin denotes the usual Lebesguespace with norm sdot
119871119901 (sdot sdot) is the inner product in 1198712(Ω)
1198821198982(Ω) for nonnegative integer 119898 is the usual Sobolev
space with norm sdot 1198821198982 1198821198982(Ω) is a Hilbert space for the
inner product (sdot sdot)1198982
given by (119906 V)1198982
= sum|120572|le119898
(120597120572119906 120597120572V)
for 119906 V isin 1198821198982(Ω) Fractional Sobolev space1198821199042(Ω) with afractional 119904 is defined by interpolation ([40 Chap VII] and[41 49 50]) 119862]
(Ω) for ] ge 0 ] = 119898 + 120582 with 0 le 120582 lt 1 isthe space of 119898 times continuous differentiable functions onΩ those 119898th-order derivatives satisfy the Holder conditionwith exponent 120582 if ] is a proper fraction the norm sdot
119862] is
defined in the usual wayThe definitions extend to the space of vector-valued
functions in the standard way with the caveat that the innerproduct in [1198712(Ω)]119899 is defined by (119906 V) = int
Ω119906 sdot V where the
symbol (119906 V) indicates the scalar product in R119899 Complex-valued functions are interpreted as vector-valued functionswith two real components
Functions that vary in space and time like the orderparameter and the vector potential are considered as map-pings from the time domain which is a subinterval of [0infin)into spaces of complex- or vector-valued functions definedin Ω Let 119883 = (119883 sdot
119883) be a Banach space of functions
defined inΩ Then the functions are defined in Ω Then thefunctions of space and time defined on Ω times (0 119879) for 119879 gt 0may be considered as elements of 119871119901(0 119879119883) for 1 le 119901 le infinor1198822119898(0 119879119883) for nonnegative119898 or119862]
(0 119879119883) for ] ge 0] = 119898 + 120582 with 0 le 120582 lt 1 Detailed definitions can be foundfor example in [43]
Obviously function spaces of ordered pairs (120595A) where120595 Ω rarr R2 and A Ω rarr R119899 (119899 = 2 3) play an importantrole in the study of the gauged TDGL equationsWe thereforeadapt the following special notationH = [119883(Ω)]
2times[119883(Ω)]
119899for any Banach space for the order parameter 120595 and thevector potential A respectively A suitable framework forthe functional analysis of the gauged TDGL equations is the
Journal of Function Spaces and Applications 9
Cartesian product W1+1205722 = [1198821+1205722
(Ω)]2times [1198821+1205722
(Ω)]119899
where 120572 isin (12 1) This space is continuously imbedded inW12 capLinfin
Assume H = 0 and H isin [1198712(Ω)]119899 Let AH be a minimizer
of the convex quadratic form 119869120596equiv J120596[119860]
119869120596 [A] = int
Ω
[120596(nabla sdot A)2 + |nabla times A minusH|2] 119889119909 (90)
on the domain
D (119869120596) = A isin [119882
12(Ω)]119899
n sdot A = 0 on 120597Ω (91)
We now introduce the reduced vector potential A1015840
A1015840 = A minus AH (92)
In terms of 120595 and A1015840 the gauged TDGL equations have thefollowing form
120597120595
120597119905minus
1
1205781205812Δ120595 = 120593 in Ω times (0infin)
120597A1015840
120597119905+ nabla times nabla times A1015840 minus 120596nabla (nabla sdot A1015840) = F in Ω times (0infin)
n sdot nabla + 120574120595 = 0 n sdot A1015840 = 0
n times (nabla sdot A1015840) = 0 on 120597Ω times (0infin)
(93)
Here 120593 and F are nonlinear functions of 120595 and A1015840
119888 gt 0 Hence A is positively definite in L2 ([44 Chap 1]equation (545)) If it does not lead to confusion we use thesame symbol A for the restriction A
120595and AA of A to the
respective linear subspace [1198712(Ω)]2 = [1198712(Ω)]2 times 0 (for 120595)and [1198712(Ω)]119899 equiv 0 times [1198712(Ω)]119899 (for A) ofL2
Now consider the initial-value problems (6) and (7) inL2 whereF(119905 119906) = (120593 F) 120593 and F is given by (94) and (95)and 119906
0= (1205950A0minus AH(0))
With 120582 isin (12 1) and 1199060isin W1+1205822 we say that 119906 are a
solution of (6) and (7) on the interval [0 119879] for some 119879 gt 0if 119906 [0 119879] rarr W1+1205822 is continuous and
119906 (119905) = 119890minusA(119905)
+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 for 119905 isin [0 119879]
(102)
in L2 A mild solution of the initial-value problems (6) and(7) defines a weak solution (120595A1015840) of the boundary valueproblem (93) which in turn defines a weak solution (120595A)of the gauged TDGL equations provided AH is sufficientlyregular
Namely let us assume that X = L2 and 1199060isin L2 and
119906 R+times R119899 rarr R119899 for 119899 isin N is an unknown function 119906 =
119906(119905 119909) In order to applyTheorems 10 and 14 we are not goingto consider 119906 as a function of 119905 and 119909 together but rather asa mapping 119906 of variable 119905 into the spaceX =L2 of functions119909 that is 119906 R
We observe that in the case when 119890minusA119905119905ge0
is the semi-group of contractions and 119886(119905) equiv 119886 119887(119905) equiv 119887 for 119905 isin
R+are constant after simple calculations based on estimate
(25) we get that the solution 119906 = 119906(119905) has the asymptoticcharacterization
119906 (119905) = 119874 (1199053) as 119905 997888rarr infin (103)
For further purposes let us formulate the followingassumption
(A) A is the infinitesimal generator of an exponentiallystable 119862
0-semigroup 119890minusA119905
119905ge0
The next result of this chapter is shown in the giventheorem below
Theorem21 Under assumptions (A) and (1198672)ndash(1198674) problem
(6)-(7) which is equivalent to the systems equations (1)ndash(5)(TDGL equations) has a mild solution 119906 = 119906(119905) for each1199060isin L2 which is globally attractive and locally uniformly
attractive
References
[1] V L Ginzburg and L D Landau ldquoOn the theory of supercon-ductivityrdquo Zhurnal Eksperimentalrsquonoi i Teoreticheskoi Fiziki vol20 pp 1064ndash1082 1950 English translation in L D LandauMen of Physics D ter Haar ed Vol I Pergamon Press OxfordUK pp 138ndash167 1965
[2] S Aizicovici and H Lee ldquoNonlinear nonlocal Cauchy problemsin Banach spacesrdquo Applied Mathematics Letters vol 18 no 4pp 401ndash407 2005
[3] S Aizicovici and M McKibben ldquoExistence results for a classof abstract nonlocal Cauchy problemsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 39 no 5 pp 649ndash6682000
[4] MMcKibbenDiscovering Evolution Equation with ApplicationCRC Press Taylor amp Francis Group 2011
[5] S Aizicovici and V Staicu ldquoMultivalued evolution equationswith nonlocal initial conditions in Banach spacesrdquo NonlinearDifferential Equations and Applications vol 14 no 3-4 pp 361ndash376 2007
[6] R P Agarwal and D OrsquoRegan Infinite Interval Problems for Dif-ferential Difference and Integral Equations Kluwer AcademicPublishers Dordrecht The Netherlands 2001
[7] Z Fan ldquoExistence of nondensely defined evolution equationswith nonlocal conditionsrdquo Nonlinear Analysis Theory Methodsamp Applications A vol 70 no 11 pp 3829ndash3836 2009
[8] Z Fan ldquoImpulsive problems for semilinear differential equa-tions with nonlocal conditionsrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 72 no 2 pp 1104ndash1109 2010
[9] Z Fan and G Li ldquoExistence results for semilinear differentialequations with nonlocal and impulsive conditionsrdquo Journal ofFunctional Analysis vol 258 no 5 pp 1709ndash1727 2010
[10] J Garcıa-Falset ldquoExistence results and asymptotic behavior fornonlocal abstract Cauchy problemsrdquo Journal of MathematicalAnalysis and Applications vol 338 no 1 pp 639ndash652 2008
[11] J Liang J H Liu and T-J Xiao ldquoNonlocal impulsive problemsfor nonlinear differential equations in Banach spacesrdquo Mathe-matical and Computer Modelling vol 49 no 3-4 pp 798ndash8042009
[12] L Zhu and G Li ldquoOn a nonlocal problem for semilinear differ-ential equations with upper semicontinuous nonlinearities ingeneral Banach spacesrdquo Journal of Mathematical Analysis andApplications vol 341 no 1 pp 660ndash675 2008
[13] Q Liu and R Yuan ldquoExistence of mild solutions for semilinearevolution equations with non-local initial conditionsrdquo Nonlin-ear AnalysisTheoryMethodsampApplications A vol 71 no 9 pp4177ndash4184 2009
[14] C Xie W Zhong and Z Fan ldquoExistence results for nonlinearnonlocal problems in Banach spacesrdquo Applied MathematicsLetters vol 22 no 7 pp 998ndash1002 2009
[15] T-J Xiao and J Liang ldquoExistence of classical solutions tononautonomous nonlocal parabolic problemsrdquoNonlinear Anal-ysisTheoryMethods and Applications vol 63 no 5-7 pp e225ndashe232 2005
[16] X Xue ldquo119871119901 theory for semilinear nonlocal problems with mea-sure of noncompactness in separable Banach spacesrdquo Journal ofFixed Point Theory and Applications vol 5 no 1 pp 129ndash1442009
[17] X Xue ldquoNonlinear differential equations with nonlocal condi-tions in Banach spacesrdquo Nonlinear Analysis Theory Methods ampApplications A vol 63 no 4 pp 575ndash586 2005
[18] X Xue ldquoExistence of solutions for semilinear nonlocal Cauchyproblems in Banach spacesrdquo Electronic Journal of DifferentialEquations vol 64 p 7 2005
[19] X Xue ldquoNonlocal nonlinear differential equations with a mea-sure of noncompactness in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 70 no 7 pp 2593ndash26012009
[20] L Olszowy ldquoExistence ofmild solutions for the semilinear non-local problem in Banach spacesrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 81 pp 211ndash223 2013
[21] D Bothe ldquoMultivalued perturbations of119898-accretive differentialinclusionsrdquo Israel Journal of Mathematics vol 108 pp 109ndash1381998
[22] H-S Ding J Liang G M NrsquoGuerekata and T-J XiaoldquoMild pseudo-almost periodic solutions of nonautonomoussemilinear evolution equationsrdquo Mathematical and ComputerModelling vol 45 no 5-6 pp 579ndash584 2007
[23] J Garcıa-Falset ldquoThe asymptotic behavior of the solutions of theCauchy problem generated by 120593-accretive operatorsrdquo Journal ofMathematical Analysis and Applications vol 310 no 2 pp 594ndash608 2005
[24] Z Fan and G Li ldquoAsymptotic behavior of the solutions of non-autonomous systems in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 68 no 12 pp 3733ndash37412008
[25] J Banas ldquoOn existence theorems for differential equations inBanach spacesrdquo Bulletin of the Australian Mathematical Societyvol 32 no 1 pp 73ndash82 1985
[26] J Banas ldquoMeasures of noncompactness in the space of contin-uous tempered functionsrdquo Demonstratio Mathematica vol 14no 1 pp 127ndash133 1981
Journal of Function Spaces and Applications 11
[27] J Banas and K GoebelMeasures of Noncompactness in BanachSpaces vol 60 ofLectureNotes in Pure andAppliedMathematicsMarcel Dekker New York NY USA 1980
[28] J Banas and M Lecko ldquoSolvability of infinite systems ofdifferential equations in Banach sequence spacesrdquo Journal ofComputational andAppliedMathematics vol 137 no 2 pp 363ndash375 2001
[29] J Banas and K Sadarangani ldquoCompactness conditions inthe study of functional differential and integral equationsrdquoAbstract and Applied Analysis vol 2013 Article ID 819315 14pages 2013
[30] M Mursaleen and S A Mohiuddine ldquoApplications of mea-sures of noncompactness to the infinite system of differentialequations in ℓ
119901spacesrdquo Nonlinear Analysis Theory Methods amp
Applications A vol 75 no 4 pp 2111ndash2115 2012[31] L Olszowy ldquoSolvability of some functional integral equationrdquo
Dynamic Systems and Applications vol 18 no 3-4 pp 667ndash6762009
[32] L Olszowy ldquoOn some measures of noncompactness in theFrechet spaces of continuous functionsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 72 pp 2119ndash2126 2010
[33] L Olszowy ldquoOn existence of solutions of a quadratic Urysohnintegral equation on an unbounded intervalrdquo CommentationesMathematicae vol 48 no 1 pp 103ndash112 2008
[34] L Olszowy ldquoExistence ofmild solutions for semilinear nonlocalCauchy problems in separable Banach spacesrdquo Journal of Anal-ysis and its Applications vol 32 no 2 pp 215ndash232 2013
[35] L Olszowy ldquoFixed point theorems in the Frechet space 119862(119877+)
and functional integral equations on an unbounded intervalrdquoApplied Mathematics and Computation vol 218 no 18 pp9066ndash9074 2012
[36] J Banas and D OrsquoRegan ldquoOn existence and local attractivity ofsolutions of a quadratic Volterra integral equation of fractionalorderrdquo Journal of Mathematical Analysis and Applications vol345 no 1 pp 573ndash582 2008
[37] L D Landau EM Lifshitz and L P Pitaevski Electrodynamicsof Continuous Media vol 8 Butterworth-Heinemann 2ndedition 1984
[38] L D Landau and E M Lifshitz Fluid Mechanics vol bButterworth-Heinemann 2nd edition 1987
[39] R Temam Infinite-Dimensional Dynamical Systems inMechan-ics and Physics vol 68 Springer New York NY USA 2ndedition 1997
[40] J K Hale Asymptotic Behavior of Dissipative Systems vol 25 ofMathematical Surveys and Monographs American Mathemati-cal Society Providence RI USA 1988
[41] R A Adams and J J F Fournier Sobolev Spaces vol 140Elsevier 2nd edition 2003
[42] V Mazrsquoya Sobolev Spaces with Applications to Elliptic PartialDifferential Equations Springer Heidelberg Germany 2ndedition 2011
[43] V Georgescu ldquoSome boundary value problems for differentialforms on compact Riemannian manifoldsrdquo Annali di Matemat-ica Pura ed Applicata vol 122 pp 159ndash198 1979
[44] D Henry Geometric Theory of Semilinear Parabolic Equationsvol 840 of Lecture Notes in Mathematics Springer New YorkNY USA 1981
[45] V Girault and P-A Raviart Finite Element Methods for Navier-Stokes Equations Springer New York NY USA 1986
[46] J Bardeen L N Cooper and J R Schrieffer ldquoTheory ofsuperconductivityrdquo Physical Review vol 108 pp 1175ndash12041957
[47] A A Abrikosov Fundamental of the Theory of Metals North-Holland Amstedram The Netherlands 1988
[48] M Tinkham Introduction To Superconductivity McGraw-HillNew York NY USA 2nd edition 1996
[49] P DeGennes Superconductivity inMetals and Alloys BenjaminNew York NY USA 1966
[50] H Brezis Functional Analysis Sobolev Spaces and PartialDifferential Equations Springer New York NY USA 2011
[51] E Zeidler Nonlinear Functional Analysis and its Applicationsvol 2 Springer New York NY USA 1990
[52] A Schmid ldquoA time dependent Ginzburg-Landau equation andits application to the problem of resistivity in the mixed staterdquoPhysik der KondensiertenMaterie vol 5 no 4 pp 302ndash317 1966
[53] C M Elliot and Q Tang Existence Theorems For an Evolution-ary Superconductivity Model University of Sussex BrightonUK 1992
[54] Q Tang ldquoOn an evolutionary system of Ginzburg-Landauequations with fixed total magnetic fluxrdquo Communications inPartial Differential Equations vol 20 no 1-2 pp 1ndash36 1995
[55] Q Du ldquoGlobal existence and uniqueness of solutions of thetime-dependent Ginzburg-Landau model for superconductiv-ityrdquo Applicable Analysis vol 53 no 1-2 pp 1ndash18 1994
[56] Z M Chen K-H Hoffmann and J Liang ldquoOn a nonstation-ary Ginzburg-Landau superconductivity modelrdquoMathematicalMethods in the Applied Sciences vol 16 no 12 pp 855ndash875 1993
[57] J Liang and Q Tang ldquoAsymptotic behaviour of the solutionsof an evolutionaryGinzburg-Landau superconductivitymodelrdquoJournal of Mathematical Analysis and Applications vol 195 no1 pp 92ndash107 1995
[58] L P Gorrsquokov and G M Eliasherberg ldquoGeneralization of theGinzburg-Landau equations for an nonstationary problemsin the case of alloys with paramagnetic impartiesrdquo ZhurnalEksperimentalrsquonoi i Teoreticheskoi Fiziki vol 54 pp 612ndash6261968 Soviet Physics vol 27 pp 328ndash334 1968
[59] J Fleckinger-Pelle and H G Kaper ldquoGauges for the Ginzburg-Landau equations of superconductivityrdquo Zeitschrift fur Ange-wandte Mathematik und Mechanik vol 76 no 2 pp 345ndash3481996
[60] P Takac ldquoOn the dynamical process generated by supercon-ductivity modelrdquo Zeitschrift fur Angewandte Mathematik undMechanik vol 76 no 52 pp 349ndash352 1995
[61] W D Gropp H G Kaper DM Levine M Palumbo and VMVinokur ldquoNumerical simulation of vortex dynamics in type-IIsuperconductorsrdquo Journal of Computational Physics vol 123 no2 pp 254ndash266 1996
[62] D W Braun G W Crabtree H G Kaper et al ldquoStructure of amoving vortex latticerdquo Physical Review Letters vol 76 no 5 pp831ndash834 1996
[63] G W Crabtree G K Leaf H G Kaper et al ldquoTime-dependent Ginzburg-Landau simulations of vortex guidance bytwin boundariesrdquo Physica C vol 263 no 1ndash4 pp 401ndash408 1996
[64] G W Carabtree G K Leaf H G Kaper D W Braun V MVinokur andA E Koshelev ldquoDynamics vortex phases in super-conductors with correlated disorderrdquo Preprint ANLMCS-P590-0496 Mathematics and Computer Science DivisionAragonne National Laboratory 1996
[65] Th Gallay ldquoA center-stable manifold theorem for differentialequations in Banach spacesrdquo Communications in MathematicalPhysics vol 152 no 2 pp 249ndash268 1993
[66] J-M Ghidaglia and B Heron ldquoDimension of the attractorsassociated to the Ginzburg-Landau partial differential equa-tionrdquo Physica D vol 28 no 3 pp 282ndash304 1987
12 Journal of Function Spaces and Applications
[67] P Mattila Geometry of Sets and Measures in Euclidean Spacesvol 44 Cambridge University Press Cambridge UK 1995
[68] L HormanderThe Analysis of Linear Partial Differential Oper-ators vol 1 Springer Berlin Germany 2nd edition 1990
[69] H Amann Linear and Quasilinear Parabolic ProblemBikhauser Basel Switzerland 1995
[70] H-P Heinz ldquoOn the behaviour ofmeasures of noncompactnesswith respect to differentiation and integration of vector-valuedfunctionsrdquo Nonlinear Analysis Theory Methods amp ApplicationsA vol 7 no 12 pp 1351ndash1371 1983
[71] R P Agarwal M Meehan and D OrsquoRegan Fixed Point Theoryand Applications vol 141 of Cambridge Tracts in MathematicsCambridge University Press Cambridge UK 2001
[72] A Pazy Semigroups of Linear Operators and Applications toPartial Differential Equations Springer New York NY USA1983
[73] J Fleckinger-Pelle H G Kaper and P Takac ldquoDynamics of theGinzburg-Landau equations of superconductivityrdquo NonlinearAnalysis Theory Methods amp Applications A vol 32 no 5 pp647ndash665 1998
[74] H G Kaper and P Takac ldquoAn equivalence relation for theGinzburg-Landau equations of superconductivityrdquo Journal ofApplied Mathematics and Physics vol 48 no 4 pp 665ndash6751997
In this section we will give a theorem describing asymptoticbehaviour of mild solutions of (6) with condition (7) Thistheorem generalizes the result included in [72Theorem 44]First we formulate the assumptions
(1198671015840
3) This condition is almost identical with (119867
3) and the
only difference is that we assume the functions 119886 and119887 are locally essentially bounded on R
+
(1198671015840
5) There exists 119906
infinisin X such that there exists the limit
lim119905rarrinfin
F(119905 119906infin) and
lim119905rarrinfin
F (119905 119906infin) = A
minus1119906infin (73)
Moreover there exists a number119898 lt 120588119872 such that1003817100381710038171003817F (119905 119906) minusF (119905 119906
infin)1003817100381710038171003817 le 119898
1003817100381710038171003817119906 minus 119906infin1003817100381710038171003817 (74)
for 119905 ge 0 and 119906 isin X
Remark 17 The condition (11986710158405) in conjunction with (1198671015840
1)
ensures the existence ofAminus1 (see [72]) Clearly (11986710158403) implies
(1198673)
Theorem 18 Under assumptions (11986710158401) (1198672) (11986710158403) (1198674) and
(11986710158405) (6) with condition (7) has a mild solution 119906 = 119906(119905) for
each 1199060isin X such that lim
119905rarrinfin119906(119905) = 119906
infin
Proof The existence of a mild solution 119906(119905) is guaranteed byTheorem 10 Let us put
119892 (119905) =1003817100381710038171003817119906 (119905) minus 119906infin
1003817100381710038171003817
Finfin= lim119905rarrinfin
F (119905 119906infin)
(75)
We show that
lim119905rarrinfin
119892 (119905) = 0 (76)
Recall that if assumption (11986710158401) is fulfilled then for each 119911 isin X
we have (see [72])
int
infin
0
119890minusA119904
119911 119889119904 = minusAminus1119911 (77)
Using the above fact and (11986710158405) we get
119906infin= (minusA
minus1(minusAminus1119906infin)) = minusA
minus1Finfin
= int
infin
0
119890minusA119904
Finfin119889119904
(78)
Linking the above equality with (11986710158401) we obtain
119892 (119905)
=
10038171003817100381710038171003817100381710038171003817119890minusA1199051199060+ int
LrsquoHospitalrsquos rule for the fraction on the right-hand sideof inequality (84) we obtain that condition (76) is satisfiedThis fact completes the proof
6 An Application to the Ginzburg-LandauEquations of Superconductivity
In this section we formulate the gauged time-dependentGinzburg-Landau (TDGL) equations as an abstract evolutionequation in a Hilbert space Moreover we show applicationsof the above theorems to TDGL equations
We assume that Ω is a bounded domain in R119899 withboundary 120597Ω of class11986211That isΩ is an open and connectedset whose boundary 120597Ω is a compact (119899 minus 1)-manifolddescribed by Lipschitz continuous differentiable charts Weconsider two- and three-dimensional problems (119899 = 2 and119899 = 3 resp) Assume that the vector potential A takes its
values in R119899 The vector H will represent the (externally)applied magnetic field which is a function of space andtime similarly to A it takes its values in R119899 The function120574 is defined and satisfies Lipschitz condition on 120597Ω and120574(119909) ge 0 for 119909 isin 120597Ω The parameters in the TDGLequations are 120578 a (dimensionless) friction coefficient and 120581the (dimensionless) Ginzburg-Landau parameter
The order parameter should be thought of as the wavefunction of the center-of-massmotion of the ldquosuperelectronsrdquo(Cooper pairs) whose density is 119899
119904= |120595|
2 and whose fluxis J119904 The vector potential A determines the electromagnetic
field E = minus120597119905A minus nabla120601 is the electric field and B = nabla times A
is the magnetic induction where J the total current is thesum of a ldquonormalrdquo current J
119899= E the supercurrent J
119904 and
the transport current J119905= nabla times H The normal current obeys
Ohmrsquos law J119899= 120590119899E the ldquonormal conductivityrdquo coefficient 120590
119899
is equal to one in the adopted system of units The differenceM = BminusH is known as themagnetizationThe trivial solution(120595 = 0 B = H E = 0) represents the normal state where allsuperconducting properties have been lost
Nowwe accept the following notion all Banach spaces arereal the (real) dual of a Banach space119883 is denoted by1198831015840Thesymbol 119871119901(Ω) for 1 le 119901 le infin denotes the usual Lebesguespace with norm sdot
119871119901 (sdot sdot) is the inner product in 1198712(Ω)
1198821198982(Ω) for nonnegative integer 119898 is the usual Sobolev
space with norm sdot 1198821198982 1198821198982(Ω) is a Hilbert space for the
inner product (sdot sdot)1198982
given by (119906 V)1198982
= sum|120572|le119898
(120597120572119906 120597120572V)
for 119906 V isin 1198821198982(Ω) Fractional Sobolev space1198821199042(Ω) with afractional 119904 is defined by interpolation ([40 Chap VII] and[41 49 50]) 119862]
(Ω) for ] ge 0 ] = 119898 + 120582 with 0 le 120582 lt 1 isthe space of 119898 times continuous differentiable functions onΩ those 119898th-order derivatives satisfy the Holder conditionwith exponent 120582 if ] is a proper fraction the norm sdot
119862] is
defined in the usual wayThe definitions extend to the space of vector-valued
functions in the standard way with the caveat that the innerproduct in [1198712(Ω)]119899 is defined by (119906 V) = int
Ω119906 sdot V where the
symbol (119906 V) indicates the scalar product in R119899 Complex-valued functions are interpreted as vector-valued functionswith two real components
Functions that vary in space and time like the orderparameter and the vector potential are considered as map-pings from the time domain which is a subinterval of [0infin)into spaces of complex- or vector-valued functions definedin Ω Let 119883 = (119883 sdot
119883) be a Banach space of functions
defined inΩ Then the functions are defined in Ω Then thefunctions of space and time defined on Ω times (0 119879) for 119879 gt 0may be considered as elements of 119871119901(0 119879119883) for 1 le 119901 le infinor1198822119898(0 119879119883) for nonnegative119898 or119862]
(0 119879119883) for ] ge 0] = 119898 + 120582 with 0 le 120582 lt 1 Detailed definitions can be foundfor example in [43]
Obviously function spaces of ordered pairs (120595A) where120595 Ω rarr R2 and A Ω rarr R119899 (119899 = 2 3) play an importantrole in the study of the gauged TDGL equationsWe thereforeadapt the following special notationH = [119883(Ω)]
2times[119883(Ω)]
119899for any Banach space for the order parameter 120595 and thevector potential A respectively A suitable framework forthe functional analysis of the gauged TDGL equations is the
Journal of Function Spaces and Applications 9
Cartesian product W1+1205722 = [1198821+1205722
(Ω)]2times [1198821+1205722
(Ω)]119899
where 120572 isin (12 1) This space is continuously imbedded inW12 capLinfin
Assume H = 0 and H isin [1198712(Ω)]119899 Let AH be a minimizer
of the convex quadratic form 119869120596equiv J120596[119860]
119869120596 [A] = int
Ω
[120596(nabla sdot A)2 + |nabla times A minusH|2] 119889119909 (90)
on the domain
D (119869120596) = A isin [119882
12(Ω)]119899
n sdot A = 0 on 120597Ω (91)
We now introduce the reduced vector potential A1015840
A1015840 = A minus AH (92)
In terms of 120595 and A1015840 the gauged TDGL equations have thefollowing form
120597120595
120597119905minus
1
1205781205812Δ120595 = 120593 in Ω times (0infin)
120597A1015840
120597119905+ nabla times nabla times A1015840 minus 120596nabla (nabla sdot A1015840) = F in Ω times (0infin)
n sdot nabla + 120574120595 = 0 n sdot A1015840 = 0
n times (nabla sdot A1015840) = 0 on 120597Ω times (0infin)
(93)
Here 120593 and F are nonlinear functions of 120595 and A1015840
119888 gt 0 Hence A is positively definite in L2 ([44 Chap 1]equation (545)) If it does not lead to confusion we use thesame symbol A for the restriction A
120595and AA of A to the
respective linear subspace [1198712(Ω)]2 = [1198712(Ω)]2 times 0 (for 120595)and [1198712(Ω)]119899 equiv 0 times [1198712(Ω)]119899 (for A) ofL2
Now consider the initial-value problems (6) and (7) inL2 whereF(119905 119906) = (120593 F) 120593 and F is given by (94) and (95)and 119906
0= (1205950A0minus AH(0))
With 120582 isin (12 1) and 1199060isin W1+1205822 we say that 119906 are a
solution of (6) and (7) on the interval [0 119879] for some 119879 gt 0if 119906 [0 119879] rarr W1+1205822 is continuous and
119906 (119905) = 119890minusA(119905)
+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 for 119905 isin [0 119879]
(102)
in L2 A mild solution of the initial-value problems (6) and(7) defines a weak solution (120595A1015840) of the boundary valueproblem (93) which in turn defines a weak solution (120595A)of the gauged TDGL equations provided AH is sufficientlyregular
Namely let us assume that X = L2 and 1199060isin L2 and
119906 R+times R119899 rarr R119899 for 119899 isin N is an unknown function 119906 =
119906(119905 119909) In order to applyTheorems 10 and 14 we are not goingto consider 119906 as a function of 119905 and 119909 together but rather asa mapping 119906 of variable 119905 into the spaceX =L2 of functions119909 that is 119906 R
We observe that in the case when 119890minusA119905119905ge0
is the semi-group of contractions and 119886(119905) equiv 119886 119887(119905) equiv 119887 for 119905 isin
R+are constant after simple calculations based on estimate
(25) we get that the solution 119906 = 119906(119905) has the asymptoticcharacterization
119906 (119905) = 119874 (1199053) as 119905 997888rarr infin (103)
For further purposes let us formulate the followingassumption
(A) A is the infinitesimal generator of an exponentiallystable 119862
0-semigroup 119890minusA119905
119905ge0
The next result of this chapter is shown in the giventheorem below
Theorem21 Under assumptions (A) and (1198672)ndash(1198674) problem
(6)-(7) which is equivalent to the systems equations (1)ndash(5)(TDGL equations) has a mild solution 119906 = 119906(119905) for each1199060isin L2 which is globally attractive and locally uniformly
attractive
References
[1] V L Ginzburg and L D Landau ldquoOn the theory of supercon-ductivityrdquo Zhurnal Eksperimentalrsquonoi i Teoreticheskoi Fiziki vol20 pp 1064ndash1082 1950 English translation in L D LandauMen of Physics D ter Haar ed Vol I Pergamon Press OxfordUK pp 138ndash167 1965
[2] S Aizicovici and H Lee ldquoNonlinear nonlocal Cauchy problemsin Banach spacesrdquo Applied Mathematics Letters vol 18 no 4pp 401ndash407 2005
[3] S Aizicovici and M McKibben ldquoExistence results for a classof abstract nonlocal Cauchy problemsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 39 no 5 pp 649ndash6682000
[4] MMcKibbenDiscovering Evolution Equation with ApplicationCRC Press Taylor amp Francis Group 2011
[5] S Aizicovici and V Staicu ldquoMultivalued evolution equationswith nonlocal initial conditions in Banach spacesrdquo NonlinearDifferential Equations and Applications vol 14 no 3-4 pp 361ndash376 2007
[6] R P Agarwal and D OrsquoRegan Infinite Interval Problems for Dif-ferential Difference and Integral Equations Kluwer AcademicPublishers Dordrecht The Netherlands 2001
[7] Z Fan ldquoExistence of nondensely defined evolution equationswith nonlocal conditionsrdquo Nonlinear Analysis Theory Methodsamp Applications A vol 70 no 11 pp 3829ndash3836 2009
[8] Z Fan ldquoImpulsive problems for semilinear differential equa-tions with nonlocal conditionsrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 72 no 2 pp 1104ndash1109 2010
[9] Z Fan and G Li ldquoExistence results for semilinear differentialequations with nonlocal and impulsive conditionsrdquo Journal ofFunctional Analysis vol 258 no 5 pp 1709ndash1727 2010
[10] J Garcıa-Falset ldquoExistence results and asymptotic behavior fornonlocal abstract Cauchy problemsrdquo Journal of MathematicalAnalysis and Applications vol 338 no 1 pp 639ndash652 2008
[11] J Liang J H Liu and T-J Xiao ldquoNonlocal impulsive problemsfor nonlinear differential equations in Banach spacesrdquo Mathe-matical and Computer Modelling vol 49 no 3-4 pp 798ndash8042009
[12] L Zhu and G Li ldquoOn a nonlocal problem for semilinear differ-ential equations with upper semicontinuous nonlinearities ingeneral Banach spacesrdquo Journal of Mathematical Analysis andApplications vol 341 no 1 pp 660ndash675 2008
[13] Q Liu and R Yuan ldquoExistence of mild solutions for semilinearevolution equations with non-local initial conditionsrdquo Nonlin-ear AnalysisTheoryMethodsampApplications A vol 71 no 9 pp4177ndash4184 2009
[14] C Xie W Zhong and Z Fan ldquoExistence results for nonlinearnonlocal problems in Banach spacesrdquo Applied MathematicsLetters vol 22 no 7 pp 998ndash1002 2009
[15] T-J Xiao and J Liang ldquoExistence of classical solutions tononautonomous nonlocal parabolic problemsrdquoNonlinear Anal-ysisTheoryMethods and Applications vol 63 no 5-7 pp e225ndashe232 2005
[16] X Xue ldquo119871119901 theory for semilinear nonlocal problems with mea-sure of noncompactness in separable Banach spacesrdquo Journal ofFixed Point Theory and Applications vol 5 no 1 pp 129ndash1442009
[17] X Xue ldquoNonlinear differential equations with nonlocal condi-tions in Banach spacesrdquo Nonlinear Analysis Theory Methods ampApplications A vol 63 no 4 pp 575ndash586 2005
[18] X Xue ldquoExistence of solutions for semilinear nonlocal Cauchyproblems in Banach spacesrdquo Electronic Journal of DifferentialEquations vol 64 p 7 2005
[19] X Xue ldquoNonlocal nonlinear differential equations with a mea-sure of noncompactness in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 70 no 7 pp 2593ndash26012009
[20] L Olszowy ldquoExistence ofmild solutions for the semilinear non-local problem in Banach spacesrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 81 pp 211ndash223 2013
[21] D Bothe ldquoMultivalued perturbations of119898-accretive differentialinclusionsrdquo Israel Journal of Mathematics vol 108 pp 109ndash1381998
[22] H-S Ding J Liang G M NrsquoGuerekata and T-J XiaoldquoMild pseudo-almost periodic solutions of nonautonomoussemilinear evolution equationsrdquo Mathematical and ComputerModelling vol 45 no 5-6 pp 579ndash584 2007
[23] J Garcıa-Falset ldquoThe asymptotic behavior of the solutions of theCauchy problem generated by 120593-accretive operatorsrdquo Journal ofMathematical Analysis and Applications vol 310 no 2 pp 594ndash608 2005
[24] Z Fan and G Li ldquoAsymptotic behavior of the solutions of non-autonomous systems in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 68 no 12 pp 3733ndash37412008
[25] J Banas ldquoOn existence theorems for differential equations inBanach spacesrdquo Bulletin of the Australian Mathematical Societyvol 32 no 1 pp 73ndash82 1985
[26] J Banas ldquoMeasures of noncompactness in the space of contin-uous tempered functionsrdquo Demonstratio Mathematica vol 14no 1 pp 127ndash133 1981
Journal of Function Spaces and Applications 11
[27] J Banas and K GoebelMeasures of Noncompactness in BanachSpaces vol 60 ofLectureNotes in Pure andAppliedMathematicsMarcel Dekker New York NY USA 1980
[28] J Banas and M Lecko ldquoSolvability of infinite systems ofdifferential equations in Banach sequence spacesrdquo Journal ofComputational andAppliedMathematics vol 137 no 2 pp 363ndash375 2001
[29] J Banas and K Sadarangani ldquoCompactness conditions inthe study of functional differential and integral equationsrdquoAbstract and Applied Analysis vol 2013 Article ID 819315 14pages 2013
[30] M Mursaleen and S A Mohiuddine ldquoApplications of mea-sures of noncompactness to the infinite system of differentialequations in ℓ
119901spacesrdquo Nonlinear Analysis Theory Methods amp
Applications A vol 75 no 4 pp 2111ndash2115 2012[31] L Olszowy ldquoSolvability of some functional integral equationrdquo
Dynamic Systems and Applications vol 18 no 3-4 pp 667ndash6762009
[32] L Olszowy ldquoOn some measures of noncompactness in theFrechet spaces of continuous functionsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 72 pp 2119ndash2126 2010
[33] L Olszowy ldquoOn existence of solutions of a quadratic Urysohnintegral equation on an unbounded intervalrdquo CommentationesMathematicae vol 48 no 1 pp 103ndash112 2008
[34] L Olszowy ldquoExistence ofmild solutions for semilinear nonlocalCauchy problems in separable Banach spacesrdquo Journal of Anal-ysis and its Applications vol 32 no 2 pp 215ndash232 2013
[35] L Olszowy ldquoFixed point theorems in the Frechet space 119862(119877+)
and functional integral equations on an unbounded intervalrdquoApplied Mathematics and Computation vol 218 no 18 pp9066ndash9074 2012
[36] J Banas and D OrsquoRegan ldquoOn existence and local attractivity ofsolutions of a quadratic Volterra integral equation of fractionalorderrdquo Journal of Mathematical Analysis and Applications vol345 no 1 pp 573ndash582 2008
[37] L D Landau EM Lifshitz and L P Pitaevski Electrodynamicsof Continuous Media vol 8 Butterworth-Heinemann 2ndedition 1984
[38] L D Landau and E M Lifshitz Fluid Mechanics vol bButterworth-Heinemann 2nd edition 1987
[39] R Temam Infinite-Dimensional Dynamical Systems inMechan-ics and Physics vol 68 Springer New York NY USA 2ndedition 1997
[40] J K Hale Asymptotic Behavior of Dissipative Systems vol 25 ofMathematical Surveys and Monographs American Mathemati-cal Society Providence RI USA 1988
[41] R A Adams and J J F Fournier Sobolev Spaces vol 140Elsevier 2nd edition 2003
[42] V Mazrsquoya Sobolev Spaces with Applications to Elliptic PartialDifferential Equations Springer Heidelberg Germany 2ndedition 2011
[43] V Georgescu ldquoSome boundary value problems for differentialforms on compact Riemannian manifoldsrdquo Annali di Matemat-ica Pura ed Applicata vol 122 pp 159ndash198 1979
[44] D Henry Geometric Theory of Semilinear Parabolic Equationsvol 840 of Lecture Notes in Mathematics Springer New YorkNY USA 1981
[45] V Girault and P-A Raviart Finite Element Methods for Navier-Stokes Equations Springer New York NY USA 1986
[46] J Bardeen L N Cooper and J R Schrieffer ldquoTheory ofsuperconductivityrdquo Physical Review vol 108 pp 1175ndash12041957
[47] A A Abrikosov Fundamental of the Theory of Metals North-Holland Amstedram The Netherlands 1988
[48] M Tinkham Introduction To Superconductivity McGraw-HillNew York NY USA 2nd edition 1996
[49] P DeGennes Superconductivity inMetals and Alloys BenjaminNew York NY USA 1966
[50] H Brezis Functional Analysis Sobolev Spaces and PartialDifferential Equations Springer New York NY USA 2011
[51] E Zeidler Nonlinear Functional Analysis and its Applicationsvol 2 Springer New York NY USA 1990
[52] A Schmid ldquoA time dependent Ginzburg-Landau equation andits application to the problem of resistivity in the mixed staterdquoPhysik der KondensiertenMaterie vol 5 no 4 pp 302ndash317 1966
[53] C M Elliot and Q Tang Existence Theorems For an Evolution-ary Superconductivity Model University of Sussex BrightonUK 1992
[54] Q Tang ldquoOn an evolutionary system of Ginzburg-Landauequations with fixed total magnetic fluxrdquo Communications inPartial Differential Equations vol 20 no 1-2 pp 1ndash36 1995
[55] Q Du ldquoGlobal existence and uniqueness of solutions of thetime-dependent Ginzburg-Landau model for superconductiv-ityrdquo Applicable Analysis vol 53 no 1-2 pp 1ndash18 1994
[56] Z M Chen K-H Hoffmann and J Liang ldquoOn a nonstation-ary Ginzburg-Landau superconductivity modelrdquoMathematicalMethods in the Applied Sciences vol 16 no 12 pp 855ndash875 1993
[57] J Liang and Q Tang ldquoAsymptotic behaviour of the solutionsof an evolutionaryGinzburg-Landau superconductivitymodelrdquoJournal of Mathematical Analysis and Applications vol 195 no1 pp 92ndash107 1995
[58] L P Gorrsquokov and G M Eliasherberg ldquoGeneralization of theGinzburg-Landau equations for an nonstationary problemsin the case of alloys with paramagnetic impartiesrdquo ZhurnalEksperimentalrsquonoi i Teoreticheskoi Fiziki vol 54 pp 612ndash6261968 Soviet Physics vol 27 pp 328ndash334 1968
[59] J Fleckinger-Pelle and H G Kaper ldquoGauges for the Ginzburg-Landau equations of superconductivityrdquo Zeitschrift fur Ange-wandte Mathematik und Mechanik vol 76 no 2 pp 345ndash3481996
[60] P Takac ldquoOn the dynamical process generated by supercon-ductivity modelrdquo Zeitschrift fur Angewandte Mathematik undMechanik vol 76 no 52 pp 349ndash352 1995
[61] W D Gropp H G Kaper DM Levine M Palumbo and VMVinokur ldquoNumerical simulation of vortex dynamics in type-IIsuperconductorsrdquo Journal of Computational Physics vol 123 no2 pp 254ndash266 1996
[62] D W Braun G W Crabtree H G Kaper et al ldquoStructure of amoving vortex latticerdquo Physical Review Letters vol 76 no 5 pp831ndash834 1996
[63] G W Crabtree G K Leaf H G Kaper et al ldquoTime-dependent Ginzburg-Landau simulations of vortex guidance bytwin boundariesrdquo Physica C vol 263 no 1ndash4 pp 401ndash408 1996
[64] G W Carabtree G K Leaf H G Kaper D W Braun V MVinokur andA E Koshelev ldquoDynamics vortex phases in super-conductors with correlated disorderrdquo Preprint ANLMCS-P590-0496 Mathematics and Computer Science DivisionAragonne National Laboratory 1996
[65] Th Gallay ldquoA center-stable manifold theorem for differentialequations in Banach spacesrdquo Communications in MathematicalPhysics vol 152 no 2 pp 249ndash268 1993
[66] J-M Ghidaglia and B Heron ldquoDimension of the attractorsassociated to the Ginzburg-Landau partial differential equa-tionrdquo Physica D vol 28 no 3 pp 282ndash304 1987
12 Journal of Function Spaces and Applications
[67] P Mattila Geometry of Sets and Measures in Euclidean Spacesvol 44 Cambridge University Press Cambridge UK 1995
[68] L HormanderThe Analysis of Linear Partial Differential Oper-ators vol 1 Springer Berlin Germany 2nd edition 1990
[69] H Amann Linear and Quasilinear Parabolic ProblemBikhauser Basel Switzerland 1995
[70] H-P Heinz ldquoOn the behaviour ofmeasures of noncompactnesswith respect to differentiation and integration of vector-valuedfunctionsrdquo Nonlinear Analysis Theory Methods amp ApplicationsA vol 7 no 12 pp 1351ndash1371 1983
[71] R P Agarwal M Meehan and D OrsquoRegan Fixed Point Theoryand Applications vol 141 of Cambridge Tracts in MathematicsCambridge University Press Cambridge UK 2001
[72] A Pazy Semigroups of Linear Operators and Applications toPartial Differential Equations Springer New York NY USA1983
[73] J Fleckinger-Pelle H G Kaper and P Takac ldquoDynamics of theGinzburg-Landau equations of superconductivityrdquo NonlinearAnalysis Theory Methods amp Applications A vol 32 no 5 pp647ndash665 1998
[74] H G Kaper and P Takac ldquoAn equivalence relation for theGinzburg-Landau equations of superconductivityrdquo Journal ofApplied Mathematics and Physics vol 48 no 4 pp 665ndash6751997
LrsquoHospitalrsquos rule for the fraction on the right-hand sideof inequality (84) we obtain that condition (76) is satisfiedThis fact completes the proof
6 An Application to the Ginzburg-LandauEquations of Superconductivity
In this section we formulate the gauged time-dependentGinzburg-Landau (TDGL) equations as an abstract evolutionequation in a Hilbert space Moreover we show applicationsof the above theorems to TDGL equations
We assume that Ω is a bounded domain in R119899 withboundary 120597Ω of class11986211That isΩ is an open and connectedset whose boundary 120597Ω is a compact (119899 minus 1)-manifolddescribed by Lipschitz continuous differentiable charts Weconsider two- and three-dimensional problems (119899 = 2 and119899 = 3 resp) Assume that the vector potential A takes its
values in R119899 The vector H will represent the (externally)applied magnetic field which is a function of space andtime similarly to A it takes its values in R119899 The function120574 is defined and satisfies Lipschitz condition on 120597Ω and120574(119909) ge 0 for 119909 isin 120597Ω The parameters in the TDGLequations are 120578 a (dimensionless) friction coefficient and 120581the (dimensionless) Ginzburg-Landau parameter
The order parameter should be thought of as the wavefunction of the center-of-massmotion of the ldquosuperelectronsrdquo(Cooper pairs) whose density is 119899
119904= |120595|
2 and whose fluxis J119904 The vector potential A determines the electromagnetic
field E = minus120597119905A minus nabla120601 is the electric field and B = nabla times A
is the magnetic induction where J the total current is thesum of a ldquonormalrdquo current J
119899= E the supercurrent J
119904 and
the transport current J119905= nabla times H The normal current obeys
Ohmrsquos law J119899= 120590119899E the ldquonormal conductivityrdquo coefficient 120590
119899
is equal to one in the adopted system of units The differenceM = BminusH is known as themagnetizationThe trivial solution(120595 = 0 B = H E = 0) represents the normal state where allsuperconducting properties have been lost
Nowwe accept the following notion all Banach spaces arereal the (real) dual of a Banach space119883 is denoted by1198831015840Thesymbol 119871119901(Ω) for 1 le 119901 le infin denotes the usual Lebesguespace with norm sdot
119871119901 (sdot sdot) is the inner product in 1198712(Ω)
1198821198982(Ω) for nonnegative integer 119898 is the usual Sobolev
space with norm sdot 1198821198982 1198821198982(Ω) is a Hilbert space for the
inner product (sdot sdot)1198982
given by (119906 V)1198982
= sum|120572|le119898
(120597120572119906 120597120572V)
for 119906 V isin 1198821198982(Ω) Fractional Sobolev space1198821199042(Ω) with afractional 119904 is defined by interpolation ([40 Chap VII] and[41 49 50]) 119862]
(Ω) for ] ge 0 ] = 119898 + 120582 with 0 le 120582 lt 1 isthe space of 119898 times continuous differentiable functions onΩ those 119898th-order derivatives satisfy the Holder conditionwith exponent 120582 if ] is a proper fraction the norm sdot
119862] is
defined in the usual wayThe definitions extend to the space of vector-valued
functions in the standard way with the caveat that the innerproduct in [1198712(Ω)]119899 is defined by (119906 V) = int
Ω119906 sdot V where the
symbol (119906 V) indicates the scalar product in R119899 Complex-valued functions are interpreted as vector-valued functionswith two real components
Functions that vary in space and time like the orderparameter and the vector potential are considered as map-pings from the time domain which is a subinterval of [0infin)into spaces of complex- or vector-valued functions definedin Ω Let 119883 = (119883 sdot
119883) be a Banach space of functions
defined inΩ Then the functions are defined in Ω Then thefunctions of space and time defined on Ω times (0 119879) for 119879 gt 0may be considered as elements of 119871119901(0 119879119883) for 1 le 119901 le infinor1198822119898(0 119879119883) for nonnegative119898 or119862]
(0 119879119883) for ] ge 0] = 119898 + 120582 with 0 le 120582 lt 1 Detailed definitions can be foundfor example in [43]
Obviously function spaces of ordered pairs (120595A) where120595 Ω rarr R2 and A Ω rarr R119899 (119899 = 2 3) play an importantrole in the study of the gauged TDGL equationsWe thereforeadapt the following special notationH = [119883(Ω)]
2times[119883(Ω)]
119899for any Banach space for the order parameter 120595 and thevector potential A respectively A suitable framework forthe functional analysis of the gauged TDGL equations is the
Journal of Function Spaces and Applications 9
Cartesian product W1+1205722 = [1198821+1205722
(Ω)]2times [1198821+1205722
(Ω)]119899
where 120572 isin (12 1) This space is continuously imbedded inW12 capLinfin
Assume H = 0 and H isin [1198712(Ω)]119899 Let AH be a minimizer
of the convex quadratic form 119869120596equiv J120596[119860]
119869120596 [A] = int
Ω
[120596(nabla sdot A)2 + |nabla times A minusH|2] 119889119909 (90)
on the domain
D (119869120596) = A isin [119882
12(Ω)]119899
n sdot A = 0 on 120597Ω (91)
We now introduce the reduced vector potential A1015840
A1015840 = A minus AH (92)
In terms of 120595 and A1015840 the gauged TDGL equations have thefollowing form
120597120595
120597119905minus
1
1205781205812Δ120595 = 120593 in Ω times (0infin)
120597A1015840
120597119905+ nabla times nabla times A1015840 minus 120596nabla (nabla sdot A1015840) = F in Ω times (0infin)
n sdot nabla + 120574120595 = 0 n sdot A1015840 = 0
n times (nabla sdot A1015840) = 0 on 120597Ω times (0infin)
(93)
Here 120593 and F are nonlinear functions of 120595 and A1015840
119888 gt 0 Hence A is positively definite in L2 ([44 Chap 1]equation (545)) If it does not lead to confusion we use thesame symbol A for the restriction A
120595and AA of A to the
respective linear subspace [1198712(Ω)]2 = [1198712(Ω)]2 times 0 (for 120595)and [1198712(Ω)]119899 equiv 0 times [1198712(Ω)]119899 (for A) ofL2
Now consider the initial-value problems (6) and (7) inL2 whereF(119905 119906) = (120593 F) 120593 and F is given by (94) and (95)and 119906
0= (1205950A0minus AH(0))
With 120582 isin (12 1) and 1199060isin W1+1205822 we say that 119906 are a
solution of (6) and (7) on the interval [0 119879] for some 119879 gt 0if 119906 [0 119879] rarr W1+1205822 is continuous and
119906 (119905) = 119890minusA(119905)
+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 for 119905 isin [0 119879]
(102)
in L2 A mild solution of the initial-value problems (6) and(7) defines a weak solution (120595A1015840) of the boundary valueproblem (93) which in turn defines a weak solution (120595A)of the gauged TDGL equations provided AH is sufficientlyregular
Namely let us assume that X = L2 and 1199060isin L2 and
119906 R+times R119899 rarr R119899 for 119899 isin N is an unknown function 119906 =
119906(119905 119909) In order to applyTheorems 10 and 14 we are not goingto consider 119906 as a function of 119905 and 119909 together but rather asa mapping 119906 of variable 119905 into the spaceX =L2 of functions119909 that is 119906 R
We observe that in the case when 119890minusA119905119905ge0
is the semi-group of contractions and 119886(119905) equiv 119886 119887(119905) equiv 119887 for 119905 isin
R+are constant after simple calculations based on estimate
(25) we get that the solution 119906 = 119906(119905) has the asymptoticcharacterization
119906 (119905) = 119874 (1199053) as 119905 997888rarr infin (103)
For further purposes let us formulate the followingassumption
(A) A is the infinitesimal generator of an exponentiallystable 119862
0-semigroup 119890minusA119905
119905ge0
The next result of this chapter is shown in the giventheorem below
Theorem21 Under assumptions (A) and (1198672)ndash(1198674) problem
(6)-(7) which is equivalent to the systems equations (1)ndash(5)(TDGL equations) has a mild solution 119906 = 119906(119905) for each1199060isin L2 which is globally attractive and locally uniformly
attractive
References
[1] V L Ginzburg and L D Landau ldquoOn the theory of supercon-ductivityrdquo Zhurnal Eksperimentalrsquonoi i Teoreticheskoi Fiziki vol20 pp 1064ndash1082 1950 English translation in L D LandauMen of Physics D ter Haar ed Vol I Pergamon Press OxfordUK pp 138ndash167 1965
[2] S Aizicovici and H Lee ldquoNonlinear nonlocal Cauchy problemsin Banach spacesrdquo Applied Mathematics Letters vol 18 no 4pp 401ndash407 2005
[3] S Aizicovici and M McKibben ldquoExistence results for a classof abstract nonlocal Cauchy problemsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 39 no 5 pp 649ndash6682000
[4] MMcKibbenDiscovering Evolution Equation with ApplicationCRC Press Taylor amp Francis Group 2011
[5] S Aizicovici and V Staicu ldquoMultivalued evolution equationswith nonlocal initial conditions in Banach spacesrdquo NonlinearDifferential Equations and Applications vol 14 no 3-4 pp 361ndash376 2007
[6] R P Agarwal and D OrsquoRegan Infinite Interval Problems for Dif-ferential Difference and Integral Equations Kluwer AcademicPublishers Dordrecht The Netherlands 2001
[7] Z Fan ldquoExistence of nondensely defined evolution equationswith nonlocal conditionsrdquo Nonlinear Analysis Theory Methodsamp Applications A vol 70 no 11 pp 3829ndash3836 2009
[8] Z Fan ldquoImpulsive problems for semilinear differential equa-tions with nonlocal conditionsrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 72 no 2 pp 1104ndash1109 2010
[9] Z Fan and G Li ldquoExistence results for semilinear differentialequations with nonlocal and impulsive conditionsrdquo Journal ofFunctional Analysis vol 258 no 5 pp 1709ndash1727 2010
[10] J Garcıa-Falset ldquoExistence results and asymptotic behavior fornonlocal abstract Cauchy problemsrdquo Journal of MathematicalAnalysis and Applications vol 338 no 1 pp 639ndash652 2008
[11] J Liang J H Liu and T-J Xiao ldquoNonlocal impulsive problemsfor nonlinear differential equations in Banach spacesrdquo Mathe-matical and Computer Modelling vol 49 no 3-4 pp 798ndash8042009
[12] L Zhu and G Li ldquoOn a nonlocal problem for semilinear differ-ential equations with upper semicontinuous nonlinearities ingeneral Banach spacesrdquo Journal of Mathematical Analysis andApplications vol 341 no 1 pp 660ndash675 2008
[13] Q Liu and R Yuan ldquoExistence of mild solutions for semilinearevolution equations with non-local initial conditionsrdquo Nonlin-ear AnalysisTheoryMethodsampApplications A vol 71 no 9 pp4177ndash4184 2009
[14] C Xie W Zhong and Z Fan ldquoExistence results for nonlinearnonlocal problems in Banach spacesrdquo Applied MathematicsLetters vol 22 no 7 pp 998ndash1002 2009
[15] T-J Xiao and J Liang ldquoExistence of classical solutions tononautonomous nonlocal parabolic problemsrdquoNonlinear Anal-ysisTheoryMethods and Applications vol 63 no 5-7 pp e225ndashe232 2005
[16] X Xue ldquo119871119901 theory for semilinear nonlocal problems with mea-sure of noncompactness in separable Banach spacesrdquo Journal ofFixed Point Theory and Applications vol 5 no 1 pp 129ndash1442009
[17] X Xue ldquoNonlinear differential equations with nonlocal condi-tions in Banach spacesrdquo Nonlinear Analysis Theory Methods ampApplications A vol 63 no 4 pp 575ndash586 2005
[18] X Xue ldquoExistence of solutions for semilinear nonlocal Cauchyproblems in Banach spacesrdquo Electronic Journal of DifferentialEquations vol 64 p 7 2005
[19] X Xue ldquoNonlocal nonlinear differential equations with a mea-sure of noncompactness in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 70 no 7 pp 2593ndash26012009
[20] L Olszowy ldquoExistence ofmild solutions for the semilinear non-local problem in Banach spacesrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 81 pp 211ndash223 2013
[21] D Bothe ldquoMultivalued perturbations of119898-accretive differentialinclusionsrdquo Israel Journal of Mathematics vol 108 pp 109ndash1381998
[22] H-S Ding J Liang G M NrsquoGuerekata and T-J XiaoldquoMild pseudo-almost periodic solutions of nonautonomoussemilinear evolution equationsrdquo Mathematical and ComputerModelling vol 45 no 5-6 pp 579ndash584 2007
[23] J Garcıa-Falset ldquoThe asymptotic behavior of the solutions of theCauchy problem generated by 120593-accretive operatorsrdquo Journal ofMathematical Analysis and Applications vol 310 no 2 pp 594ndash608 2005
[24] Z Fan and G Li ldquoAsymptotic behavior of the solutions of non-autonomous systems in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 68 no 12 pp 3733ndash37412008
[25] J Banas ldquoOn existence theorems for differential equations inBanach spacesrdquo Bulletin of the Australian Mathematical Societyvol 32 no 1 pp 73ndash82 1985
[26] J Banas ldquoMeasures of noncompactness in the space of contin-uous tempered functionsrdquo Demonstratio Mathematica vol 14no 1 pp 127ndash133 1981
Journal of Function Spaces and Applications 11
[27] J Banas and K GoebelMeasures of Noncompactness in BanachSpaces vol 60 ofLectureNotes in Pure andAppliedMathematicsMarcel Dekker New York NY USA 1980
[28] J Banas and M Lecko ldquoSolvability of infinite systems ofdifferential equations in Banach sequence spacesrdquo Journal ofComputational andAppliedMathematics vol 137 no 2 pp 363ndash375 2001
[29] J Banas and K Sadarangani ldquoCompactness conditions inthe study of functional differential and integral equationsrdquoAbstract and Applied Analysis vol 2013 Article ID 819315 14pages 2013
[30] M Mursaleen and S A Mohiuddine ldquoApplications of mea-sures of noncompactness to the infinite system of differentialequations in ℓ
119901spacesrdquo Nonlinear Analysis Theory Methods amp
Applications A vol 75 no 4 pp 2111ndash2115 2012[31] L Olszowy ldquoSolvability of some functional integral equationrdquo
Dynamic Systems and Applications vol 18 no 3-4 pp 667ndash6762009
[32] L Olszowy ldquoOn some measures of noncompactness in theFrechet spaces of continuous functionsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 72 pp 2119ndash2126 2010
[33] L Olszowy ldquoOn existence of solutions of a quadratic Urysohnintegral equation on an unbounded intervalrdquo CommentationesMathematicae vol 48 no 1 pp 103ndash112 2008
[34] L Olszowy ldquoExistence ofmild solutions for semilinear nonlocalCauchy problems in separable Banach spacesrdquo Journal of Anal-ysis and its Applications vol 32 no 2 pp 215ndash232 2013
[35] L Olszowy ldquoFixed point theorems in the Frechet space 119862(119877+)
and functional integral equations on an unbounded intervalrdquoApplied Mathematics and Computation vol 218 no 18 pp9066ndash9074 2012
[36] J Banas and D OrsquoRegan ldquoOn existence and local attractivity ofsolutions of a quadratic Volterra integral equation of fractionalorderrdquo Journal of Mathematical Analysis and Applications vol345 no 1 pp 573ndash582 2008
[37] L D Landau EM Lifshitz and L P Pitaevski Electrodynamicsof Continuous Media vol 8 Butterworth-Heinemann 2ndedition 1984
[38] L D Landau and E M Lifshitz Fluid Mechanics vol bButterworth-Heinemann 2nd edition 1987
[39] R Temam Infinite-Dimensional Dynamical Systems inMechan-ics and Physics vol 68 Springer New York NY USA 2ndedition 1997
[40] J K Hale Asymptotic Behavior of Dissipative Systems vol 25 ofMathematical Surveys and Monographs American Mathemati-cal Society Providence RI USA 1988
[41] R A Adams and J J F Fournier Sobolev Spaces vol 140Elsevier 2nd edition 2003
[42] V Mazrsquoya Sobolev Spaces with Applications to Elliptic PartialDifferential Equations Springer Heidelberg Germany 2ndedition 2011
[43] V Georgescu ldquoSome boundary value problems for differentialforms on compact Riemannian manifoldsrdquo Annali di Matemat-ica Pura ed Applicata vol 122 pp 159ndash198 1979
[44] D Henry Geometric Theory of Semilinear Parabolic Equationsvol 840 of Lecture Notes in Mathematics Springer New YorkNY USA 1981
[45] V Girault and P-A Raviart Finite Element Methods for Navier-Stokes Equations Springer New York NY USA 1986
[46] J Bardeen L N Cooper and J R Schrieffer ldquoTheory ofsuperconductivityrdquo Physical Review vol 108 pp 1175ndash12041957
[47] A A Abrikosov Fundamental of the Theory of Metals North-Holland Amstedram The Netherlands 1988
[48] M Tinkham Introduction To Superconductivity McGraw-HillNew York NY USA 2nd edition 1996
[49] P DeGennes Superconductivity inMetals and Alloys BenjaminNew York NY USA 1966
[50] H Brezis Functional Analysis Sobolev Spaces and PartialDifferential Equations Springer New York NY USA 2011
[51] E Zeidler Nonlinear Functional Analysis and its Applicationsvol 2 Springer New York NY USA 1990
[52] A Schmid ldquoA time dependent Ginzburg-Landau equation andits application to the problem of resistivity in the mixed staterdquoPhysik der KondensiertenMaterie vol 5 no 4 pp 302ndash317 1966
[53] C M Elliot and Q Tang Existence Theorems For an Evolution-ary Superconductivity Model University of Sussex BrightonUK 1992
[54] Q Tang ldquoOn an evolutionary system of Ginzburg-Landauequations with fixed total magnetic fluxrdquo Communications inPartial Differential Equations vol 20 no 1-2 pp 1ndash36 1995
[55] Q Du ldquoGlobal existence and uniqueness of solutions of thetime-dependent Ginzburg-Landau model for superconductiv-ityrdquo Applicable Analysis vol 53 no 1-2 pp 1ndash18 1994
[56] Z M Chen K-H Hoffmann and J Liang ldquoOn a nonstation-ary Ginzburg-Landau superconductivity modelrdquoMathematicalMethods in the Applied Sciences vol 16 no 12 pp 855ndash875 1993
[57] J Liang and Q Tang ldquoAsymptotic behaviour of the solutionsof an evolutionaryGinzburg-Landau superconductivitymodelrdquoJournal of Mathematical Analysis and Applications vol 195 no1 pp 92ndash107 1995
[58] L P Gorrsquokov and G M Eliasherberg ldquoGeneralization of theGinzburg-Landau equations for an nonstationary problemsin the case of alloys with paramagnetic impartiesrdquo ZhurnalEksperimentalrsquonoi i Teoreticheskoi Fiziki vol 54 pp 612ndash6261968 Soviet Physics vol 27 pp 328ndash334 1968
[59] J Fleckinger-Pelle and H G Kaper ldquoGauges for the Ginzburg-Landau equations of superconductivityrdquo Zeitschrift fur Ange-wandte Mathematik und Mechanik vol 76 no 2 pp 345ndash3481996
[60] P Takac ldquoOn the dynamical process generated by supercon-ductivity modelrdquo Zeitschrift fur Angewandte Mathematik undMechanik vol 76 no 52 pp 349ndash352 1995
[61] W D Gropp H G Kaper DM Levine M Palumbo and VMVinokur ldquoNumerical simulation of vortex dynamics in type-IIsuperconductorsrdquo Journal of Computational Physics vol 123 no2 pp 254ndash266 1996
[62] D W Braun G W Crabtree H G Kaper et al ldquoStructure of amoving vortex latticerdquo Physical Review Letters vol 76 no 5 pp831ndash834 1996
[63] G W Crabtree G K Leaf H G Kaper et al ldquoTime-dependent Ginzburg-Landau simulations of vortex guidance bytwin boundariesrdquo Physica C vol 263 no 1ndash4 pp 401ndash408 1996
[64] G W Carabtree G K Leaf H G Kaper D W Braun V MVinokur andA E Koshelev ldquoDynamics vortex phases in super-conductors with correlated disorderrdquo Preprint ANLMCS-P590-0496 Mathematics and Computer Science DivisionAragonne National Laboratory 1996
[65] Th Gallay ldquoA center-stable manifold theorem for differentialequations in Banach spacesrdquo Communications in MathematicalPhysics vol 152 no 2 pp 249ndash268 1993
[66] J-M Ghidaglia and B Heron ldquoDimension of the attractorsassociated to the Ginzburg-Landau partial differential equa-tionrdquo Physica D vol 28 no 3 pp 282ndash304 1987
12 Journal of Function Spaces and Applications
[67] P Mattila Geometry of Sets and Measures in Euclidean Spacesvol 44 Cambridge University Press Cambridge UK 1995
[68] L HormanderThe Analysis of Linear Partial Differential Oper-ators vol 1 Springer Berlin Germany 2nd edition 1990
[69] H Amann Linear and Quasilinear Parabolic ProblemBikhauser Basel Switzerland 1995
[70] H-P Heinz ldquoOn the behaviour ofmeasures of noncompactnesswith respect to differentiation and integration of vector-valuedfunctionsrdquo Nonlinear Analysis Theory Methods amp ApplicationsA vol 7 no 12 pp 1351ndash1371 1983
[71] R P Agarwal M Meehan and D OrsquoRegan Fixed Point Theoryand Applications vol 141 of Cambridge Tracts in MathematicsCambridge University Press Cambridge UK 2001
[72] A Pazy Semigroups of Linear Operators and Applications toPartial Differential Equations Springer New York NY USA1983
[73] J Fleckinger-Pelle H G Kaper and P Takac ldquoDynamics of theGinzburg-Landau equations of superconductivityrdquo NonlinearAnalysis Theory Methods amp Applications A vol 32 no 5 pp647ndash665 1998
[74] H G Kaper and P Takac ldquoAn equivalence relation for theGinzburg-Landau equations of superconductivityrdquo Journal ofApplied Mathematics and Physics vol 48 no 4 pp 665ndash6751997
119888 gt 0 Hence A is positively definite in L2 ([44 Chap 1]equation (545)) If it does not lead to confusion we use thesame symbol A for the restriction A
120595and AA of A to the
respective linear subspace [1198712(Ω)]2 = [1198712(Ω)]2 times 0 (for 120595)and [1198712(Ω)]119899 equiv 0 times [1198712(Ω)]119899 (for A) ofL2
Now consider the initial-value problems (6) and (7) inL2 whereF(119905 119906) = (120593 F) 120593 and F is given by (94) and (95)and 119906
0= (1205950A0minus AH(0))
With 120582 isin (12 1) and 1199060isin W1+1205822 we say that 119906 are a
solution of (6) and (7) on the interval [0 119879] for some 119879 gt 0if 119906 [0 119879] rarr W1+1205822 is continuous and
119906 (119905) = 119890minusA(119905)
+ int
119905
0
119890minusA(119905minus119904)
F (119904 119906 (119904)) 119889119904 for 119905 isin [0 119879]
(102)
in L2 A mild solution of the initial-value problems (6) and(7) defines a weak solution (120595A1015840) of the boundary valueproblem (93) which in turn defines a weak solution (120595A)of the gauged TDGL equations provided AH is sufficientlyregular
Namely let us assume that X = L2 and 1199060isin L2 and
119906 R+times R119899 rarr R119899 for 119899 isin N is an unknown function 119906 =
119906(119905 119909) In order to applyTheorems 10 and 14 we are not goingto consider 119906 as a function of 119905 and 119909 together but rather asa mapping 119906 of variable 119905 into the spaceX =L2 of functions119909 that is 119906 R
We observe that in the case when 119890minusA119905119905ge0
is the semi-group of contractions and 119886(119905) equiv 119886 119887(119905) equiv 119887 for 119905 isin
R+are constant after simple calculations based on estimate
(25) we get that the solution 119906 = 119906(119905) has the asymptoticcharacterization
119906 (119905) = 119874 (1199053) as 119905 997888rarr infin (103)
For further purposes let us formulate the followingassumption
(A) A is the infinitesimal generator of an exponentiallystable 119862
0-semigroup 119890minusA119905
119905ge0
The next result of this chapter is shown in the giventheorem below
Theorem21 Under assumptions (A) and (1198672)ndash(1198674) problem
(6)-(7) which is equivalent to the systems equations (1)ndash(5)(TDGL equations) has a mild solution 119906 = 119906(119905) for each1199060isin L2 which is globally attractive and locally uniformly
attractive
References
[1] V L Ginzburg and L D Landau ldquoOn the theory of supercon-ductivityrdquo Zhurnal Eksperimentalrsquonoi i Teoreticheskoi Fiziki vol20 pp 1064ndash1082 1950 English translation in L D LandauMen of Physics D ter Haar ed Vol I Pergamon Press OxfordUK pp 138ndash167 1965
[2] S Aizicovici and H Lee ldquoNonlinear nonlocal Cauchy problemsin Banach spacesrdquo Applied Mathematics Letters vol 18 no 4pp 401ndash407 2005
[3] S Aizicovici and M McKibben ldquoExistence results for a classof abstract nonlocal Cauchy problemsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 39 no 5 pp 649ndash6682000
[4] MMcKibbenDiscovering Evolution Equation with ApplicationCRC Press Taylor amp Francis Group 2011
[5] S Aizicovici and V Staicu ldquoMultivalued evolution equationswith nonlocal initial conditions in Banach spacesrdquo NonlinearDifferential Equations and Applications vol 14 no 3-4 pp 361ndash376 2007
[6] R P Agarwal and D OrsquoRegan Infinite Interval Problems for Dif-ferential Difference and Integral Equations Kluwer AcademicPublishers Dordrecht The Netherlands 2001
[7] Z Fan ldquoExistence of nondensely defined evolution equationswith nonlocal conditionsrdquo Nonlinear Analysis Theory Methodsamp Applications A vol 70 no 11 pp 3829ndash3836 2009
[8] Z Fan ldquoImpulsive problems for semilinear differential equa-tions with nonlocal conditionsrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 72 no 2 pp 1104ndash1109 2010
[9] Z Fan and G Li ldquoExistence results for semilinear differentialequations with nonlocal and impulsive conditionsrdquo Journal ofFunctional Analysis vol 258 no 5 pp 1709ndash1727 2010
[10] J Garcıa-Falset ldquoExistence results and asymptotic behavior fornonlocal abstract Cauchy problemsrdquo Journal of MathematicalAnalysis and Applications vol 338 no 1 pp 639ndash652 2008
[11] J Liang J H Liu and T-J Xiao ldquoNonlocal impulsive problemsfor nonlinear differential equations in Banach spacesrdquo Mathe-matical and Computer Modelling vol 49 no 3-4 pp 798ndash8042009
[12] L Zhu and G Li ldquoOn a nonlocal problem for semilinear differ-ential equations with upper semicontinuous nonlinearities ingeneral Banach spacesrdquo Journal of Mathematical Analysis andApplications vol 341 no 1 pp 660ndash675 2008
[13] Q Liu and R Yuan ldquoExistence of mild solutions for semilinearevolution equations with non-local initial conditionsrdquo Nonlin-ear AnalysisTheoryMethodsampApplications A vol 71 no 9 pp4177ndash4184 2009
[14] C Xie W Zhong and Z Fan ldquoExistence results for nonlinearnonlocal problems in Banach spacesrdquo Applied MathematicsLetters vol 22 no 7 pp 998ndash1002 2009
[15] T-J Xiao and J Liang ldquoExistence of classical solutions tononautonomous nonlocal parabolic problemsrdquoNonlinear Anal-ysisTheoryMethods and Applications vol 63 no 5-7 pp e225ndashe232 2005
[16] X Xue ldquo119871119901 theory for semilinear nonlocal problems with mea-sure of noncompactness in separable Banach spacesrdquo Journal ofFixed Point Theory and Applications vol 5 no 1 pp 129ndash1442009
[17] X Xue ldquoNonlinear differential equations with nonlocal condi-tions in Banach spacesrdquo Nonlinear Analysis Theory Methods ampApplications A vol 63 no 4 pp 575ndash586 2005
[18] X Xue ldquoExistence of solutions for semilinear nonlocal Cauchyproblems in Banach spacesrdquo Electronic Journal of DifferentialEquations vol 64 p 7 2005
[19] X Xue ldquoNonlocal nonlinear differential equations with a mea-sure of noncompactness in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 70 no 7 pp 2593ndash26012009
[20] L Olszowy ldquoExistence ofmild solutions for the semilinear non-local problem in Banach spacesrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 81 pp 211ndash223 2013
[21] D Bothe ldquoMultivalued perturbations of119898-accretive differentialinclusionsrdquo Israel Journal of Mathematics vol 108 pp 109ndash1381998
[22] H-S Ding J Liang G M NrsquoGuerekata and T-J XiaoldquoMild pseudo-almost periodic solutions of nonautonomoussemilinear evolution equationsrdquo Mathematical and ComputerModelling vol 45 no 5-6 pp 579ndash584 2007
[23] J Garcıa-Falset ldquoThe asymptotic behavior of the solutions of theCauchy problem generated by 120593-accretive operatorsrdquo Journal ofMathematical Analysis and Applications vol 310 no 2 pp 594ndash608 2005
[24] Z Fan and G Li ldquoAsymptotic behavior of the solutions of non-autonomous systems in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 68 no 12 pp 3733ndash37412008
[25] J Banas ldquoOn existence theorems for differential equations inBanach spacesrdquo Bulletin of the Australian Mathematical Societyvol 32 no 1 pp 73ndash82 1985
[26] J Banas ldquoMeasures of noncompactness in the space of contin-uous tempered functionsrdquo Demonstratio Mathematica vol 14no 1 pp 127ndash133 1981
Journal of Function Spaces and Applications 11
[27] J Banas and K GoebelMeasures of Noncompactness in BanachSpaces vol 60 ofLectureNotes in Pure andAppliedMathematicsMarcel Dekker New York NY USA 1980
[28] J Banas and M Lecko ldquoSolvability of infinite systems ofdifferential equations in Banach sequence spacesrdquo Journal ofComputational andAppliedMathematics vol 137 no 2 pp 363ndash375 2001
[29] J Banas and K Sadarangani ldquoCompactness conditions inthe study of functional differential and integral equationsrdquoAbstract and Applied Analysis vol 2013 Article ID 819315 14pages 2013
[30] M Mursaleen and S A Mohiuddine ldquoApplications of mea-sures of noncompactness to the infinite system of differentialequations in ℓ
119901spacesrdquo Nonlinear Analysis Theory Methods amp
Applications A vol 75 no 4 pp 2111ndash2115 2012[31] L Olszowy ldquoSolvability of some functional integral equationrdquo
Dynamic Systems and Applications vol 18 no 3-4 pp 667ndash6762009
[32] L Olszowy ldquoOn some measures of noncompactness in theFrechet spaces of continuous functionsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 72 pp 2119ndash2126 2010
[33] L Olszowy ldquoOn existence of solutions of a quadratic Urysohnintegral equation on an unbounded intervalrdquo CommentationesMathematicae vol 48 no 1 pp 103ndash112 2008
[34] L Olszowy ldquoExistence ofmild solutions for semilinear nonlocalCauchy problems in separable Banach spacesrdquo Journal of Anal-ysis and its Applications vol 32 no 2 pp 215ndash232 2013
[35] L Olszowy ldquoFixed point theorems in the Frechet space 119862(119877+)
and functional integral equations on an unbounded intervalrdquoApplied Mathematics and Computation vol 218 no 18 pp9066ndash9074 2012
[36] J Banas and D OrsquoRegan ldquoOn existence and local attractivity ofsolutions of a quadratic Volterra integral equation of fractionalorderrdquo Journal of Mathematical Analysis and Applications vol345 no 1 pp 573ndash582 2008
[37] L D Landau EM Lifshitz and L P Pitaevski Electrodynamicsof Continuous Media vol 8 Butterworth-Heinemann 2ndedition 1984
[38] L D Landau and E M Lifshitz Fluid Mechanics vol bButterworth-Heinemann 2nd edition 1987
[39] R Temam Infinite-Dimensional Dynamical Systems inMechan-ics and Physics vol 68 Springer New York NY USA 2ndedition 1997
[40] J K Hale Asymptotic Behavior of Dissipative Systems vol 25 ofMathematical Surveys and Monographs American Mathemati-cal Society Providence RI USA 1988
[41] R A Adams and J J F Fournier Sobolev Spaces vol 140Elsevier 2nd edition 2003
[42] V Mazrsquoya Sobolev Spaces with Applications to Elliptic PartialDifferential Equations Springer Heidelberg Germany 2ndedition 2011
[43] V Georgescu ldquoSome boundary value problems for differentialforms on compact Riemannian manifoldsrdquo Annali di Matemat-ica Pura ed Applicata vol 122 pp 159ndash198 1979
[44] D Henry Geometric Theory of Semilinear Parabolic Equationsvol 840 of Lecture Notes in Mathematics Springer New YorkNY USA 1981
[45] V Girault and P-A Raviart Finite Element Methods for Navier-Stokes Equations Springer New York NY USA 1986
[46] J Bardeen L N Cooper and J R Schrieffer ldquoTheory ofsuperconductivityrdquo Physical Review vol 108 pp 1175ndash12041957
[47] A A Abrikosov Fundamental of the Theory of Metals North-Holland Amstedram The Netherlands 1988
[48] M Tinkham Introduction To Superconductivity McGraw-HillNew York NY USA 2nd edition 1996
[49] P DeGennes Superconductivity inMetals and Alloys BenjaminNew York NY USA 1966
[50] H Brezis Functional Analysis Sobolev Spaces and PartialDifferential Equations Springer New York NY USA 2011
[51] E Zeidler Nonlinear Functional Analysis and its Applicationsvol 2 Springer New York NY USA 1990
[52] A Schmid ldquoA time dependent Ginzburg-Landau equation andits application to the problem of resistivity in the mixed staterdquoPhysik der KondensiertenMaterie vol 5 no 4 pp 302ndash317 1966
[53] C M Elliot and Q Tang Existence Theorems For an Evolution-ary Superconductivity Model University of Sussex BrightonUK 1992
[54] Q Tang ldquoOn an evolutionary system of Ginzburg-Landauequations with fixed total magnetic fluxrdquo Communications inPartial Differential Equations vol 20 no 1-2 pp 1ndash36 1995
[55] Q Du ldquoGlobal existence and uniqueness of solutions of thetime-dependent Ginzburg-Landau model for superconductiv-ityrdquo Applicable Analysis vol 53 no 1-2 pp 1ndash18 1994
[56] Z M Chen K-H Hoffmann and J Liang ldquoOn a nonstation-ary Ginzburg-Landau superconductivity modelrdquoMathematicalMethods in the Applied Sciences vol 16 no 12 pp 855ndash875 1993
[57] J Liang and Q Tang ldquoAsymptotic behaviour of the solutionsof an evolutionaryGinzburg-Landau superconductivitymodelrdquoJournal of Mathematical Analysis and Applications vol 195 no1 pp 92ndash107 1995
[58] L P Gorrsquokov and G M Eliasherberg ldquoGeneralization of theGinzburg-Landau equations for an nonstationary problemsin the case of alloys with paramagnetic impartiesrdquo ZhurnalEksperimentalrsquonoi i Teoreticheskoi Fiziki vol 54 pp 612ndash6261968 Soviet Physics vol 27 pp 328ndash334 1968
[59] J Fleckinger-Pelle and H G Kaper ldquoGauges for the Ginzburg-Landau equations of superconductivityrdquo Zeitschrift fur Ange-wandte Mathematik und Mechanik vol 76 no 2 pp 345ndash3481996
[60] P Takac ldquoOn the dynamical process generated by supercon-ductivity modelrdquo Zeitschrift fur Angewandte Mathematik undMechanik vol 76 no 52 pp 349ndash352 1995
[61] W D Gropp H G Kaper DM Levine M Palumbo and VMVinokur ldquoNumerical simulation of vortex dynamics in type-IIsuperconductorsrdquo Journal of Computational Physics vol 123 no2 pp 254ndash266 1996
[62] D W Braun G W Crabtree H G Kaper et al ldquoStructure of amoving vortex latticerdquo Physical Review Letters vol 76 no 5 pp831ndash834 1996
[63] G W Crabtree G K Leaf H G Kaper et al ldquoTime-dependent Ginzburg-Landau simulations of vortex guidance bytwin boundariesrdquo Physica C vol 263 no 1ndash4 pp 401ndash408 1996
[64] G W Carabtree G K Leaf H G Kaper D W Braun V MVinokur andA E Koshelev ldquoDynamics vortex phases in super-conductors with correlated disorderrdquo Preprint ANLMCS-P590-0496 Mathematics and Computer Science DivisionAragonne National Laboratory 1996
[65] Th Gallay ldquoA center-stable manifold theorem for differentialequations in Banach spacesrdquo Communications in MathematicalPhysics vol 152 no 2 pp 249ndash268 1993
[66] J-M Ghidaglia and B Heron ldquoDimension of the attractorsassociated to the Ginzburg-Landau partial differential equa-tionrdquo Physica D vol 28 no 3 pp 282ndash304 1987
12 Journal of Function Spaces and Applications
[67] P Mattila Geometry of Sets and Measures in Euclidean Spacesvol 44 Cambridge University Press Cambridge UK 1995
[68] L HormanderThe Analysis of Linear Partial Differential Oper-ators vol 1 Springer Berlin Germany 2nd edition 1990
[69] H Amann Linear and Quasilinear Parabolic ProblemBikhauser Basel Switzerland 1995
[70] H-P Heinz ldquoOn the behaviour ofmeasures of noncompactnesswith respect to differentiation and integration of vector-valuedfunctionsrdquo Nonlinear Analysis Theory Methods amp ApplicationsA vol 7 no 12 pp 1351ndash1371 1983
[71] R P Agarwal M Meehan and D OrsquoRegan Fixed Point Theoryand Applications vol 141 of Cambridge Tracts in MathematicsCambridge University Press Cambridge UK 2001
[72] A Pazy Semigroups of Linear Operators and Applications toPartial Differential Equations Springer New York NY USA1983
[73] J Fleckinger-Pelle H G Kaper and P Takac ldquoDynamics of theGinzburg-Landau equations of superconductivityrdquo NonlinearAnalysis Theory Methods amp Applications A vol 32 no 5 pp647ndash665 1998
[74] H G Kaper and P Takac ldquoAn equivalence relation for theGinzburg-Landau equations of superconductivityrdquo Journal ofApplied Mathematics and Physics vol 48 no 4 pp 665ndash6751997
We observe that in the case when 119890minusA119905119905ge0
is the semi-group of contractions and 119886(119905) equiv 119886 119887(119905) equiv 119887 for 119905 isin
R+are constant after simple calculations based on estimate
(25) we get that the solution 119906 = 119906(119905) has the asymptoticcharacterization
119906 (119905) = 119874 (1199053) as 119905 997888rarr infin (103)
For further purposes let us formulate the followingassumption
(A) A is the infinitesimal generator of an exponentiallystable 119862
0-semigroup 119890minusA119905
119905ge0
The next result of this chapter is shown in the giventheorem below
Theorem21 Under assumptions (A) and (1198672)ndash(1198674) problem
(6)-(7) which is equivalent to the systems equations (1)ndash(5)(TDGL equations) has a mild solution 119906 = 119906(119905) for each1199060isin L2 which is globally attractive and locally uniformly
attractive
References
[1] V L Ginzburg and L D Landau ldquoOn the theory of supercon-ductivityrdquo Zhurnal Eksperimentalrsquonoi i Teoreticheskoi Fiziki vol20 pp 1064ndash1082 1950 English translation in L D LandauMen of Physics D ter Haar ed Vol I Pergamon Press OxfordUK pp 138ndash167 1965
[2] S Aizicovici and H Lee ldquoNonlinear nonlocal Cauchy problemsin Banach spacesrdquo Applied Mathematics Letters vol 18 no 4pp 401ndash407 2005
[3] S Aizicovici and M McKibben ldquoExistence results for a classof abstract nonlocal Cauchy problemsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 39 no 5 pp 649ndash6682000
[4] MMcKibbenDiscovering Evolution Equation with ApplicationCRC Press Taylor amp Francis Group 2011
[5] S Aizicovici and V Staicu ldquoMultivalued evolution equationswith nonlocal initial conditions in Banach spacesrdquo NonlinearDifferential Equations and Applications vol 14 no 3-4 pp 361ndash376 2007
[6] R P Agarwal and D OrsquoRegan Infinite Interval Problems for Dif-ferential Difference and Integral Equations Kluwer AcademicPublishers Dordrecht The Netherlands 2001
[7] Z Fan ldquoExistence of nondensely defined evolution equationswith nonlocal conditionsrdquo Nonlinear Analysis Theory Methodsamp Applications A vol 70 no 11 pp 3829ndash3836 2009
[8] Z Fan ldquoImpulsive problems for semilinear differential equa-tions with nonlocal conditionsrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 72 no 2 pp 1104ndash1109 2010
[9] Z Fan and G Li ldquoExistence results for semilinear differentialequations with nonlocal and impulsive conditionsrdquo Journal ofFunctional Analysis vol 258 no 5 pp 1709ndash1727 2010
[10] J Garcıa-Falset ldquoExistence results and asymptotic behavior fornonlocal abstract Cauchy problemsrdquo Journal of MathematicalAnalysis and Applications vol 338 no 1 pp 639ndash652 2008
[11] J Liang J H Liu and T-J Xiao ldquoNonlocal impulsive problemsfor nonlinear differential equations in Banach spacesrdquo Mathe-matical and Computer Modelling vol 49 no 3-4 pp 798ndash8042009
[12] L Zhu and G Li ldquoOn a nonlocal problem for semilinear differ-ential equations with upper semicontinuous nonlinearities ingeneral Banach spacesrdquo Journal of Mathematical Analysis andApplications vol 341 no 1 pp 660ndash675 2008
[13] Q Liu and R Yuan ldquoExistence of mild solutions for semilinearevolution equations with non-local initial conditionsrdquo Nonlin-ear AnalysisTheoryMethodsampApplications A vol 71 no 9 pp4177ndash4184 2009
[14] C Xie W Zhong and Z Fan ldquoExistence results for nonlinearnonlocal problems in Banach spacesrdquo Applied MathematicsLetters vol 22 no 7 pp 998ndash1002 2009
[15] T-J Xiao and J Liang ldquoExistence of classical solutions tononautonomous nonlocal parabolic problemsrdquoNonlinear Anal-ysisTheoryMethods and Applications vol 63 no 5-7 pp e225ndashe232 2005
[16] X Xue ldquo119871119901 theory for semilinear nonlocal problems with mea-sure of noncompactness in separable Banach spacesrdquo Journal ofFixed Point Theory and Applications vol 5 no 1 pp 129ndash1442009
[17] X Xue ldquoNonlinear differential equations with nonlocal condi-tions in Banach spacesrdquo Nonlinear Analysis Theory Methods ampApplications A vol 63 no 4 pp 575ndash586 2005
[18] X Xue ldquoExistence of solutions for semilinear nonlocal Cauchyproblems in Banach spacesrdquo Electronic Journal of DifferentialEquations vol 64 p 7 2005
[19] X Xue ldquoNonlocal nonlinear differential equations with a mea-sure of noncompactness in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 70 no 7 pp 2593ndash26012009
[20] L Olszowy ldquoExistence ofmild solutions for the semilinear non-local problem in Banach spacesrdquo Nonlinear Analysis TheoryMethods amp Applications A vol 81 pp 211ndash223 2013
[21] D Bothe ldquoMultivalued perturbations of119898-accretive differentialinclusionsrdquo Israel Journal of Mathematics vol 108 pp 109ndash1381998
[22] H-S Ding J Liang G M NrsquoGuerekata and T-J XiaoldquoMild pseudo-almost periodic solutions of nonautonomoussemilinear evolution equationsrdquo Mathematical and ComputerModelling vol 45 no 5-6 pp 579ndash584 2007
[23] J Garcıa-Falset ldquoThe asymptotic behavior of the solutions of theCauchy problem generated by 120593-accretive operatorsrdquo Journal ofMathematical Analysis and Applications vol 310 no 2 pp 594ndash608 2005
[24] Z Fan and G Li ldquoAsymptotic behavior of the solutions of non-autonomous systems in Banach spacesrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 68 no 12 pp 3733ndash37412008
[25] J Banas ldquoOn existence theorems for differential equations inBanach spacesrdquo Bulletin of the Australian Mathematical Societyvol 32 no 1 pp 73ndash82 1985
[26] J Banas ldquoMeasures of noncompactness in the space of contin-uous tempered functionsrdquo Demonstratio Mathematica vol 14no 1 pp 127ndash133 1981
Journal of Function Spaces and Applications 11
[27] J Banas and K GoebelMeasures of Noncompactness in BanachSpaces vol 60 ofLectureNotes in Pure andAppliedMathematicsMarcel Dekker New York NY USA 1980
[28] J Banas and M Lecko ldquoSolvability of infinite systems ofdifferential equations in Banach sequence spacesrdquo Journal ofComputational andAppliedMathematics vol 137 no 2 pp 363ndash375 2001
[29] J Banas and K Sadarangani ldquoCompactness conditions inthe study of functional differential and integral equationsrdquoAbstract and Applied Analysis vol 2013 Article ID 819315 14pages 2013
[30] M Mursaleen and S A Mohiuddine ldquoApplications of mea-sures of noncompactness to the infinite system of differentialequations in ℓ
119901spacesrdquo Nonlinear Analysis Theory Methods amp
Applications A vol 75 no 4 pp 2111ndash2115 2012[31] L Olszowy ldquoSolvability of some functional integral equationrdquo
Dynamic Systems and Applications vol 18 no 3-4 pp 667ndash6762009
[32] L Olszowy ldquoOn some measures of noncompactness in theFrechet spaces of continuous functionsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 72 pp 2119ndash2126 2010
[33] L Olszowy ldquoOn existence of solutions of a quadratic Urysohnintegral equation on an unbounded intervalrdquo CommentationesMathematicae vol 48 no 1 pp 103ndash112 2008
[34] L Olszowy ldquoExistence ofmild solutions for semilinear nonlocalCauchy problems in separable Banach spacesrdquo Journal of Anal-ysis and its Applications vol 32 no 2 pp 215ndash232 2013
[35] L Olszowy ldquoFixed point theorems in the Frechet space 119862(119877+)
and functional integral equations on an unbounded intervalrdquoApplied Mathematics and Computation vol 218 no 18 pp9066ndash9074 2012
[36] J Banas and D OrsquoRegan ldquoOn existence and local attractivity ofsolutions of a quadratic Volterra integral equation of fractionalorderrdquo Journal of Mathematical Analysis and Applications vol345 no 1 pp 573ndash582 2008
[37] L D Landau EM Lifshitz and L P Pitaevski Electrodynamicsof Continuous Media vol 8 Butterworth-Heinemann 2ndedition 1984
[38] L D Landau and E M Lifshitz Fluid Mechanics vol bButterworth-Heinemann 2nd edition 1987
[39] R Temam Infinite-Dimensional Dynamical Systems inMechan-ics and Physics vol 68 Springer New York NY USA 2ndedition 1997
[40] J K Hale Asymptotic Behavior of Dissipative Systems vol 25 ofMathematical Surveys and Monographs American Mathemati-cal Society Providence RI USA 1988
[41] R A Adams and J J F Fournier Sobolev Spaces vol 140Elsevier 2nd edition 2003
[42] V Mazrsquoya Sobolev Spaces with Applications to Elliptic PartialDifferential Equations Springer Heidelberg Germany 2ndedition 2011
[43] V Georgescu ldquoSome boundary value problems for differentialforms on compact Riemannian manifoldsrdquo Annali di Matemat-ica Pura ed Applicata vol 122 pp 159ndash198 1979
[44] D Henry Geometric Theory of Semilinear Parabolic Equationsvol 840 of Lecture Notes in Mathematics Springer New YorkNY USA 1981
[45] V Girault and P-A Raviart Finite Element Methods for Navier-Stokes Equations Springer New York NY USA 1986
[46] J Bardeen L N Cooper and J R Schrieffer ldquoTheory ofsuperconductivityrdquo Physical Review vol 108 pp 1175ndash12041957
[47] A A Abrikosov Fundamental of the Theory of Metals North-Holland Amstedram The Netherlands 1988
[48] M Tinkham Introduction To Superconductivity McGraw-HillNew York NY USA 2nd edition 1996
[49] P DeGennes Superconductivity inMetals and Alloys BenjaminNew York NY USA 1966
[50] H Brezis Functional Analysis Sobolev Spaces and PartialDifferential Equations Springer New York NY USA 2011
[51] E Zeidler Nonlinear Functional Analysis and its Applicationsvol 2 Springer New York NY USA 1990
[52] A Schmid ldquoA time dependent Ginzburg-Landau equation andits application to the problem of resistivity in the mixed staterdquoPhysik der KondensiertenMaterie vol 5 no 4 pp 302ndash317 1966
[53] C M Elliot and Q Tang Existence Theorems For an Evolution-ary Superconductivity Model University of Sussex BrightonUK 1992
[54] Q Tang ldquoOn an evolutionary system of Ginzburg-Landauequations with fixed total magnetic fluxrdquo Communications inPartial Differential Equations vol 20 no 1-2 pp 1ndash36 1995
[55] Q Du ldquoGlobal existence and uniqueness of solutions of thetime-dependent Ginzburg-Landau model for superconductiv-ityrdquo Applicable Analysis vol 53 no 1-2 pp 1ndash18 1994
[56] Z M Chen K-H Hoffmann and J Liang ldquoOn a nonstation-ary Ginzburg-Landau superconductivity modelrdquoMathematicalMethods in the Applied Sciences vol 16 no 12 pp 855ndash875 1993
[57] J Liang and Q Tang ldquoAsymptotic behaviour of the solutionsof an evolutionaryGinzburg-Landau superconductivitymodelrdquoJournal of Mathematical Analysis and Applications vol 195 no1 pp 92ndash107 1995
[58] L P Gorrsquokov and G M Eliasherberg ldquoGeneralization of theGinzburg-Landau equations for an nonstationary problemsin the case of alloys with paramagnetic impartiesrdquo ZhurnalEksperimentalrsquonoi i Teoreticheskoi Fiziki vol 54 pp 612ndash6261968 Soviet Physics vol 27 pp 328ndash334 1968
[59] J Fleckinger-Pelle and H G Kaper ldquoGauges for the Ginzburg-Landau equations of superconductivityrdquo Zeitschrift fur Ange-wandte Mathematik und Mechanik vol 76 no 2 pp 345ndash3481996
[60] P Takac ldquoOn the dynamical process generated by supercon-ductivity modelrdquo Zeitschrift fur Angewandte Mathematik undMechanik vol 76 no 52 pp 349ndash352 1995
[61] W D Gropp H G Kaper DM Levine M Palumbo and VMVinokur ldquoNumerical simulation of vortex dynamics in type-IIsuperconductorsrdquo Journal of Computational Physics vol 123 no2 pp 254ndash266 1996
[62] D W Braun G W Crabtree H G Kaper et al ldquoStructure of amoving vortex latticerdquo Physical Review Letters vol 76 no 5 pp831ndash834 1996
[63] G W Crabtree G K Leaf H G Kaper et al ldquoTime-dependent Ginzburg-Landau simulations of vortex guidance bytwin boundariesrdquo Physica C vol 263 no 1ndash4 pp 401ndash408 1996
[64] G W Carabtree G K Leaf H G Kaper D W Braun V MVinokur andA E Koshelev ldquoDynamics vortex phases in super-conductors with correlated disorderrdquo Preprint ANLMCS-P590-0496 Mathematics and Computer Science DivisionAragonne National Laboratory 1996
[65] Th Gallay ldquoA center-stable manifold theorem for differentialequations in Banach spacesrdquo Communications in MathematicalPhysics vol 152 no 2 pp 249ndash268 1993
[66] J-M Ghidaglia and B Heron ldquoDimension of the attractorsassociated to the Ginzburg-Landau partial differential equa-tionrdquo Physica D vol 28 no 3 pp 282ndash304 1987
12 Journal of Function Spaces and Applications
[67] P Mattila Geometry of Sets and Measures in Euclidean Spacesvol 44 Cambridge University Press Cambridge UK 1995
[68] L HormanderThe Analysis of Linear Partial Differential Oper-ators vol 1 Springer Berlin Germany 2nd edition 1990
[69] H Amann Linear and Quasilinear Parabolic ProblemBikhauser Basel Switzerland 1995
[70] H-P Heinz ldquoOn the behaviour ofmeasures of noncompactnesswith respect to differentiation and integration of vector-valuedfunctionsrdquo Nonlinear Analysis Theory Methods amp ApplicationsA vol 7 no 12 pp 1351ndash1371 1983
[71] R P Agarwal M Meehan and D OrsquoRegan Fixed Point Theoryand Applications vol 141 of Cambridge Tracts in MathematicsCambridge University Press Cambridge UK 2001
[72] A Pazy Semigroups of Linear Operators and Applications toPartial Differential Equations Springer New York NY USA1983
[73] J Fleckinger-Pelle H G Kaper and P Takac ldquoDynamics of theGinzburg-Landau equations of superconductivityrdquo NonlinearAnalysis Theory Methods amp Applications A vol 32 no 5 pp647ndash665 1998
[74] H G Kaper and P Takac ldquoAn equivalence relation for theGinzburg-Landau equations of superconductivityrdquo Journal ofApplied Mathematics and Physics vol 48 no 4 pp 665ndash6751997
[27] J Banas and K GoebelMeasures of Noncompactness in BanachSpaces vol 60 ofLectureNotes in Pure andAppliedMathematicsMarcel Dekker New York NY USA 1980
[28] J Banas and M Lecko ldquoSolvability of infinite systems ofdifferential equations in Banach sequence spacesrdquo Journal ofComputational andAppliedMathematics vol 137 no 2 pp 363ndash375 2001
[29] J Banas and K Sadarangani ldquoCompactness conditions inthe study of functional differential and integral equationsrdquoAbstract and Applied Analysis vol 2013 Article ID 819315 14pages 2013
[30] M Mursaleen and S A Mohiuddine ldquoApplications of mea-sures of noncompactness to the infinite system of differentialequations in ℓ
119901spacesrdquo Nonlinear Analysis Theory Methods amp
Applications A vol 75 no 4 pp 2111ndash2115 2012[31] L Olszowy ldquoSolvability of some functional integral equationrdquo
Dynamic Systems and Applications vol 18 no 3-4 pp 667ndash6762009
[32] L Olszowy ldquoOn some measures of noncompactness in theFrechet spaces of continuous functionsrdquo Nonlinear AnalysisTheory Methods amp Applications A vol 72 pp 2119ndash2126 2010
[33] L Olszowy ldquoOn existence of solutions of a quadratic Urysohnintegral equation on an unbounded intervalrdquo CommentationesMathematicae vol 48 no 1 pp 103ndash112 2008
[34] L Olszowy ldquoExistence ofmild solutions for semilinear nonlocalCauchy problems in separable Banach spacesrdquo Journal of Anal-ysis and its Applications vol 32 no 2 pp 215ndash232 2013
[35] L Olszowy ldquoFixed point theorems in the Frechet space 119862(119877+)
and functional integral equations on an unbounded intervalrdquoApplied Mathematics and Computation vol 218 no 18 pp9066ndash9074 2012
[36] J Banas and D OrsquoRegan ldquoOn existence and local attractivity ofsolutions of a quadratic Volterra integral equation of fractionalorderrdquo Journal of Mathematical Analysis and Applications vol345 no 1 pp 573ndash582 2008
[37] L D Landau EM Lifshitz and L P Pitaevski Electrodynamicsof Continuous Media vol 8 Butterworth-Heinemann 2ndedition 1984
[38] L D Landau and E M Lifshitz Fluid Mechanics vol bButterworth-Heinemann 2nd edition 1987
[39] R Temam Infinite-Dimensional Dynamical Systems inMechan-ics and Physics vol 68 Springer New York NY USA 2ndedition 1997
[40] J K Hale Asymptotic Behavior of Dissipative Systems vol 25 ofMathematical Surveys and Monographs American Mathemati-cal Society Providence RI USA 1988
[41] R A Adams and J J F Fournier Sobolev Spaces vol 140Elsevier 2nd edition 2003
[42] V Mazrsquoya Sobolev Spaces with Applications to Elliptic PartialDifferential Equations Springer Heidelberg Germany 2ndedition 2011
[43] V Georgescu ldquoSome boundary value problems for differentialforms on compact Riemannian manifoldsrdquo Annali di Matemat-ica Pura ed Applicata vol 122 pp 159ndash198 1979
[44] D Henry Geometric Theory of Semilinear Parabolic Equationsvol 840 of Lecture Notes in Mathematics Springer New YorkNY USA 1981
[45] V Girault and P-A Raviart Finite Element Methods for Navier-Stokes Equations Springer New York NY USA 1986
[46] J Bardeen L N Cooper and J R Schrieffer ldquoTheory ofsuperconductivityrdquo Physical Review vol 108 pp 1175ndash12041957
[47] A A Abrikosov Fundamental of the Theory of Metals North-Holland Amstedram The Netherlands 1988
[48] M Tinkham Introduction To Superconductivity McGraw-HillNew York NY USA 2nd edition 1996
[49] P DeGennes Superconductivity inMetals and Alloys BenjaminNew York NY USA 1966
[50] H Brezis Functional Analysis Sobolev Spaces and PartialDifferential Equations Springer New York NY USA 2011
[51] E Zeidler Nonlinear Functional Analysis and its Applicationsvol 2 Springer New York NY USA 1990
[52] A Schmid ldquoA time dependent Ginzburg-Landau equation andits application to the problem of resistivity in the mixed staterdquoPhysik der KondensiertenMaterie vol 5 no 4 pp 302ndash317 1966
[53] C M Elliot and Q Tang Existence Theorems For an Evolution-ary Superconductivity Model University of Sussex BrightonUK 1992
[54] Q Tang ldquoOn an evolutionary system of Ginzburg-Landauequations with fixed total magnetic fluxrdquo Communications inPartial Differential Equations vol 20 no 1-2 pp 1ndash36 1995
[55] Q Du ldquoGlobal existence and uniqueness of solutions of thetime-dependent Ginzburg-Landau model for superconductiv-ityrdquo Applicable Analysis vol 53 no 1-2 pp 1ndash18 1994
[56] Z M Chen K-H Hoffmann and J Liang ldquoOn a nonstation-ary Ginzburg-Landau superconductivity modelrdquoMathematicalMethods in the Applied Sciences vol 16 no 12 pp 855ndash875 1993
[57] J Liang and Q Tang ldquoAsymptotic behaviour of the solutionsof an evolutionaryGinzburg-Landau superconductivitymodelrdquoJournal of Mathematical Analysis and Applications vol 195 no1 pp 92ndash107 1995
[58] L P Gorrsquokov and G M Eliasherberg ldquoGeneralization of theGinzburg-Landau equations for an nonstationary problemsin the case of alloys with paramagnetic impartiesrdquo ZhurnalEksperimentalrsquonoi i Teoreticheskoi Fiziki vol 54 pp 612ndash6261968 Soviet Physics vol 27 pp 328ndash334 1968
[59] J Fleckinger-Pelle and H G Kaper ldquoGauges for the Ginzburg-Landau equations of superconductivityrdquo Zeitschrift fur Ange-wandte Mathematik und Mechanik vol 76 no 2 pp 345ndash3481996
[60] P Takac ldquoOn the dynamical process generated by supercon-ductivity modelrdquo Zeitschrift fur Angewandte Mathematik undMechanik vol 76 no 52 pp 349ndash352 1995
[61] W D Gropp H G Kaper DM Levine M Palumbo and VMVinokur ldquoNumerical simulation of vortex dynamics in type-IIsuperconductorsrdquo Journal of Computational Physics vol 123 no2 pp 254ndash266 1996
[62] D W Braun G W Crabtree H G Kaper et al ldquoStructure of amoving vortex latticerdquo Physical Review Letters vol 76 no 5 pp831ndash834 1996
[63] G W Crabtree G K Leaf H G Kaper et al ldquoTime-dependent Ginzburg-Landau simulations of vortex guidance bytwin boundariesrdquo Physica C vol 263 no 1ndash4 pp 401ndash408 1996
[64] G W Carabtree G K Leaf H G Kaper D W Braun V MVinokur andA E Koshelev ldquoDynamics vortex phases in super-conductors with correlated disorderrdquo Preprint ANLMCS-P590-0496 Mathematics and Computer Science DivisionAragonne National Laboratory 1996
[65] Th Gallay ldquoA center-stable manifold theorem for differentialequations in Banach spacesrdquo Communications in MathematicalPhysics vol 152 no 2 pp 249ndash268 1993
[66] J-M Ghidaglia and B Heron ldquoDimension of the attractorsassociated to the Ginzburg-Landau partial differential equa-tionrdquo Physica D vol 28 no 3 pp 282ndash304 1987
12 Journal of Function Spaces and Applications
[67] P Mattila Geometry of Sets and Measures in Euclidean Spacesvol 44 Cambridge University Press Cambridge UK 1995
[68] L HormanderThe Analysis of Linear Partial Differential Oper-ators vol 1 Springer Berlin Germany 2nd edition 1990
[69] H Amann Linear and Quasilinear Parabolic ProblemBikhauser Basel Switzerland 1995
[70] H-P Heinz ldquoOn the behaviour ofmeasures of noncompactnesswith respect to differentiation and integration of vector-valuedfunctionsrdquo Nonlinear Analysis Theory Methods amp ApplicationsA vol 7 no 12 pp 1351ndash1371 1983
[71] R P Agarwal M Meehan and D OrsquoRegan Fixed Point Theoryand Applications vol 141 of Cambridge Tracts in MathematicsCambridge University Press Cambridge UK 2001
[72] A Pazy Semigroups of Linear Operators and Applications toPartial Differential Equations Springer New York NY USA1983
[73] J Fleckinger-Pelle H G Kaper and P Takac ldquoDynamics of theGinzburg-Landau equations of superconductivityrdquo NonlinearAnalysis Theory Methods amp Applications A vol 32 no 5 pp647ndash665 1998
[74] H G Kaper and P Takac ldquoAn equivalence relation for theGinzburg-Landau equations of superconductivityrdquo Journal ofApplied Mathematics and Physics vol 48 no 4 pp 665ndash6751997
[67] P Mattila Geometry of Sets and Measures in Euclidean Spacesvol 44 Cambridge University Press Cambridge UK 1995
[68] L HormanderThe Analysis of Linear Partial Differential Oper-ators vol 1 Springer Berlin Germany 2nd edition 1990
[69] H Amann Linear and Quasilinear Parabolic ProblemBikhauser Basel Switzerland 1995
[70] H-P Heinz ldquoOn the behaviour ofmeasures of noncompactnesswith respect to differentiation and integration of vector-valuedfunctionsrdquo Nonlinear Analysis Theory Methods amp ApplicationsA vol 7 no 12 pp 1351ndash1371 1983
[71] R P Agarwal M Meehan and D OrsquoRegan Fixed Point Theoryand Applications vol 141 of Cambridge Tracts in MathematicsCambridge University Press Cambridge UK 2001
[72] A Pazy Semigroups of Linear Operators and Applications toPartial Differential Equations Springer New York NY USA1983
[73] J Fleckinger-Pelle H G Kaper and P Takac ldquoDynamics of theGinzburg-Landau equations of superconductivityrdquo NonlinearAnalysis Theory Methods amp Applications A vol 32 no 5 pp647ndash665 1998
[74] H G Kaper and P Takac ldquoAn equivalence relation for theGinzburg-Landau equations of superconductivityrdquo Journal ofApplied Mathematics and Physics vol 48 no 4 pp 665ndash6751997