Full algebra of generalized functions and non-standard asymptotic analysis
|
|
- Ralph Holmes
- 5 years ago
- Views:
Transcription
1 Full algebra f geeralized fuctis ad -stadard asympttic aalysis Tdr D. Tdrv Has Veraeve Abstract We cstruct a algebra f geeralized fuctis edwed with a caical embeddig f the space f Schwartz distributis. We ffer a sluti t the prblem f multiplicati f Schwartz distributis similar t but differet frm Clmbeau s sluti. We shw that the set f scalars f ur algebra is a algebraically clsed field ulike its cuterpart i Clmbeau thery, which is a rig with zer divisrs. We prve a Hah Baach extesi priciple which des t hld i Clmbeau thery. We establish a cecti betwee ur thery with -stadard aalysis ad thus aswer, althugh idirectly, a questi raised by Clmbeau. This article prvides a bridge betwee Clmbeau thery f geeralized fuctis ad -stadard aalysis. Keywrds Schwartz distributis Geeralized fuctis Clmbeau algebra Multiplicati f distributis N-stadard aalysis Ifiitesimals Ultrapwer -stadard mdel Ultrafilter Maximal filter Rbis valuati field Ultra-metric Hah Baach therem
2 1 Itrducti I the early 1970s, Rbis itrduced a real clsed, -archimedea field ρ R [33] as a factr rig f -stadard umbers i R [32]. The field ρ R is kw as Rbis field f asympttic umbers (r Rbis valuati field), because it is a atural framewrk f the classical asympttic aalysis [20]. Later Luxemburg [23] established a cecti betwee ρ R ad p-adic aalysis (see als the begiig f Sect. 8 i this article). Li Bag-He [19] studied the cecti betwee ρ R ad the aalytic represetati f Schwartz distributis, ad Pestv [30] ivlved the field ρ R ad similar cstructis i the thery f Baach spaces. Mre recetly, it was shw that the field ρ R is ismrphic t a particular Hah field f geeralized pwer series [38]. The algebras ρ E(Q) f ρ-asympttic fuctis were itrduced i [28] ad studied i Tdrv [37]. It is a differetial algebra ver Rbis s field ρ C ctaiig a cpy f the Schwartz distributis D ' (Q) [41]. Applicatis f ρ E(Q) t partial differetial equatis were preseted i Oberguggeberger [27]. We smetimes refer t the mathematics assciated directly r idirectly with the fields ρ R as stadard asympttic aalysis. O the ther had, i the early 1980s, Clmbeau develped his thery f ew geeralized fuctis withut ay cecti, at least iitially, with -stadard aalysis [6 10]. This thery is kw as Clmbeau thery r -liear thery f geeralized fuctis because it slves the prblem f the multiplicati f Schwartz distributis. Hereisa summary f Clmbeau thery preseted i aximatic like fashi: Let T d dete the usual tplgy R d ad let G be a pe set f R d.a set G(G) is called a special algebra f geeralized fuctis G (f Clmbeau type) if there exists a family G =: {G(Q)} Q T d (we use =: fr equal by defiiti ) such that: 1. Each G(Q) is a cmmutative differetial rig, that is, G(Q) is a cmmutative rig supplied with partial derivatives α,α N d 0 (liear peratrs beyig the chai rule). Here N 0 ={0, 1, 2,...}. Let C dete the rig f geeralized scalars f the family G defied as the set f the fuctis i G(R d ) with zer gradiet. Each G(Q) becmes a differetial algebra ver the rig C (hece, the termilgy Clmbeau algebras, fr shrt). 2. The rig f geeralized scalars C is f the frm C = R ir, where R is a partially rdered real rig, which is a prper extesi f R. (Real rig meas a rig with the prperty that a a 1 + +a = 0 implies a 1 = a 2 = =a = 0). The frmula x + iy = x 2 + y 2 defies a abslute value C. Csequetly, C is a prper extesi f C ad bth R ad C ctai -zer ifiitesimals. I Clmbeau thery the ifiitesimal relati i C is called assciati. 3. C is spherically cmplete uder sme ultra-metric d v C which agrees with the partial rder i R i the sese that z 1 < z 2 implies d v (0, z 1 ) d v (0, z 2 ). 4. Fr every f G(Q) ad every test fucti τ D(Q) a pairig ( f τ) C is defied (with the usual liear prperties). Here D(Q) stads fr the class f C fuctis frm Q t C with cmpact supprts. Let f, g G(Q). The fuctis f ad g are called weakly equal (r equal i the sese f geeralized distributis), i symbl f = g, if ( f τ) = (g τ) fr all τ D(Q). Similarly, f ad g
3 are weakly assciated (r simply, assciated, fr shrt), i symbl f g, if ( f τ) (g τ) fr all τ D(Q), where i the latter frmula stads fr the ifiitesimal relati i C. 5. The family G is a sheaf. That meas that G is supplied with a restricti I t a pe set (with the usual sheaf prperties, cf. [16]) such that T d 3 O Q ad f G(Q) implies f I O G(O). Csequetly, each geeralized fucti f G(Q) has a supprt supp( f ) which is a clsed subset f Q. 6. Let Q, Q ' T d ad Diff(Q ',Q) dete the set f all C -diffemrphisms frm Q ' t Q (C -bijectis with C -iverse). A cmpsiti (chage f variables) f ψ G(Q ' ) is defied fr all f G(Q) ad all ψ Diff(Q ',Q). 7. Fr every Q T d there exists a embeddig E Q : D ' (Q) G(Q) f the space f Schwartz distributis D ' (Q) it G(Q) such that: (a) E Q preserves the vectr peratis ad partial differetiati i D ' (Q); (b) E Q is sheaf-preservig, that is, E Q preserves the restricti t pe sets. Csequetly, E Q preserves the supprt f the Schwartz distributis. (c) E Q preserves the rig peratis ad partial differetiati i the class E(Q). Here E(Q) =: C (Q) stads fr the class f C -fuctis frm Q t C (where E(Q) is treated as a subspace f D ' (Q)). (d) E Q preserves the pairig betwee D ' (Q) ad the class f test fuctis D(Q). Csequetly, E Q preserves weakly the Schwartz multiplicati i D ' (Q) (multiplicati by duality). (e) E Q preserves the usual multiplicati i the class f ctiuus fuctis C(Q) up t fuctis i G(Q) that are weakly assciated t zer. (f) E Q preserves weakly the cmpsiti with diffemrphisms (chage f variables) i the sese that fr every Q, Q ' T d,every T D ' (Q) ad every ψ Diff(Q ',Q) we have (E Q (T ) ψ τ) = (E Q ' (T ψ) τ) fr all test fuctis τ D(Q ' ).Here T ψ stads fr the cmpsiti i the sese f the distributi thery [41]. 8. A special algebra is called a full algebra f geeralized fuctis (f Clmbeau type) if the embeddig E Q is caical i the sese that E Q ca be uiquely determied by prperties expressible ly i terms which are already ivlved i the defiiti f the family G =: {G(Q)} Q T d. 9. A family G ={G(Q)} Q T d f algebras f geeralized fuctis (special r full) is called diffemrphism-ivariat if E Q preserves the cmpsiti with diffemrphisms i the sese that E Q (T ) ψ = E Q ' (T ψ) fr all Q, Q ' T d,all T D ' (Q) ad all ψ Diff(Q ',Q). We shuld meti that embeddigs E Q (caical r t) f the type described abve are, i a sese, ptimal i view f the restricti impsed by the Schwartz impssibility results [35]. Fr a discussi the tpic we refer t [10, p.8]. Every family f algebras G(Q) (special r full) f the type described abve ffers a sluti t the prblem f the multiplicati f Schwartz distributis because the Schwartz distributis ca be multiplied withi a assciative ad cmmutative differetial algebra. Full algebras f geeralized fuctis were cstructed first by Clmbeau [6]. Several years later, i a attempt t simplify Clmbeau s rigial cstructi Clmbeau
4 ad Le Rux [8] (ad ther authrs [2]) defied the s called simple algebras f geeralized fuctis. Later Oberguggeberger [26, Chap.III, Sect. 9] prved that the simple algebras are, actually, special algebras i the sese explaied abve. Diffemrphism ivariat full algebras were develped i Grsser et al. [13] ad als Grsser et al. [14]. The sets f geeralized scalars f all these algebras are rigs with zer divisrs [6, pp. 136]. The algebras f ρ-asympttic fuctis ρ E(Q) [28], metied earlier, are special algebras f Clmbeau type with set f geeralized scalars which is a algebraically clsed field. The cuterpart f the embeddig E Q i [28] is deted by I D,Q. It is certaily t caical because the existece f I D,Q is prved i [28] by the saturati priciple (i a -stadard aalysis framewrk) ad the fixed by had (see Remark 7.9). Amg ther thigs the purpse f this article is t cstruct a caical embeddig E Q i ρ E(Q). We achieve this by meas f the chice f a particular ultra-pwer -stadard mdel (Sect. 6) ad a particular chice f the psitive ifiitesimal ρ withi this mdel (Defiiti 6.1, #12). Clmbeau thery has umerus applicatis t rdiary ad partial differetial equatis, the thery f elasticity, fluid mechaics, thery f shck waves [6 10,26], t differetial gemetry ad relativity thery [14] ad, mre recetly, t quatum field thery [11]. Despite the remarkable achievemet ad prmisig applicatis the thery f Clmbeau has sme features which ca be certaily imprved. Here are sme f them: (a) The rig f geeralized scalars C ad the algebras f geeralized fuctis G(Q) i Clmbeau thery are cstructed as factr rigs withi the ultrapwers C I ad E(Q) I, respectively, fr a particular idex set I. The rigs f ets such as C I ad E(Q) I hwever (as well their subrigs) lack geeral theretical priciples similar t the axims f R ad C, fr example. Neither C I, r E(Q) I are edwed with priciples such as the trasfer priciple r iteral defiiti priciple i -stadard aalysis. Fr that reas Clmbeau thery has t bee able s far t get rid f the idex set I eve after the factrizati which trasfrms C I ad E(Q) I it C ad G(Q), respectively. As a result Clmbeau thery remais verly cstructive: there are t may techical parameters (with rigi i the idex set I ) ad t may quatifiers i the defiitis ad therems. (b) I a recet article Oberguggeberger ad Veraeve [29] defied the ccept f iteral sets f C ad G(Q) ad shwed that theretical priciples similar t rder cmpleteess, uderflw ad verflw priciples ad saturati priciple fr iteral sets f C ad G(Q) hld i Clmbeau thery as well althugh i mre restrictive sese cmpared with -stadard aalysis. Hwever the sets f geeralized scalars fr R ad C are still rigs with zer divisrs ad R is ly a partially rdered (t ttally rdered) rig. These facts lead t techical cmplicatis. Fr example Hah Baach extesi priciples d t hld i Clmbeau thery [40]. I this article: (i) We cstruct a family f algebras f geeralized fuctis E Q (Q) D 0 called asympttic fuctis (Sect. 4). We shw that E Q (Q) D 0 are full algebras f
5 Clmbeau type (Sect. 5) i the sese explaied abve. Thus we ffer a sluti t the prblem f the multiplicati f Schwartz distributis similar t but differet frm Clmbeau s sluti [6]. Sice the full algebras are cmmly csidered t be mre aturally cected t the thery f Schwartz distributis tha the special algebras, we lk up E Q (Q) D 0 as a imprved alterative t the algebra f ρ-asympttic fuctis ρ E(Q) defied i [28]. (ii) We believe that ur thery is a mdified ad imprved alterative t the rigial Clmbeau thery fr the fllwig reass: (a) The set f scalars - C D 0 f the algebra E Q (Q) D 0, called here asympttic umbers, is a algebraically clsed field (Therem 4.2). Recall fr cmparis that its cuterpart i Clmbeau thery C is a rig with zer divisrs [6, pp. 136]. (b) As a csequece we shw that a Hah Baach extesi priciple hlds fr liear fuctials with values i - C D 0 (Sect. 8). This result des t have a cuterpart i Clmbeau thery [40]. (c) At this stage the cstructi f E Q (Q) D 0 is already simpler tha its cuterpart i Clmbeau [6]; ur thery has e (regularizati) parameter less. (iii) Our ext gal is t simplify ur thery eve mre by establishig a cecti with -stadard aalysis (Sect. 7). Fr this purpse we cstruct a particular ultrapwer -stadard mdel called i this article the distributial stadard mdel (Sect. 6). The we replace the rigs f ets C I ad E(Q) I i Clmbeau thery by the -stadard C ad E(Q), respectively ad the regularizati parameter ε i Clmbeau thery by a particular (caical) ifiitesimal ρ i R. We shw that the field f asympttic umbers - C D 0 (defied i Sect. 4) is ismrphic t a particular Rbis field ρ C [33]. We als prve that the algebra f asympttic fuctis E Q (Q) D 0 (defied i Sect. 4) is ismrphic t a particular algebra f ρ-asympttic fuctis ρ E(Q) itrduced i [28] i the framewrk f -stadard aalysis. (iv) Amg ther thigs this article prvides a bridge betwee Clmbeau thery f geeralized fuctis ad -stadard aalysis ad we hpe that it will be beeficial fr bth. After all Rbis s -stadard aalysis [32] is histrically at least several decades lder tha Clmbeau thery. A lt f wrk had bee already de i the -stadard settig tpics similar t thse which appear i Clmbeau thery. By establishig a cecti with -stadard aalysis we aswer, althugh idirectly, a questi raised by Clmbeau himself i e f his research prjects [10, pp. 5]. Sice the article establishes a cecti betwee tw differet fields f mathematics, it is writte mstly with tw types f readers i mid.the readers with backgrud i -stadard aalysis might fid i Sects. 2 5 ad 8 (alg with the aximatic summary f Clmbeau thery preseted abve) a shrt itrducti t the -liear thery f geeralized fuctis. Ntice hwever that i these sectis we d t preset the rigial Clmbeau thery but rather a mdified (ad imprved) versi f this thery. The reader withut backgrud i -stadard aalysis will fid i
6 Sect. 6 a shrt itrducti t the subject. The readig f Sects. 2 5 des t require backgrud i -stadard aalysis. 2 Ultrafilter test fuctis I this secti we defie a particular ultrafilter the class f test fuctis D(R d ) clsely related t Clmbeau thery f geeralized fuctis [6]. We shall fte use the shrter tati D 0 istead f D(R d ). I what fllws we dete by R ϕ the radius f supprt f ϕ D(R d ) defied by sup{ x : x R d,ϕ(x) = 0}, ϕ = 0, R ϕ = (1) 1, ϕ = 0. Defiiti 2.1 (Directig sets). We defie the directig sequece f sets D 0, D 1, D 2... by lettig D 0 = D(R d ) ad D = ϕ D(R d ) : ϕ is real-valued, ( x R d )(ϕ( x) = ϕ(x)), R ϕ 1/, ϕ(x) dx = 1, R d α ( α N d 0 ) 1 α x ϕ(x) dx = 0, R d 1 ϕ(x) dx 1 +, R d ( α N d 0 ) α sup α ϕ(x) (R ϕ ) 2( α +d), = 1, 2,... x R d Therem 2.2 (Base fr a filter). The directig sequece (D ) is a base fr a free filter D 0 i the sese that (i) D(R d ) = D 0 D 1 D 2 D 3. (ii) D = fr all N. (iii) 0 D =. = Prf (i) Clear. (ii) Let ϕ 0 D(R) be the test fucti 1 1 c exp( 1 x 2 ), 1 x 1, ϕ 0 (x) = 0, therwise,
7 1 where c = 1 exp( 1 ) dx.welet C 1 x 2 k =: sup x R dk dx k ϕ 0 (x) fr each k N 0 ad als C α = C α1 C αd fr each multi-idex α N d 0. Fr each, m N we let B,m,d = ϕ D(R d ) : ϕ is real-valued, ϕ( x) = ϕ(x) fr all x R d, R ϕ = d, R d R d R d ϕ(x) dx = 1, α x ϕ(x) dx = 0 fr all α N d with 1 α, 3d ϕ(x) dx exp, m 1 α +d sup α ϕ(x) C α (2 d m ) fr all α N d. x R d Step 1. We shw that, if m > 2, the B,m,d =. Let first d = 1. The ϕ 0 B 0,m,1. By iducti,let ϕ 1 B 1,m,1. Defie ϕ (x) = aϕ 1 (x) + bϕ 1 (mx),fr sme cstats a, b R t be determied. The b b ϕ (x) dx = a + ad x ϕ (x) dx = a + x ϕ 1 (x) dx. m m +1 R R R b m m +1 T esure that ϕ B,m,1, we chse a + b = 1 ad a + 0 = 0. Slvig fr a, b, we fid that a = m 1 1 < 0 ad b = m m+1 1 > 0. Sice a = 0, als R ϕ = 1. Further, sice 1+x 1 x 1 + 3x exp(3x) if 0 x 1 3,wehave R s iductively, b ϕ (x) dx a + ϕ 1 (x) dx m R m = ϕ 1 (x) dx exp ϕ 1 (x) dx, m 1 m R R D ϕ (x) dx exp ϕ 0 (x) dx exp = exp. m j m j m 1 R j=1 R j=1
8 k m +k+1 +1 m 1 Further, a + b m = 2m k+1 fr k 0, m > 2 ad 1. Thus we have d k sup ϕ (x) ( a + b m ) sup ϕ 1 (x) dx k dx k x R k d k x R k+1 1 k+1 ) 2m k+1 C k (2m = C k (2m ). Hece ϕ B,m,1.Nw let d N ad ϕ B,m,1 arbitrary. We have ψ(x) =: ϕ(x 1 ) ϕ(x d ) B,m,d. Step 2. Fix d N.Let 1, let M = max{1, max α C α },let ψ B,9d,d,let 1 1 ε = ad let ϕ(x) = ε d ψ(x/ε). We shw that ϕ D.If x 1/ dm(18d) d ε 1 d, the ϕ(x) = 0. Further, sice exp(x) if 0 x < 1, we have R d R d ϕ(x) dx = ψ(x) dx exp 3d 3d d 1 9d 1 3d Fially, tice that R ϕ = εr ψ = ε d. Thus fr α we have α d sup α ϕ(x) ε sup α ψ(x) ε α d C α (2 d (9d) α +d ) ε α d C α (18d) d( α +d) α d = ε α d C α (εdm) x R d x R d 2( α +d) C α M 1 (R ϕ ). Hece ϕ D as required. (iii) Suppse ( the ctrary) that there exists ϕ =1 D. That meas (amg ther thigs) that R d ϕ(x)x α dx = 0 fr all α = 0. Thus we have α ; ϕ(0) = 0 fr all α = 0, where ; ϕ detes the Furier trasfrm f ϕ. It fllws that ; ϕ = C fr sme cstat C C sice ;ϕ is a etire fucti C d by the Paley Wieer Therem [3, Therem 8.28, pp. 97]. Hece by Furier iversi, ϕ = (2π) d Cδ D(R d ), where δ stads fr the Dirac delta fucti. The latter implies C = 0, thus ϕ = 0, ctradictig the prperty R d ϕ(x)dx = 1 i the defiiti f D. 1 x I what fllws c =: card(r) ad c + stads fr the successr f c. Therem 2.3 (Existece f ultrafilter). There exists a c + -gd ultrafilter (maximal filter) U D 0 =: D(R d ) such that D U fr all N 0 (Defiiti 2.1). Prf We bserve that card(d 0 ) = c. The existece f a (free) ultrafilter ctaiig all D fllws easily by Zr s lemma sice the set F ={A P(D 0 ) : D A fr sme N 0 } is clearly a free filter D 0.Here P(D 0 ) stads fr the pwer set f D 0. Fr the existece f a c + -gd ultrafilter ctaiig F we refer the reader t [5] (fr a presetati we als meti the Appedix i Lidstrøm [21]). Let U be a c + -gd ultrafilter D 0 =: D(R d ) ctaiig all D. We shall keep U fixed t the ed f this article.
9 Fr thse readers wh are ufamiliar with the used termilgy we preset a list f the mst imprtat prperties f U. The prperties (1) (3) belw express the fact that U is a filter, the prperty (1) (4) express the fact that U is a free filter, the prperty (1) (5) meas that U is a free ultrafilter (maximal filter) ad (6) expresses the prperty f U t be c + -gd. Lemma 2.4 (List f Prperties f U). The ultrafilter U is a set f subsets f D 0 = D(R d ) such that D U fr all N 0 ad such that: 1. If A U ad B D 0, the A B implies B U. 2. U is clsed uder fiite itersectis. 3. / U. Csequetly, U has the fiite itersecti prperty. 4. U is a free filter i the sese that A U A =. 5. Let A k P(D 0 ), k = 1, 2,...,, fr sme N. The k= 1 A k U implies A k U fr at least e k. Mrever, if the sets A k are mutually disjit, the k=1 A k U implies A k U fr exactly e k. I particular, fr every set A P(D 0 ) exactly e f A U r D 0 \ A U is true. 6. U is c + -gd i the sese that fr every set f D 0, with card(f) c, ad every reversal R : P ω (f) U there exists a strict reversal S : P ω (f) U such that S(X) R(X) fr all X P ω (f).here P ω (f) detes the set f all fiite subsets f f. Recall that a fucti R : P ω (f) U is called a reversal if X Y implies R(X) R(Y ) fr every X, Y P ω (f).a strict reversal is a fucti S : P ω (f) U such that S(X Y ) = S(X) S(Y ) fr every X, Y P ω (f). It is clear that every strict reversal is a reversal (which justifies the termilgy). Defiiti 2.5 (Almst everywhere). Let P(x) be a predicate i e variable defied D 0 (expressig sme prperty f the test fuctis). We say that P(ϕ) hlds almst everywhere i D 0 r, simply, P(ϕ) a.e. (where a.e. stads fr almst everywhere ), if {ϕ D 0 : P(ϕ)} U. Example 2.6 (Radius f supprt). Let R ϕ be the supprt f ϕ (cf. (1)) ad let N. The (R ϕ R + & R ϕ < 1/) a.e. because D {ϕ D 0 : R ϕ R + & R ϕ < 1/} implies {ϕ D 0 : R ϕ R + & R ϕ < 1/} U by #1 f Lemma 2.4. The justificati f the termilgy almst everywhere is based the bservati that the mappig M U : P(D 0 ) {0, 1}, defied by M U (A) = 1if A U ad M U (A) = 0if A / U is fiitely additive prbability measure D 0. 3 D 0 -Nets ad Schwartz distributis Defiiti 3.1 (Idex set ad ets). Let D 0, D 1, D 2,... be the directig sequece defied i (Defiiti 2.1), where D 0 = D(R d ).Let S be a set. The fuctis f the frm A : D 0 S are called D 0 -ets i S r, simply ets i S fr shrt [17,p.65].We dete by S D 0 the set f all D 0 -ets i S. The space f test fuctis D 0 is the idex set f the ets. If A S D 0 is a et i S, we shall fte write A ϕ ad (A ϕ ) istead f A(ϕ) ad A, respectively.
10 I this secti we preset several techical lemmas abut D 0 -ets which are clsely related t the thery f Schwartz distributis ad the directig sequece (D ) (Sect. 2). Our termilgy ad tati i distributi thery is clse t thse i Vladimirv [41]. We start with several examples f D 0 -ets. Example 3.2 (Nets ad distributis). 1. We dete by C D 0 the set f all ets f the frm A : D 0 C. We shall fte write (A ϕ ) istead f A fr the ets i C D 0. It is clear that C D 0 is a rig with zer divisrs uder the usual pitwise peratis. Ntice that the ets i C D 0 ca be viewed as cmplex valued fuctials (t ecessarily liear) the space f test fuctis D(R d ). 2. Let Q be a pe subset f R d ad E(Q) =: C (Q). We dete by E(Q) D 0 the set f all ets f the frm f : D 0 E(Q). We shall fte write ( f ϕ ) r ( f ϕ (x)) istead f f fr the ets i E(Q) D Let S be a set ad P(S) stad fr the pwer set f S. We dete by P(S) D 0 the set f all ets f the frm A : D 0 P(S). We shall fte write (A ϕ ) istead f A fr the ets i P(S) D Let T d dete the usual tplgy R d. Fr every pe set Q T d we let Q ϕ = x Q d(x, Q) > R ϕ, Q ϕ = x Q d(x, Q) > 2R ϕ & x < 1/R ϕ, where d(x, Q) stads fr the Euclidea distace betwee x ad the budary Q f Q ad R ϕ is defied by (1). Let χ Q,ϕ : R d R be the characteristic fucti f the set Q ϕ.the cut-ff et (C Q,ϕ ) E(R d ) D 0 assciated with Q is defied by the frmula C Q,ϕ =: χ Q,ϕ *ϕ, where * stads fr the usual cvluti, that is, C Q,ϕ (x) = ϕ(x t) dt, Q ϕ fr all x R d ad all ϕ D 0. Ntice that supp(c Q,ϕ ) Q ϕ [41, Chap. I, Sects. 4, 6.T]. 5. Let T D ' (Q) be a Schwartz distributi Q. The ϕ-regularizati f T is the et (T ϕ ) E(Q) D 0 defied by the frmula T ϕ =: T ϕ, where T ϕ is a shrt tati fr (C Q,ϕ T )*ϕ ad * stads (as befre) fr the usual cvluti. I ther wrds, we have T ϕ (x) = T (t) C Q,ϕ (t)ϕ(x t), fr all x Q ad all ϕ D 0.Here ( ) stads fr the pairig betwee D ' (Q) ad D(Q) [41]. 6. We dete by L Q : L lc (Q) D ' (Q) the Schwartz embeddig f L lc (Q) it D ' (Q) defied by L Q ( f ) = T f.here T f D ' (Q) stads fr the (regular) distributi with kerel f, that is, (T f τ) = f (x)τ(x) dx fr all τ D ' (Q) [41]. Q
11 Als, L lc (Q) detes the space f the lcally itegrable (Lebesgue) fuctis frm Q t C. Recall that L Q preserves the additi ad multiplicati by cmplex umbers. The restricti f L Q E(Q) preserves als the partial differetiati (but t the multiplicati). We shall write f ϕ ad f *ϕ istead f T f ϕ ad T f *ϕ, respectively. Thus fr every f L lc (Q),every ϕ D 0 ad every x Q we have ( f ϕ)(x) = f (t)c Q,ϕ (t)ϕ(x t) dt. (2) x t <R ϕ I what fllws we shall fte write K < Q t idicate that K is a cmpact subset f Q. Lemma 3.3 (Lcalizati). Let Q be (as befre) a pe set f R d ad T D ' (Q) be a Schwartz distributi. The fr every cmpact set K Q there exists N 0 such that fr every x K ad every ϕ D we have: (a) C Q,ϕ (x) = 1. (b) (T ϕ)(x) = (T *ϕ)(x). (c) Csequetly, ( K < Q)( α N d 0 )( N 0)( x K )( ϕ D ) we have α (T ϕ)(x) = ( α T ϕ)(x) = (T α ϕ)(x). Prf (a) Let d(k, Q) dete the Euclidea distace betwee K ad Q. It suffices t chse N such that 3/ < d(k, Q) ad > sup x K x + 1. It fllws that 3R ϕ < d(k, Q) fr all ϕ D because R ϕ 1/ hlds by the defiiti f D. Nw (a) fllws frm the prperty f the cvluti [41, Chap. I, Sects. 4, 6.T]. (b) If K < Q, the there exists m N such that L =: {t Q : d(t, K ) 1/m} < Q. Hece, by part (a), there exists N (with m) such that C Q,ϕ (x)ϕ(x t) = ϕ(x t) fr all x K,all t Q ad all ϕ D. (c) fllws directly frm (b) bearig i mid that we have α (T *ϕ)(x) = ( α T * ϕ)(x) = (T * α ϕ)(x). Lemma 3.4 (Schwartz distributis). Let Q be a pe set f R d ad T D ' (Q) be a Schwartz distributi. The fr every cmpact set K Q ad every multi-idex α N d 0 there exist m, N 0 such that fr every ϕ D we have sup x K α (T ϕ)(x) (R ϕ ) m. Prf Let K ad α be chse arbitrarily. By Lemma 3.3, there exists q N such that α (T ϕ)(x) = ( α T *ϕ)(x) fr all x K ad all ϕ D q.let O be a pe relatively cmpact subset f Q ctaiig K ad let k N be greater tha 1/d(K, O). We bserve that ϕ x D(O) fr all x K ad all ϕ D k, where ϕ x (t) =: ϕ(x t t). O the ther had, there exist M R + ad b N 0 such that ( α T τ) M β b sup t O β τ(t) fr all τ D(O) by the ctiuity f α T. t Thus ( α T *ϕ)(x) = ( α T ϕ x (t)) M β b sup t R d β ϕ(t) fr all x K ad all ϕ D k. With this i mid we chse m = 2(b+d)+1 ad max{q, k, C, b},
12 t where C = M β b 1. Nw, fr every x K ad every ϕ D we have 2( β +d) m α 2(b+d) (T ϕ)(x) M (R ϕ ) C(R ϕ ) (R ϕ ), β b as required, where the last iequality hlds because R ϕ 1/ by the defiiti f D (Defiiti 2.1) ad 1/ 1/C by the chice f. Lemma 3.5 (C -Fuctis). Let Q be a pe set f R d ad f E(Q) be a C fucti. The fr every cmpact set K Q, every multi-idex α N d 0 ad every p N there exists N 0 such that fr every ϕ D we have sup α ( f ϕ)(x) α f (x) (R ϕ ) p. x K Prf Suppse that p N, K < Q ad α N d 0. By Lemma 3.3, there exists q N 0 such that α ( f ϕ)(x) = ( α f *ϕ)(x) fr all x K ad all ϕ D q. As befre, let O be a pe relatively cmpact subset s f Q ctaiig K ad let 2C k N be greater tha 1/d(K, O). Let max p, q, k, (p+1)!, where C =: t β = p+1 sup ξ O ( α+β f )(ξ). Let x K ad ϕ D. By ivlvig the defiiti f the sets D, we calculate: α ( f ϕ)(x) α f (x) = (Lemma 3.3 ad q) = ( α f *ϕ)(x) α f (x) = (sice 1) = α f (x y) α f (x) ϕ(y) dy = y R ϕ Taylr expasi fr sme t [0, 1] p ( 1) β α+β f (x) β ( 1) p+1 = y ϕ(y) dy + β! (p + 1)! β =1 y R ϕ _ =0 sice p β y ϕ(y) α+β f (x yt) dy β =p+1 y Rϕ
13 Rϕ p+1 Rϕ p+1 Rϕ p+1 = C ϕ(y) dy C (1 + 1/) < 2C R ( p + 1)! (p + 1)! (p + 1)! ϕ y R ϕ p, as required, where the last iequality fllws frm R ϕ 1/ (p + 1)!/2C. Lemma 3.6 (Pairig). Let Q be a pe set f R d,t D ' (Q) be a Schwartz distributi ad τ D(Q) be a test fucti. The fr every p N there exists N 0 such that fr every ϕ D we have (T ϕ τ) (T τ) (R ϕ ) p. (3) Prf Let p N ad let O be a pe relatively cmpact subset f Q ctait ig supp(τ). There exist M R + ad a N 0 such that (T ψ) M α a sup x O α ψ(x) fr all ψ D(O) by the ctiuity f T. Als, there exists q N 0 such that α (τ ϕ)(x) α τ(x) (R ϕ ) p+1 fr all x O, all α a ad all ϕ D q by Lemma 3.5. We bserve as well that there exists m N 0 such t that τ ϕ τ D(O) wheever ϕ D m.let ϕ D, where max{1, q, m, M α a 1}. Sice ϕ( x) t = ϕ(x) fr all x R d,wehave t (T ϕ τ) (T τ) = (T τ ϕ τ) M α a (R ϕ) p+1 = (R ϕ ) p (R ϕ )M( α a 1) (R ϕ) p as required. 4 Asympttic umbers ad asympttic fuctis We defie a field -C D 0 f asympttic umbers ad the differetial algebra f asympttic fuctis E Q (Q) D 0 ver the field -C D 0. N backgrud i -stadard aalysis is required f the reader: ur framewrk is still the usual stadard aalysis. Bth - C D 0 ad E Q (Q) D 0, hwever, d have alterative -stadard represetatis, but we shall pstpe the discussi f the cecti with -stadard aalysis t Sect. 7. The readers wh are ufamiliar with the -liear thery f geeralized fuctis [6 10] might treat this ad the ext sectis as a itrducti t a (mdified ad imprved versi) f Clmbeau thery. The readers wh are familiar with Clmbeau thery will bserve the strg similarity betwee the cstructi f - C D 0 ad the defiiti f the rig C f Clmbeau geeralized umbers [6, pp. 136]. The defiiti f E Q (Q) D 0 als resembles the defiiti f the special algebra G(Q) f Clmbeau geeralized fuctis [7]. We believe, hwever, that ur asympttic umbers ad asympttic fuctis ffer a imprtat imprvemet f Clmbeau thery because - C D 0 is a algebraically clsed field (Therem 4.2) i ctrast t C, which is a rig with zer divisrs. Defiiti 4.1 (Asympttic umbers). Let R ϕ be the radius f supprt f ϕ (cf.(1)).
14 1. We defie the sets f the mderate ad egligible ets i C D 0 by s m M(C D 0 ) = (A ϕ ) C D 0 : ( m N) A ϕ (R ϕ ) a.e., (4) s N (C D 0 ) = (A ϕ ) C D 0 : ( p N) A ϕ <(R ϕ ) p a.e., (5) respectively, where a.e stads fr almst everywhere (Defiiti 2.5). We defie the factr rig - C D 0 =: M(C D 0 )/N (C D 0 ) ad we dete by A -C D ϕ 0 the equivalece class f the et (A ϕ ) M(C D 0 ). 2. If S C D 0,welet S; =: A ϕ : (A ϕ ) S M(C D 0 ). We call the elemets f - C D 0 cmplex asympttic umbers ad the elemets f - R D 0 real asympttic umbers. We defie a rder relati -R D 0 as fllws: Let A - ϕ R D 0 ad AA ϕ = 0. The AA ϕ > 0if A ϕ > 0 a.e., that is {ϕ D 0 : A ϕ > 0} U. 3. We defie the embeddigs C -C D 0 ad R -R D 0 by the cstat ets, that is, by A A;. Therem 4.2 (Algebraic prperties). - C D 0 is a algebraically clsed field, - R D 0 is a real clsed field ad we have the usual cecti - C D 0 = -R D 0 (i). Prf It is clear that - C D 0 is a rig ad - C D 0 = -R D 0 (i). T shw that - C D 0 is a field, suppse that (A ϕ ) M(C D 0 ) \ N (C D 0 ). Thus there exist m, p N such that < =: {ϕ D 0 : (R ϕ ) p A ϕ (R ϕ ) m } U. We defie the et (B ϕ ) C D 0 by B ϕ = 1/A ϕ if ϕ < ad B ϕ = 1if ϕ D 0 \ <. It is clear that A ϕ B ϕ = 1 a.e. thus A A = 1 as required. T shw that - C D ϕ B ϕ 0 is a algebraically clsed field, let P(x) = x p + a 1 x p 1 + +a 0 be a plymial with cefficiets i - C D 0 ad degree p 1. Sice -C D 0 is a field, we have assumed withut lss f geerality that the leadig cefficiet is 1. We have a k = -A ϕ,k, fr sme mderate ets (A ϕ,k ). Dete P ϕ (x) =: x p + A ϕ,p 1 x p A ϕ,0 ad bserve that fr every ϕ D 0 there exists a cmplex umber X ϕ C such that P ϕ (X ϕ ) = 0 sice C is a algebraically clsed field. Thus there exists a et (X ϕ ) C D 0 such that P(X ϕ ) = 0 fr all ϕ D 0. Als the estimati X ϕ 1 + A ϕ,p A ϕ,0 implies that the et (X ϕ ) is a mderate et. The asympttic umber AX - ϕ C D 0 is the zer f the plymial p p 1 p P we are lkig fr because P(XA ϕ ) = XA ϕ + a p 1 XA ϕ + +a 0 = XA ϕ + Q A p 1 A = R D ϕ,p 1 X ϕ A ϕ,0 = PQ ϕ (X ϕ ) = ; 0 as required. The fact that - 0 is a real clsed field fllws directly frm the fact that -C D 0 is a algebraically clsed field ad the cecti - C D 0 = -R D 0 + i - R D 0 [39, Chap. 11]. Crllary 4.3 (Ttal rder). -R D 0 is a ttally rdered field ad we have the fllwig characterizati f the rder relati: if a -R D 0 the a 0iff a = b 2 fr sme b - R D C D 0-0. Csequetly, the mappig : - R D 0, defied by the frmula a + ib = a 2 + b 2,isa abslute value -C D 0 [31, pp. 3 6].
15 Prf The algebraic peratis i ay real clsed field uiquely determie a ttal rder [39, Chap.11]. Thus the characterizati f the rder relati i - R D 0 fllws directly frm the fact that - R D 0 is a real clsed field. The existece f the rt x fr ay -egative x i - R D 0 als fllws frm the fact that - R D 0 is a real clsed field. Defiiti 4.4 (Ifiitesimals, fiite ad ifiitely large). A asympttic umber z - C D 0 is called ifiitesimal, i symbl z 0, if z < 1/ fr all N. Similarly, z is called fiite if z < fr sme N. Ad z is ifiitely large if < z fr all N. We dete by I(C - D 0 ), F(C - D 0 ) ad L(C - D 0 ) the sets f the ifiitesimal, fiite ad ifiitely large umbers i - C D 0, respectively. We defie the ifiitesimal - relati C D 0 by z z 1 if z z 1 is ifiitesimal. We defie the stadard part - mappig ;st : F(C D 0 ) C by the frmula ;st(z) z. The ext result shws that bth - R D 0 ad - C D 0 are -archimedea fields i the sese that they ctai -zer ifiitesimals. Lemma 4.5 (Caical Ifiitesimal i - R D 0). Let R ϕ be the radius f supprt f ϕ (cf.(1)). The the asympttic umber ρ; =: A R R D ϕ is a psitive ifiitesimal i - 0. We call ρ;the caical ifiitesimal i -R D 0 (the chice f the tati ρ;will be justified i Sect. 7). Prf We have 0 ρ< ; 1/ fr all N because R ϕ R + & R ϕ < 1/ a.e. (cf. Example 2.6). Als, ρ; = 0 because (R ϕ )/ N (C D 0 ). Defiiti 4.6 (Tplgy, Valuati, Ultra-rm, Ultra-metric). We supply -C D 0 with the rder tplgy, that is, the prduct tplgy iherited frm the rder tplgy -R D 0. We defie a valuati v : - C D 0 R { } -C D 0 by v(z) = sup{q Q z/ρ; q 0} if z = 0 ad v(0) =. We defie the ultra-rm - v : C D 0 R by the frmula z v = e v(z) (uder the cveti that e = 0). The frmula d(a, b) = a b - v defies a ultra-metric C D 0. Therem 4.7 (Ultra-prperties). Let a, b, c - C D 0. The (i) (a) v(a) = iff a = 0; (b) v(ab) = v(a) + v(b). (c) v(a + b) mi{v(a), v(b)}; (d) a < b implies v(a) v(b). (ii) (a) 0 v = 0, ±1 v = 1, ad a v > 0 wheever a = 0; (b) ab v = a v b v ; (c) a + b v max{ a v, b v } (ultra-rm iequality); (d) a < b implies a v b v. (iii) d(a, b) max{d(a, c), d(c, b)} (ultra-metric iequality). Csequetly, (C - D 0, d) ad (R - D 0, d) are ultra-metric spaces. Prf The prperties (i) (iii) fllw easily frm the defiiti f v ad we leave the verificati t the reader.
16 Remark 4.8 (Clmbeau thery). The cuterpart v f v i Clmbeau thery is ly a pseud-valuati, t a valuati, i the sese that v satisfies the prperty v( ab) v(a) + v(b), t v(ab) = v(a) + v(b). Csequetly, the cuterpart v f v i Clmbeau thery is pseud-ultra-metric, t a ultra-metric, i the sese that it satisfies the prperty ab v a v b v, t ab v = a v b v. Fr the ccept f classical valuati we refer the reader t Ribebim [31]. Defiiti 4.9 (Asympttic fuctis). Let Q be a pe set f R d ad R ϕ be the radius f supprt f ϕ (cf. (1)). 1. We defie the sets f the mderate ets M(E(Q) D 0 ) ad egligible ets N (E(Q) D 0 ) f E(Q) D 0 by: ( f ϕ ) M(E(Q) D 0 ) if (by defiiti) ( K < Q)( α N d )( m N 0 )(sup α f ϕ (x) (R ϕ ) x K ad, similarly, ( f ϕ ) N (E(Q) D 0 ) if (by defiiti) m a.e.), ( K < Q)( α N d )( p N)(sup α f ϕ (x) (R ϕ ) p a.e.), x K respectively. Here α f ϕ (x) stads fr the α-partial derivative f f ϕ (x) with respect t x ad a.e stads (as befre) fr almst everywhere (Defiiti 2.5). We defie the factr rig E Q (Q) D 0 =: M(E(Q) D 0 )/N E(Q) D 0 ad we dete by ;f ϕ E Q (Q) D 0 the equivalece class f the et ( f ϕ ) M(E(Q) D 0 ). We call the elemets f E Q (Q) D 0 asympttic fuctis Q. Mre geerally, if S E(Q) D 0, we let S;=: ;f ϕ : ( f ϕ ) S M(E(Q) D 0 ). 2. We supply E Q (Q) D 0 with the rig peratis ad partial differetiati f ay rder iherited frm E(Q). Als, fr every asympttic umber A -C D ϕ 0 ad every asympttic fucti ;f ϕ E Q (Q) D 0 we defie the prduct A ;f ϕ E Q (Q) D ϕ 0 by A ϕ ;f ϕ = Qf A ϕ ϕ. 3. We defie the pairig betwee E Q (Q) D 0 ad D(Q) by the frmula ( ;f ϕ τ) = (Qf ϕ τ), where ( f ϕ τ) =: Q f ϕ (x)τ(x) dx. 4. We say that a asympttic fucti ;f ϕ E Q (Q) D 0 is weakly equal t zer i E Q (Q) D 0, i symbl ;f ϕ = 0, if ( ;f ϕ τ) = 0 fr all τ D(Q). We say that ;f ϕ, g; ϕ E Q (Q) D 0 are weakly equal, i symbl ;f ϕ = g; ϕ,if(;f ϕ τ) = (g; ϕ τ) i - C D 0 fr all τ D(Q). 5. We say that a asympttic fucti ;f ϕ E Q (Q) D 0 is weakly ifiitesimal (r, assciated t zer), i symbl ;f ϕ 0, if ( ;f ϕ τ) 0 fr all τ D(Q), where the latter is the ifiitesimal relati -C D 0 (Defiiti 4.4). We say that ;f ϕ, g; ϕ E Q (Q) D 0 are weakly ifiitely clse (r, assciated), i symbl ;f ϕ g; ϕ, if ( ;f ϕ τ) (g; ϕ τ) fr all τ D(Q), where i the latter frmula stads fr the ifiitesimal relati i - C D 0.
17 6. Let ;f ϕ E Q (Q) D 0 ad let O be a pe subset f Q. We defie the restricti ;f ϕ I O E Q (O) D 0 f ;f ϕ t O by ;f ϕ I O = fq ϕ I O, where f ϕ I O is the usual restricti f f ϕ t O.The supprt supp( ;f ϕ ) f ;f ϕ is the cmplemet t Q f the largest pe subset G f Q such that ;f ϕ I G = 0i E Q (G) D Let Q, Q ' T d ad ψ Diff(Q ',Q) be a diffemrphism. Fr every ;f ϕ E Q (Q) D 0 we defie the cmpsiti (r, chage f variables) ;f ϕ ψ E Q (Q ' ) D 0 by the frmula ;f ϕ ψ = fq ϕ ψ, where f ϕ ψ stads fr the usual cmpsiti betwee f ϕ ad ψ. It is clear that M(E(Q) D 0 ) is a differetial rig ad N (E(Q) D 0 ) is a differetial ideal i M(E(Q) D 0 ). Thus E Q (Q) D 0 is a differetial rig. We leave t the reader t verify that the prduct A ; f ϕ is crrectly defied. Thus we have the fllwig result: A ϕ Therem 4.10 (Differetial algebra). E Q (Q) D 0 is a differetial algebra ver the field - C D 0. 5 A sluti t the prblem f multiplicati f Schwartz distributis I this secti we cstruct a caical embeddig E Q f the space D ' (Q) f Schwartz distributis it the algebra f asympttic fuctis E Q (Q) D 0. Thus E Q (Q) D 0 becmes a full algebra f geeralized fuctis f Clmbeau type (see 1). The algebra f asympttic fuctis E Q (Q) D 0 supplied with the embeddig E Q ffers a sluti t the prblem f the multiplicati f Schwartz distributis similar t but differet frm Clmbeau s sluti [6]. Defiiti 5.1 (Embeddigs). Let Q be a pe set f R d. 1. The stadard embeddig σ Q : E(Q) E Q (Q) D 0 is defied by the cstat ets, that is, by the frmula σ Q ( f ) = ;f. 2. The distributial embeddig E Q : D ' (Q) E Q (Q) D 0 is defied by the frmula E Q (T ) = T Q ϕ, where T ϕ is the ϕ-regularizati f T D ' (Q) (# 5 i Examples 3.2). 3. The classical fucti embeddig E Q L Q : L lc (Q) E Q (Q) D 0 is defied by the frmula (E Q L Q )( f ) = Qf ϕ, where f ϕ is the ϕ-regularizati f f L lc (Q) (# 6 i Examples 3.2). Lemma 5.2 (Crrectess). The cstat ets are mderate i the sese that f E(Q) implies ( f ) M(E(Q) D 0 ) (Sect. 4). Similarly the ϕ-regularizati f a Schwartz distributi (# 5 i Examples 3.2) is als a mderate et, that is, T D ' (Q) implies (T ϕ) M(E(Q) D 0 ). Prf It is clear that the cstat ets are mderate. T shw the mderateess f (T ϕ), suppse that K < Q ad α N 0. By Lemma 3.4 there exist m, N 0 such that D {ϕ D 0 : ( x K ) α (T ϕ)(x) (R ϕ ) m } implyig {ϕ D 0 : sup x K α (T ϕ)(x) (R ϕ ) m } U, as required.
18 Ntice that the embeddig E Q is caical i the s sese that it is uiquely defied i terms already used i the defiiti f the family E Q (Q) D 0 (Defiiti 4.9). Q T d Therem 5.3 (Prperties f embeddig). Let Q be a pe set f R d. The: (i) We have (E Q L Q )( f ) = σ Q ( f ) fr all f E(Q). This ca be summarized i the fllwig cmmutative diagram: E(Q) L Q D ' (Q) σ Q E Q E Q (Q) D 0 Csequetly, E(Q) ad (E Q L Q )[E(Q)] are ismrphic differetial algebras ver C.Als, E Q L Q = σ Q preserves the pairig betwee E(Q) ad D(Q) i the sese that Q f (x)τ(x) dx = (σ Q ( f ) τ) = ((E Q L Q )( f ) τ), fr all f E(Q) ad all τ D(Q). Csequetly, E Q L Q = σ Q is ijective. (ii) E Q is C-liear ad it preserves the partial differetiati f ay rder i D ' (Q). Als, E Q preserves the pairig betwee D ' (Q) ad D(Q) i the sese that (T τ) = (E Q (T ) τ) fr all T D ' (Q) ad all τ D(Q). Csequetly, E Q is ijective. (iii) E Q L Q is C-liear. Als, E Q L Q preserves the pairig betwee L lc (Q) ad D(Q) i the sese that Q f (x)τ(x) dx = ((E Q L Q )( f ) τ), fr all f L lc (Q) ad all τ D(Q). Csequetly, E Q L Q is ijective. (iv) Each f the abve embeddigs: σ Q, E Q ad E Q L Q,is sheaf preservig i the sese that it preserves the restricti t a pe subset. We summarize all f the abve i E(Q) L lc (Q) D ' (Q) E Q (Q) D 0, where: (a) E(Q) is a differetial subalgebra f E Q (Q) D 0 ver C;(b) L lc (Q) is a vectr subspace f E Q (Q) D 0 ver C ad (c) D ' (Q) is a differetial vectr subspace f E Q (Q) D 0 ver C. We shall fte write simply T istead f the mre precise E Q (T ) fr a Schwartz distributi i the framewrk f E Q (Q) D 0. Prf (i) Suppse that K < Q, α N d ad p N (are chse arbitrarily). By 0 Lemma 3.5 there exist N 0 such that D ϕ D 0 : sup α ( f ϕ)(x) α f (x) (R ϕ ) p. x K
19 Thus {ϕ D 0 : sup x K α ( f ϕ)(x) α f (x) (R ϕ ) p } U. The latter meas that the et ( f ϕ f ) is egligible (Defiiti 4.9) thus (E Q L Q )( f ) = Qf ϕ = ;f = σ Q ( f ) as required. Csequetly, we have (E Q L Q )[E(Q)] = σ Q [E(Q)]. Thus E(Q) ad (E Q L Q )[E(Q)] are ismrphic differetial algebras because E(Q) ad σ Q [E(Q)] are (bviusly) ismrphic differetial algebras. Als, E Q L Q preserves the pairig because σ Q preserves (bviusly) the pairig. (ii) I Q is C-liear because the mappig T T ϕ is C-liear. T shw the preservati f partial differetiati we have t shw that fr every multi-idex β N d 0 the et β T ϕ β (T ϕ) is egligible (Defiiti 4.9). This fllws easily frm Lemma 3.3 similarly t (i) abve. T shw that E Q preserves the pairig, we have t shw that fr ay test fucti τ the et A ϕ =: (T ϕ τ) (T τ) is egligible (Defiiti 4.1). The latter fllws easily frm Lemma 3.6. (iii) (E Q L Q ) is C-liear because the mappig f f ϕ is C-liear. The preservig f pairig fllws frm (ii) i the particular case T = T f. (iv) The preservig f the restricti a pe subset fllws easily frm the defiiti ad we leave the details t the reader. We shuld meti that if f E(Q) ad T D ' (Q), the E Q ( f )E Q (T ) = E Q ( ft ) is false i geeral. That meas that the multiplicati i the algebra i E Q (Q) D 0 des t reprduce the Schwartz multiplicati i D ' (Q) (multiplicati by duality). Similarly, let C(Q) dete the class f ctiuus fuctis frm Q t C. If g, h C(Q), the E Q (g)e Q (h) = E Q (gh) is als false i geeral. That meas that the multiplicati i the algebra i E Q (Q) D 0 des t reprduce the usual multiplicati i C(Q). Of curse, all these are ievitable i view f the Schwartz impssibility results [35]. Fr a discussi we refer t [10, p. 8]. Istead, we have a smewhat weaker result. Therem 5.4 (Weak preservati). Let T D ' (Q), f E(Q) ad g, h C(Q). The: (i) E Q ( f )E Q (T ) = E Q ( ft )(Defiiti 4.9, #4), that is, (E Q ( f )E Q (T ) τ) = (E Q ( ft ) τ) fr all τ D(Q). (ii) E Q (g)e Q (h) E Q (gh) (Defiiti 4.9, #5), that is, (E Q (g)e Q (h) τ) (E Q (gh) τ) fr all τ D(Q), where i the latter frmula stads fr the ifiitesimal relati i the field - C D 0. Prf (i) We dete f ϕ,τ := ( f (T ϕ) τ) = f (T ϕ f τ) ad calculate f (E Q ( f )E Q (T ) τ) = ;f T Q ϕ τ = f (QT ϕ) τ = -f ϕ,τ = T Q ϕ f τ = (T f τ) = ( ft τ) = (E Q ( ft ) τ) as required. (ii) This fllws frm the fact that fr each N ad K < Q we have sup x K (g ϕ g)(x)h(x) < 1/ ad sup x K (g ϕ)(x)(h ϕ h)(x) < 1/ a.e. i D 0 (Defiiti 2.5) which ca be see by elemetary bservati. Let Q, Q ' T d ad ψ Diff(Q ',Q). The E Q (T ) ψ = E Q '(T ψ) des t geerally hld i E Q (Q) D 0. That meas that the family f algebras {E Q (Q) D 0 } Q T d is t diffemrphism ivariat (see Sect. 1). Here T ψ stads fr the cmpsiti i the sese f the distributi thery [41]. Istead, we have the fllwig weaker result.
20 Therem 5.5 (Diffemrphisms). E Q weakly preserves the cmpsiti with diffemrphisms i the sese that fr every Q, Q ' T d, every T D ' (Q) ad every ψ Diff(Q ',Q) we have E Q (T ) ψ = E Q ' (T ψ), that is, (E Q (T ) ψ τ) = (E Q ' (T ψ) τ) fr all test fuctis τ D(Q ' ). Prf The prf is aalgus t the prf f part (i) f Therem 5.4 ad we leave the details t the reader. Example Let δ D ' (R d ) be the Dirac delta fucti (delta distributi) R d. Fr its ϕ-regularizati (#5 i Examples 3.2)wehave δ ϕ = δ ϕ = δ*ϕ = ϕ. Thus E R d (δ) = ; ϕ. Similarly, E α R d ( α δ) = -ϕ. 2. We have E R d (δ) = (; ϕ) = ϕa, = 1, 2,.... We express this result simply as δ = Aϕ. Recall that the pwers δ are meaigless withi D ' (R d ) fr Let H(x) be the Heaviside step fucti R. Fr its ϕ-regularizati (#6 i Examples 3.2)wehave H ϕ = (H ϕ).let K < R. We bserve that fr every x x K we have H ϕ (x) = (H *ϕ)(x) = ϕ(t) dt a.e. i D 0 (Defiiti 2.5). Thus x Q x Q E R (H) = ϕ(t) dt. We express this result simply as H(x) = ϕ(t) dt. Sice the embeddig E ' R preserves the differetiati, f we have H = δ. x 4. We have E Q R (H)E R (δ) = ; ϕ ϕ(t) dt = ϕh - ϕ. We express this result simply as Hδ = -ϕ H ϕ. Recall that the prduct Hδ is t meaigful withi D ' (R). f x 5. We have (E Q R (H)) = ϕ(t) dt = ( QH ϕ ) which we write simply as H = (QH ϕ ). Sice E Q (R) D 0 is a differetial algebra, we ca apply the chai rule: (H ) ' = H 1 δ which als is meaigless i D ' (R) fr Ntice that H = H, = 2, 3,... i E Q (R) D 0. Actually H = H, = 2, 3,..., fail i ay differetial algebra. Ideed, H 2 = H implies 2Hδ = δ while H 3 = H implies 3Hδ = δ thus 2 = 3, a ctradicti. Fr a discussi we refer t [14, Example (1.1.1)]. 6 Distributial -stadard mdel The distributial -stadard mdel preseted i this secti is especially desiged fr the purpse f the -liear thery f geeralized fuctis (Clmbeau thery). It is a fully c + -saturated ultrapwer -stadard mdel (Therem 6.3) with the set f idividuals R based the D 0 -ets (Defiiti 3.1). Here c = card(r) ad c + stads fr the successr f c. The cecti f the thery f asympttic umbers ad fuctis (Sect. 4) with -stadard aalysis will be discussed i the ext secti. We shuld meti that a similar ultrapwer -stadard mdel (with the same idex set ad differet ultrafilter) was used i Berger s thesis [1] fr studyig delta-like slutis f Hpf s equati. Fr readers wh are familiar with -stadard aalysis this secti is a shrt review f the ultra-pwer apprach t -stadard aalysis itrduced by Luxemburg [22] almst 40 years ag (see als [36]). Fr the reader withut backgrud i -stadard aalysis, this secti ffers a shrt itrducti t the subject. Fr additial readig, we refer t Davis [12], Lidstrøm [21] ad Chap. 2 i Capiński ad Cutlad [4].
21 Defiiti 6.1 (Distributial -stadard mdel). 1. Let S be a ifiite set. The superstructure S is defied by V (S) =: =0 V (S), where V 0 (S) = S ad V +1 (S) = V (S) P (V (S)). The level λ(a) f A V (S) is defied by the frmula λ(a) =: mi{ N 0 : A V (S)}. The superstructure V (S) is trasitive i the sese that V (S) \ S P(V (S)). Thus V (S) \ S is a Blea algebra. The members s f S are called idividuals f the superstructure V (S). 2. Let S = R. We bserve that V (R) ctais all bjects i stadard aalysis: all rdered pairs f real umbers thus the set f cmplex umbers C, Cartesia prducts f subsets f R ad f C thus all relatis R ad C, all biary algebraic peratis R ad C, all real ad cmplex fuctis, all sets f fuctis, etc. 3. Let R D 0 be the set f all D 0 -ets i R (Defiiti 3.1). The set R f -stadard real umbers is defied as fllws: (a) We defie the equivalece relati U R D 0 by (A ϕ ) U (B ϕ ) if A ϕ = B ϕ a.e. r, equivaletly, if {ϕ D 0 : A ϕ = B ϕ } U (Defiiti 2.5). (b) The equivalece classes i R d = A R D 0 / U are called -stadard real umbers. We dete by A ϕ R the equivalece class f the et (A ϕ ) R D 0. The rig peratis i R are iherited frm the rig R D 0. The rder i R is defied by d A A ϕ > 0if Aϕ > 0 a.e., that is, if {ϕ D 0 : A ϕ > 0} U. (c) We defie the d caical A embeddig R R by the cstat ets, that is, by A A ϕ, where A ϕ = A fr all ϕ D 0. We shall write simply R R istead f R dr.alsif A (A ϕ ) is a cstat et, we shall write simply (A) istead f A ϕ. 4. Let S = R. The superstructure V ( R) ctais all bjects i -stadard aalysis: rdered pairs f -stadard real umbers thus the set f -stadard cmplex umbers C, all Cartesia prducts f subsets f R ad f C thus all relatis R ad C, all biary algebraic peratis R ad C,all -stadard fuctis, all sets f -stadard fuctis, etc. 5. Let V (R) D 0 stad fr the set f all D 0 -ets i V (R) (Defiiti 3.1). A et (A ϕ ) i V (R) D 0 is called tame if ( N 0 )( ϕ D 0 )(A ϕ V (R)).If(A ϕ ) is a tame et i V (R) D 0 its level λ((a ϕ )) is defied (uiquely) as the umber N 0 such that {ϕ D 0 : λ(a ϕ ) = } U, where λ(a ϕ ) is the level f A ϕ i V (R) (see #1 abve). 6. Fr every tame et (A ϕ ) i V (R) D 0 we defie d A d A A ϕ V ( R) iductively the level f the ets: If λ((a ϕ )) = 0, the A ϕ is defied i #3 abve. Suppse d A A ϕ is already defied fr all tame ets (A ϕ ) i V (R) D 0 with λ((a ϕ )) <. If d A (B ϕ ) V (R) D 0 is a tame et with λ((b ϕ )) =,welet B ϕ =: (A ϕ ) V (R) D 0 : λ((a ϕ )) < & A ϕ B ϕ a.e., where, as befre, A ϕ B ϕ a.e. meas ϕ D 0 : A ϕ B ϕ U (Defiiti 2.5). Let (A ϕ ) be a cstat et i V (R) D 0, that is, A ϕ = A fr all ϕ D 0 ad sme d A A V (R). I the case f cstat ets we shall write simply (A) istead f A ϕ.
22 7. A elemet A f V ( R) is called iteral if A = d A ϕ A fr sme tame et (A ϕ ) V (R) D 0. We dete by V (R) the set f the iteral elemets f V ( R) (icludig the -stadard reals i R). The elemets f V (R) \ R are called iteral sets. The iteral sets f the frm (A), where A V (R) (i.e. geerated by cstat ets), are called iteral stadard (r simply, stadard). The elemets f V ( R) \ V (R) are called exteral sets. 8. We defie the extesi mappig : V (R) V ( R) by A = (A). Ntice that the rage ra( ) f the extesi mappig csists exactly f the iteral stadard elemets f V ( R). The termilgy extesi mappig fr is due t the fllwig result: Let S V (R) \ R. The S S ad the equality ccurs iff S is a fiite set. 9. It ca be shw that A is iteral iff A A fr sme A V (R). It ca be shw as well that a elemet A V (R) is iteral iff A R r A is a fiite set (tice that V (R) V ( R) sice R R). The ifiite sets i V (R) \ R are called exteral stadard sets. Fr example, the familiar N, N 0, Z, Q, R, C are all exteral stadard sets. d 10. A pit ζ C is called ifiitesimal if ζ < 1/ fr all N. Als, ζ C d is called fiite if ζ < fr sme N. Similarly, ζ C d is called ifiitely large if < ζ fr all N. We dete by I( C d ), F( C d ) ad d L( C d ) the sets f the ifiitesimal, fiite ad ifiitely large pits i C, respectively. We fte write ζ 0 istead f ζ I( C d ) ad ζ 1 ζ 2 istead f ζ 1 ζ 2 I( C d ). Mre geerally, if S C d, the I(S), F(S) ad L(S) dete the sets f ifiitesimal, fiite ad ifiitely large pits i S, respectively. d 11. We defie the stadard part mappig st : F( C d ) C by the frmula d st(ζ ) ζ. We bserve that st is a vectr hmmrphism frm F( C d ) t C. I particular, st : F( C) C is a rder preservig rig hmmrphism frm F( C) t C (relative t the partial rder i C). 12. We call ρ R, defied by ρ = d R ϕ A (cf. (1)), the caical ifiitesimal i R.Itis caical because is defied uiquely i terms f the idex set f the distributial -stadard mdel. It is a psitive ifiitesimal because 0 < ρ< 1/ fr all N (Example 2.6). 13. Let x R d ad X R d.the mads f x ad X are defied by s μ(x) = x + dx : dx R d & dx 0, s μ(x) = x + dx : x X & dx R d & dx 0, respectively. Als, μ 0 (x) =: μ(x) \{x} is the deleted mad f x. Therem 6.2 (Extesi priciple). R is a prper extesi f R, that is, R R. Csequetly, V (R) V ( R). Prf We bserve that ρ R \ R (#12 i Defiiti 6.1). I what fllws we assume a particular case f the ctiuum hypthesis i the frm c + = 2 c.
23 Therem 6.3 (Saturati priciple). Our -stadard mdel V ( R) is c+ -saturated i the sese that every family (A γ ) γ f f iteral sets i V ( R) with the fiite iter secti prperty ad card(f) c has the -empty itersecti γ f A γ =. Als V ( R) is fully saturated i the sese that V ( R) is card( R)-saturated (cf. [5, Chap. 5]. Prf We refer the reader t the rigial prf i Chag ad Keisler [5] (fr a presetati see als Lidstrøm [21]). We shuld meti that the prperty f the ultrafilter U t be c + -gd (# 6 i Lemma 2.4) is ivlved i the prf f this therem. T shw that V ( R) is fully saturated, we have t shw that card( R) = c +. Ideed, card( R) card(r D 0 ) = 2 c fllws frm the defiiti f R i the distributial mdel ad card( R) 2 c fllws frm the fact that V ( R) is c + -saturated. The ext result demstrates the remarkable feature f -stadard aalysis t reduce (ad smetimes eve t elimiate cmpletely) the umber f quatifiers cmpared with stadard aalysis. Therem 6.4 (Usual tplgy R d ad mads). Let X R d ad x R d. The: (a) xis a iterir pit f X iff μ(x) X. Csequetly, X is pe iff μ(x) X. (b) X is clsed iff st( X) = X, where st : F( R d ) R d stads fr the stadard part mappig. (c) x is a adheret pit f X (i.e. x X) iff X μ(x) =. (d) X is a cluster pit f X iff X μ 0 (x) =. (e) X isa buded set iff X csists f fiite pits ly. (f) X is cmpact iff X μ(x). Prf We refer the reader t the rigial prfs i Rbis [32] (r, t a presetati i Salbay ad Tdrv [34]). T cmplete ur survey -stadard aalysis, we wuld have t discuss several mre imprtat priciples: the rder cmpleteess priciple i R fr iteral sets, differet spillig priciples (uderflw ad verflw), trasfer priciple ad iteral defiiti priciple. The trasfer priciple is csidered by may as the heart ad sul f -stadard aalysis. O these tpics we refer the reader t Davis [12], Lidstrøm [21] ad Chap. 2 i Capiński ad Cutlad [4]. Fr reader with experiece i mathematical lgic we recmmed Rbis [32]. 7 Clmbeau s thery f geeralized fuctis ad -stadard aalysis We shw that the field f asympttic umbers - C D 0 (Defiiti 4.1) isismrphict a particular Rbis field ρ C [33] f ρ-asympttic umbers. We als prve that the algebra f asympttic fuctis E Q (Q) D 0 (Defiiti 4.9) is ismrphic t a particular algebra f ρ-asympttic fuctis ρ E(Q) itrduced i [28]. Bth ρ C ad ρ E(Q) are defied i the framewrk f -stadard aalysis (see Defiitis 7.1 ad 7.7 belw). - As faraswetreat C D 0 ad E Q (Q) D 0 as mdified ad, we believe, imprved versis f Clmbeau s C ad G(Q), respectively, these results establish a cecti betwee Clmbeau thery ad -stadard aalysis. Recall the defiiti f Rbis s field ρ R [33] ad its cmplex cuterpart ρ C.
Full algebra of generalized functions and non-standard asymptotic analysis
Log Anal (2008) 1:205 234 DOI 10.1007/s11813-008-0008-y Full algebra of generalized functions and non-standard asymptotic analysis Todor D. Todorov Hans Vernaeve Received: 10 December 2007 / Accepted:
More informationD.S.G. POLLOCK: TOPICS IN TIME-SERIES ANALYSIS STATISTICAL FOURIER ANALYSIS
STATISTICAL FOURIER ANALYSIS The Furier Represetati f a Sequece Accrdig t the basic result f Furier aalysis, it is always pssible t apprximate a arbitrary aalytic fucti defied ver a fiite iterval f the
More informationK [f(t)] 2 [ (st) /2 K A GENERALIZED MEIJER TRANSFORMATION. Ku(z) ()x) t -)-I e. K(z) r( + ) () (t 2 I) -1/2 e -zt dt, G. L. N. RAO L.
Iterat. J. Math. & Math. Scl. Vl. 8 N. 2 (1985) 359-365 359 A GENERALIZED MEIJER TRANSFORMATION G. L. N. RAO Departmet f Mathematics Jamshedpur C-perative Cllege f the Rachi Uiversity Jamshedpur, Idia
More informationFunction representation of a noncommutative uniform algebra
Fucti represetati f a cmmutative uifrm algebra Krzysztf Jarsz Abstract. We cstruct a Gelfad type represetati f a real cmmutative Baach algebra A satisfyig f 2 = kfk 2, fr all f 2 A:. Itrducti A uifrm algebra
More informationIntermediate Division Solutions
Itermediate Divisi Slutis 1. Cmpute the largest 4-digit umber f the frm ABBA which is exactly divisible by 7. Sluti ABBA 1000A + 100B +10B+A 1001A + 110B 1001 is divisible by 7 (1001 7 143), s 1001A is
More informationChapter 3.1: Polynomial Functions
Ntes 3.1: Ply Fucs Chapter 3.1: Plymial Fuctis I Algebra I ad Algebra II, yu ecutered sme very famus plymial fuctis. I this secti, yu will meet may ther members f the plymial family, what sets them apart
More informationMulti-objective Programming Approach for. Fuzzy Linear Programming Problems
Applied Mathematical Scieces Vl. 7 03. 37 8-87 HIKARI Ltd www.m-hikari.cm Multi-bective Prgrammig Apprach fr Fuzzy Liear Prgrammig Prblems P. Padia Departmet f Mathematics Schl f Advaced Scieces VIT Uiversity
More informationCh. 1 Introduction to Estimation 1/15
Ch. Itrducti t stimati /5 ample stimati Prblem: DSB R S f M f s f f f ; f, φ m tcsπf t + φ t f lectrics dds ise wt usually white BPF & mp t s t + w t st. lg. f & φ X udi mp cs π f + φ t Oscillatr w/ f
More informationMATH Midterm Examination Victor Matveev October 26, 2016
MATH 33- Midterm Examiati Victr Matveev Octber 6, 6. (5pts, mi) Suppse f(x) equals si x the iterval < x < (=), ad is a eve peridic extesi f this fucti t the rest f the real lie. Fid the csie series fr
More informationUNIVERSITY OF TECHNOLOGY. Department of Mathematics PROBABILITY THEORY, STATISTICS AND OPERATIONS RESEARCH GROUP. Memorandum COSOR 76-10
EI~~HOVEN UNIVERSITY OF TECHNOLOGY Departmet f Mathematics PROBABILITY THEORY, STATISTICS AND OPERATIONS RESEARCH GROUP Memradum COSOR 76-10 O a class f embedded Markv prcesses ad recurrece by F.H. Sims
More informationGrade 3 Mathematics Course Syllabus Prince George s County Public Schools
Ctet Grade 3 Mathematics Curse Syllabus Price Gerge s Cuty Public Schls Prerequisites: Ne Curse Descripti: I Grade 3, istructial time shuld fcus fur critical areas: (1) develpig uderstadig f multiplicati
More information5.1 Two-Step Conditional Density Estimator
5.1 Tw-Step Cditial Desity Estimatr We ca write y = g(x) + e where g(x) is the cditial mea fucti ad e is the regressi errr. Let f e (e j x) be the cditial desity f e give X = x: The the cditial desity
More informationQuantum Mechanics for Scientists and Engineers. David Miller
Quatum Mechaics fr Scietists ad Egieers David Miller Time-depedet perturbati thery Time-depedet perturbati thery Time-depedet perturbati basics Time-depedet perturbati thery Fr time-depedet prblems csider
More informationIJISET - International Journal of Innovative Science, Engineering & Technology, Vol. 2 Issue 12, December
IJISET - Iteratial Jural f Ivative Sciece, Egieerig & Techlgy, Vl Issue, December 5 wwwijisetcm ISSN 48 7968 Psirmal ad * Pararmal mpsiti Operatrs the Fc Space Abstract Dr N Sivamai Departmet f athematics,
More informationThe Excel FFT Function v1.1 P. T. Debevec February 12, The discrete Fourier transform may be used to identify periodic structures in time ht.
The Excel FFT Fucti v P T Debevec February 2, 26 The discrete Furier trasfrm may be used t idetify peridic structures i time ht series data Suppse that a physical prcess is represeted by the fucti f time,
More informationENGI 4421 Central Limit Theorem Page Central Limit Theorem [Navidi, section 4.11; Devore sections ]
ENGI 441 Cetral Limit Therem Page 11-01 Cetral Limit Therem [Navidi, secti 4.11; Devre sectis 5.3-5.4] If X i is t rmally distributed, but E X i, V X i ad is large (apprximately 30 r mre), the, t a gd
More informationMATHEMATICS 9740/01 Paper 1 14 Sep hours
Cadidate Name: Class: JC PRELIMINARY EXAM Higher MATHEMATICS 9740/0 Paper 4 Sep 06 3 hurs Additial Materials: Cver page Aswer papers List f Frmulae (MF5) READ THESE INSTRUCTIONS FIRST Write yur full ame
More informationare specified , are linearly independent Otherwise, they are linearly dependent, and one is expressed by a linear combination of the others
Chater 3. Higher Order Liear ODEs Kreyszig by YHLee;4; 3-3. Hmgeeus Liear ODEs The stadard frm f the th rder liear ODE ( ) ( ) = : hmgeeus if r( ) = y y y y r Hmgeeus Liear ODE: Suersiti Pricile, Geeral
More informationON FREE RING EXTENSIONS OF DEGREE N
I terat. J. Math. & Mah. Sci. Vl. 4 N. 4 (1981) 703-709 703 ON FREE RING EXTENSIONS OF DEGREE N GEORGE SZETO Mathematics Departmet Bradley Uiversity Peria, Illiis 61625 U.S.A. (Received Jue 25, 1980) ABSTRACT.
More informationFourier Series & Fourier Transforms
Experimet 1 Furier Series & Furier Trasfrms MATLAB Simulati Objectives Furier aalysis plays a imprtat rle i cmmuicati thery. The mai bjectives f this experimet are: 1) T gai a gd uderstadig ad practice
More informationALE 26. Equilibria for Cell Reactions. What happens to the cell potential as the reaction proceeds over time?
Name Chem 163 Secti: Team Number: AL 26. quilibria fr Cell Reactis (Referece: 21.4 Silberberg 5 th editi) What happes t the ptetial as the reacti prceeds ver time? The Mdel: Basis fr the Nerst quati Previusly,
More informationMarkov processes and the Kolmogorov equations
Chapter 6 Markv prcesses ad the Klmgrv equatis 6. Stchastic Differetial Equatis Csider the stchastic differetial equati: dx(t) =a(t X(t)) dt + (t X(t)) db(t): (SDE) Here a(t x) ad (t x) are give fuctis,
More informationENGI 4421 Central Limit Theorem Page Central Limit Theorem [Navidi, section 4.11; Devore sections ]
ENGI 441 Cetral Limit Therem Page 11-01 Cetral Limit Therem [Navidi, secti 4.11; Devre sectis 5.3-5.4] If X i is t rmally distributed, but E X i, V X i ad is large (apprximately 30 r mre), the, t a gd
More informationSolutions. Definitions pertaining to solutions
Slutis Defiitis pertaiig t slutis Slute is the substace that is disslved. It is usually preset i the smaller amut. Slvet is the substace that des the disslvig. It is usually preset i the larger amut. Slubility
More informationExamination No. 3 - Tuesday, Nov. 15
NAME (lease rit) SOLUTIONS ECE 35 - DEVICE ELECTRONICS Fall Semester 005 Examiati N 3 - Tuesday, Nv 5 3 4 5 The time fr examiati is hr 5 mi Studets are allwed t use 3 sheets f tes Please shw yur wrk, artial
More informationOn the affine nonlinearity in circuit theory
O the affie liearity i circuit thery Emauel Gluski The Kieret Cllege the Sea f Galilee; ad Ort Braude Cllege (Carmiel), Israel. gluski@ee.bgu.ac.il; http://www.ee.bgu.ac.il/~gluski/ E. Gluski, O the affie
More informationFourier Method for Solving Transportation. Problems with Mixed Constraints
It. J. Ctemp. Math. Scieces, Vl. 5, 200,. 28, 385-395 Furier Methd fr Slvig Trasprtati Prblems with Mixed Cstraits P. Padia ad G. Nataraja Departmet f Mathematics, Schl f Advaced Scieces V I T Uiversity,
More informationThe generalized marginal rate of substitution
Jural f Mathematical Ecmics 31 1999 553 560 The geeralized margial rate f substituti M Besada, C Vazuez ) Facultade de Ecmicas, UiÕersidade de Vig, Aptd 874, 3600 Vig, Spai Received 31 May 1995; accepted
More informationA New Method for Finding an Optimal Solution. of Fully Interval Integer Transportation Problems
Applied Matheatical Scieces, Vl. 4, 200,. 37, 89-830 A New Methd fr Fidig a Optial Sluti f Fully Iterval Iteger Trasprtati Prbles P. Padia ad G. Nataraja Departet f Matheatics, Schl f Advaced Scieces,
More informationStudy of Energy Eigenvalues of Three Dimensional. Quantum Wires with Variable Cross Section
Adv. Studies Ther. Phys. Vl. 3 009. 5 3-0 Study f Eergy Eigevalues f Three Dimesial Quatum Wires with Variale Crss Secti M.. Sltai Erde Msa Departmet f physics Islamic Aad Uiversity Share-ey rach Ira alrevahidi@yah.cm
More informationDirectional Duality Theory
Suther Illiis Uiversity Carbdale OpeSIUC Discussi Papers Departmet f Ecmics 2004 Directial Duality Thery Daiel Primt Suther Illiis Uiversity Carbdale Rlf Fare Oreg State Uiversity Fllw this ad additial
More informationBIO752: Advanced Methods in Biostatistics, II TERM 2, 2010 T. A. Louis. BIO 752: MIDTERM EXAMINATION: ANSWERS 30 November 2010
BIO752: Advaced Methds i Bistatistics, II TERM 2, 2010 T. A. Luis BIO 752: MIDTERM EXAMINATION: ANSWERS 30 Nvember 2010 Questi #1 (15 pits): Let X ad Y be radm variables with a jit distributi ad assume
More information5.80 Small-Molecule Spectroscopy and Dynamics
MIT OpeCurseWare http://cw.mit.edu 5.8 Small-Mlecule Spectrscpy ad Dyamics Fall 8 Fr ifrmati abut citig these materials r ur Terms f Use, visit: http://cw.mit.edu/terms. 5.8 Lecture #33 Fall, 8 Page f
More informationON THE M 3 M 1 QUESTION
Vlume 5, 1980 Pages 77 104 http://tplgy.aubur.edu/tp/ ON THE M 3 M 1 QUESTION by Gary Gruehage Tplgy Prceedigs Web: http://tplgy.aubur.edu/tp/ Mail: Tplgy Prceedigs Departmet f Mathematics & Statistics
More informationAxial Temperature Distribution in W-Tailored Optical Fibers
Axial Temperature Distributi i W-Tailred Optical ibers Mhamed I. Shehata (m.ismail34@yah.cm), Mustafa H. Aly(drmsaly@gmail.cm) OSA Member, ad M. B. Saleh (Basheer@aast.edu) Arab Academy fr Sciece, Techlgy
More informationLecture Notes for Analysis Class
Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios
More informationA Hartree-Fock Calculation of the Water Molecule
Chemistry 460 Fall 2017 Dr. Jea M. Stadard Nvember 29, 2017 A Hartree-Fck Calculati f the Water Mlecule Itrducti A example Hartree-Fck calculati f the water mlecule will be preseted. I this case, the water
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationReview for cumulative test
Hrs Math 3 review prblems Jauary, 01 cumulative: Chapters 1- page 1 Review fr cumulative test O Mday, Jauary 7, Hrs Math 3 will have a curse-wide cumulative test cverig Chapters 1-. Yu ca expect the test
More informationSuper-efficiency Models, Part II
Super-efficiec Mdels, Part II Emilia Niskae The 4th f Nvember S steemiaalsi Ctets. Etesis t Variable Returs-t-Scale (0.4) S steemiaalsi Radial Super-efficiec Case Prblems with Radial Super-efficiec Case
More informationHomology groups of disks with holes
Hmlgy grups f disks with hles THEOREM. Let p 1,, p k } be a sequence f distinct pints in the interir unit disk D n where n 2, and suppse that fr all j the sets E j Int D n are clsed, pairwise disjint subdisks.
More informationActive redundancy allocation in systems. R. Romera; J. Valdés; R. Zequeira*
Wrkig Paper -6 (3) Statistics ad Ecmetrics Series March Departamet de Estadística y Ecmetría Uiversidad Carls III de Madrid Calle Madrid, 6 893 Getafe (Spai) Fax (34) 9 64-98-49 Active redudacy allcati
More informationAuthor. Introduction. Author. o Asmir Tobudic. ISE 599 Computational Modeling of Expressive Performance
ISE 599 Cmputatial Mdelig f Expressive Perfrmace Playig Mzart by Aalgy: Learig Multi-level Timig ad Dyamics Strategies by Gerhard Widmer ad Asmir Tbudic Preseted by Tsug-Ha (Rbert) Chiag April 5, 2006
More informationx 2 x 3 x b 0, then a, b, c log x 1 log z log x log y 1 logb log a dy 4. dx As tangent is perpendicular to the x axis, slope
The agle betwee the tagets draw t the parabla y = frm the pit (-,) 5 9 6 Here give pit lies the directri, hece the agle betwee the tagets frm that pit right agle Ratig :EASY The umber f values f c such
More informationControl Systems. Controllability and Observability (Chapter 6)
6.53 trl Systems trllaility ad Oservaility (hapter 6) Geeral Framewrk i State-Spae pprah Give a LTI system: x x u; y x (*) The system might e ustale r des t meet the required perfrmae spe. Hw a we imprve
More information, the random variable. and a sample size over the y-values 0:1:10.
Lecture 3 (4//9) 000 HW PROBLEM 3(5pts) The estimatr i (c) f PROBLEM, p 000, where { } ~ iid bimial(,, is 000 e f the mst ppular statistics It is the estimatr f the ppulati prprti I PROBLEM we used simulatis
More information[1 & α(t & T 1. ' ρ 1
NAME 89.304 - IGNEOUS & METAMORPHIC PETROLOGY DENSITY & VISCOSITY OF MAGMAS I. Desity The desity (mass/vlume) f a magma is a imprtat parameter which plays a rle i a umber f aspects f magma behavir ad evluti.
More informationTHE MATRIX VERSION FOR THE MULTIVARIABLE HUMBERT POLYNOMIALS
Misklc Mathematical Ntes HU ISSN 1787-2405 Vl. 13 (2012), N. 2, pp. 197 208 THE MATRI VERSION FOR THE MULTIVARIABLE HUMBERT POLYNOMIALS RABİA AKTAŞ, BAYRAM ÇEKIM, AN RECEP ŞAHI Received 4 May, 2011 Abstract.
More informationEvery gas consists of a large number of small particles called molecules moving with very high velocities in all possible directions.
Kietic thery f gases ( Kietic thery was develped by Berlli, Jle, Clasis, axwell ad Bltzma etc. ad represets dyamic particle r micrscpic mdel fr differet gases sice it thrws light the behir f the particles
More informationUnifying the Derivations for. the Akaike and Corrected Akaike. Information Criteria. from Statistics & Probability Letters,
Uifyig the Derivatis fr the Akaike ad Crrected Akaike Ifrmati Criteria frm Statistics & Prbability Letters, Vlume 33, 1997, pages 201{208. by Jseph E. Cavaaugh Departmet f Statistics, Uiversity f Missuri,
More informationPhysical Chemistry Laboratory I CHEM 445 Experiment 2 Partial Molar Volume (Revised, 01/13/03)
Physical Chemistry Labratry I CHEM 445 Experimet Partial Mlar lume (Revised, 0/3/03) lume is, t a gd apprximati, a additive prperty. Certaily this apprximati is used i preparig slutis whse ccetratis are
More informationSound Absorption Characteristics of Membrane- Based Sound Absorbers
Purdue e-pubs Publicatis f the Ray W. Schl f Mechaical Egieerig 8-28-2003 Sud Absrpti Characteristics f Membrae- Based Sud Absrbers J Stuart Blt, blt@purdue.edu Jih Sg Fllw this ad additial wrks at: http://dcs.lib.purdue.edu/herrick
More informationClaude Elysée Lobry Université de Nice, Faculté des Sciences, parc Valrose, NICE, France.
CHAOS AND CELLULAR AUTOMATA Claude Elysée Lbry Uiversité de Nice, Faculté des Scieces, parc Valrse, 06000 NICE, Frace. Keywrds: Chas, bifurcati, cellularautmata, cmputersimulatis, dyamical system, ifectius
More informationDefinition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.
4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad
More informationA new Type of Fuzzy Functions in Fuzzy Topological Spaces
IOSR Jurnal f Mathematics (IOSR-JM e-issn: 78-578, p-issn: 39-765X Vlume, Issue 5 Ver I (Sep - Oct06, PP 8-4 wwwisrjurnalsrg A new Type f Fuzzy Functins in Fuzzy Tplgical Spaces Assist Prf Dr Munir Abdul
More informationUniversity Microfilms, A XEROX Company. Ann Arbor, Michigan
72-10,168 VAN CASTEREN, Jhaes A., 1943 GENERALIZED GELFAND TRIPLES. Uiversity f Hawaii, Ph.D., 1971 Mathematics Uiversity Micrfilms, A XEROX Cmpay. A Arbr, Michiga THIS DISSERTATION HAS BEEN MICROFILMED
More informationSolutions to Midterm II. of the following equation consistent with the boundary condition stated u. y u x y
Sltis t Midterm II Prblem : (pts) Fid the mst geeral slti ( f the fllwig eqati csistet with the bdary cditi stated y 3 y the lie y () Slti : Sice the system () is liear the slti is give as a sperpsiti
More informationCopyright 1978, by the author(s). All rights reserved.
Cpyright 1978, by the authr(s). All rights reserved. Permissi t make digital r hard cpies f all r part f this wrk fr persal r classrm use is grated withut fee prvided that cpies are t made r distributed
More informationBasic Sets. Functions. MTH299 - Examples. Example 1. Let S = {1, {2, 3}, 4}. Indicate whether each statement is true or false. (a) S = 4. (e) 2 S.
Basic Sets Example 1. Let S = {1, {2, 3}, 4}. Idicate whether each statemet is true or false. (a) S = 4 (b) {1} S (c) {2, 3} S (d) {1, 4} S (e) 2 S. (f) S = {1, 4, {2, 3}} (g) S Example 2. Compute the
More informationE o and the equilibrium constant, K
lectrchemical measuremets (Ch -5 t 6). T state the relati betwee ad K. (D x -b, -). Frm galvaic cell vltage measuremet (a) K sp (D xercise -8, -) (b) K sp ad γ (D xercise -9) (c) K a (D xercise -G, -6)
More informationSingular Continuous Measures by Michael Pejic 5/14/10
Sigular Cotiuous Measures by Michael Peic 5/4/0 Prelimiaries Give a set X, a σ-algebra o X is a collectio of subsets of X that cotais X ad ad is closed uder complemetatio ad coutable uios hece, coutable
More informationBayesian Estimation for Continuous-Time Sparse Stochastic Processes
Bayesia Estimati fr Ctiuus-Time Sparse Stchastic Prcesses Arash Amii, Ulugbek S Kamilv, Studet, IEEE, Emrah Bsta, Studet, IEEE, Michael User, Fellw, IEEE Abstract We csider ctiuus-time sparse stchastic
More informationAdmissibility Conditions and Asymptotic Behavior of Strongly Regular Graphs
Admissibility Cnditins and Asympttic Behavir f Strngly Regular Graphs VASCO MOÇO MANO Department f Mathematics University f Prt Oprt PORTUGAL vascmcman@gmailcm LUÍS ANTÓNIO DE ALMEIDA VIEIRA Department
More informationAP Statistics Notes Unit Eight: Introduction to Inference
AP Statistics Ntes Uit Eight: Itrducti t Iferece Syllabus Objectives: 4.1 The studet will estimate ppulati parameters ad margis f errrs fr meas. 4.2 The studet will discuss the prperties f pit estimatrs,
More informationChapter 1: Fundamentals
Chapter 1: Fudametals 1.1 Real Numbers Irratial umbers are real umbers that cat be expressed as ratis f itegers. That such umbers exist was a prfud embarrassmet t the Pythagrea brtherhd, ad they are said
More informationModern Physics. Unit 15: Nuclear Structure and Decay Lecture 15.2: The Strong Force. Ron Reifenberger Professor of Physics Purdue University
Mder Physics Uit 15: Nuclear Structure ad Decay Lecture 15.: The Strg Frce R Reifeberger Prfessr f Physics Purdue Uiversity 1 Bidig eergy er ucle - the deuter Eergy (MeV) ~0.4fm B.E. A =.MeV/ = 1.1 MeV/ucle.
More informationON THE FONTAINE-MAZUR CONJECTURE FOR NUMBER FIELDS AND AN ANALOGUE FOR FUNCTION FIELDS JOSHUA BRANDON HOLDEN
ON THE FONTAINE-MAZUR CONJECTURE FOR NUMBER FIELDS AND AN ANALOGUE FOR FUNCTION FIELDS JOSHUA BRANDON HOLDEN Abstract. The Ftaie-Mazur Cjecture fr umber elds predicts that iite `-adic aalytic rups cat
More informationBasic Sets. MTH299 - Examples. Example 1. Let S = {1, {2, 3}, 4}. Indicate whether each statement is true or false. (a) S = 4
Basic Sets Example 1. Let S = {1, {, 3}, 4}. Idicate whether each statemet is true or false. (a) S = 4 False. Note that the elemets of S are 1, the set {, 3}, ad 4. Thus S = 3. (b) {1} S False. While 1
More informationRMO Sample Paper 1 Solutions :
RMO Sample Paper Slutis :. The umber f arragemets withut ay restricti = 9! 3!3!3! The umber f arragemets with ly e set f the csecutive 3 letters = The umber f arragemets with ly tw sets f the csecutive
More informationA Study on Estimation of Lifetime Distribution with Covariates Under Misspecification
Prceedigs f the Wrld Cgress Egieerig ad Cmputer Sciece 2015 Vl II, Octber 21-23, 2015, Sa Fracisc, USA A Study Estimati f Lifetime Distributi with Cvariates Uder Misspecificati Masahir Ykyama, Member,
More informationA Proof of Birkhoff s Ergodic Theorem
A Proof of Birkhoff s Ergodic Theorem Joseph Hora September 2, 205 Itroductio I Fall 203, I was learig the basics of ergodic theory, ad I came across this theorem. Oe of my supervisors, Athoy Quas, showed
More informationDesign and Implementation of Cosine Transforms Employing a CORDIC Processor
C16 1 Desig ad Implemetati f Csie Trasfrms Emplyig a CORDIC Prcessr Sharaf El-Di El-Nahas, Ammar Mttie Al Hsaiy, Magdy M. Saeb Arab Academy fr Sciece ad Techlgy, Schl f Egieerig, Alexadria, EGYPT ABSTRACT
More informationHomework 2. Show that if h is a bounded sesquilinear form on the Hilbert spaces X and Y, then h has the representation
omework 2 1 Let X ad Y be ilbert spaces over C The a sesquiliear form h o X Y is a mappig h : X Y C such that for all x 1, x 2, x X, y 1, y 2, y Y ad all scalars α, β C we have (a) h(x 1 + x 2, y) h(x
More informationHº = -690 kj/mol for ionization of n-propylene Hº = -757 kj/mol for ionization of isopropylene
Prblem 56. (a) (b) re egative º values are a idicati f mre stable secies. The º is mst egative fr the i-ryl ad -butyl is, bth f which ctai a alkyl substituet bded t the iized carb. Thus it aears that catis
More informationResult on the Convergence Behavior of Solutions of Certain System of Third-Order Nonlinear Differential Equations
Iteratial Jural f Mer Nliear Thery a Applicati, 6, 5, 8-58 Publishe Olie March 6 i SciRes http://wwwscirprg/jural/ijmta http://xirg/6/ijmta655 Result the Cvergece Behavir f Slutis f Certai System f Thir-Orer
More informationRegression Quantiles for Time Series Data ZONGWU CAI. Department of Mathematics. Abstract
Regressi Quatiles fr Time Series Data ZONGWU CAI Departmet f Mathematics Uiversity f Nrth Carlia Charltte, NC 28223, USA E-mail: zcai@ucc.edu Abstract I this article we study parametric estimati f regressi
More information2.4 Sequences, Sequences of Sets
72 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.4 Sequeces, Sequeces of Sets 2.4.1 Sequeces Defiitio 2.4.1 (sequece Let S R. 1. A sequece i S is a fuctio f : K S where K = { N : 0 for some 0 N}. 2. For each
More informationLyapunov Stability Stability of Equilibrium Points
Lyapunv Stability Stability f Equilibrium Pints 1. Stability f Equilibrium Pints - Definitins In this sectin we cnsider n-th rder nnlinear time varying cntinuus time (C) systems f the frm x = f ( t, x),
More informationCOUNTING SUBGROUPS OF NON-EUCLIDEAN CRYSTALLOGRAPHIC GROUPS
MATH. SCAND. 4 (1999), 23^39 COUNTING SUBGROUPS OF NON-EUCLIDEAN CRYSTALLOGRAPHIC GROUPS Abstract GARETH A. JONES A methd is btaied fr cutig the rmal subgrups N f a euclidea crystallgraphic grup withut
More informationComparative analysis of bayesian control chart estimation and conventional multivariate control chart
America Jural f Theretical ad Applied Statistics 3; ( : 7- ublished lie Jauary, 3 (http://www.sciecepublishiggrup.cm//atas di:.648/.atas.3. Cmparative aalysis f bayesia ctrl chart estimati ad cvetial multivariate
More informationCHAPTER 2 Algebraic Expressions and Fundamental Operations
CHAPTER Algebraic Expressins and Fundamental Operatins OBJECTIVES: 1. Algebraic Expressins. Terms. Degree. Gruping 5. Additin 6. Subtractin 7. Multiplicatin 8. Divisin Algebraic Expressin An algebraic
More informationA Simplified Nonlinear Generalized Maxwell Model for Predicting the Time Dependent Behavior of Viscoelastic Materials
Wrld Jural f Mechaics, 20,, 58-67 di:0.4236/wj.20.302 Published Olie Jue 20 (http://www.scirp.rg/jural/wj) A Siplified Nliear Geeralized Maxwell Mdel fr Predictig the Tie Depedet Behavir f Viscelastic
More informationMATHEMATICS SYLLABUS SECONDARY 5th YEAR
Eurpean Schls Office f the Secretary-General Pedaggical Develpment Unit Ref. : 011-01-D-8-en- Orig. : EN MATHEMATICS SYLLABUS SECONDARY 5th YEAR 6 perid/week curse APPROVED BY THE JOINT TEACHING COMMITTEE
More informationLecture 3 : Random variables and their distributions
Lecture 3 : Radom variables ad their distributios 3.1 Radom variables Let (Ω, F) ad (S, S) be two measurable spaces. A map X : Ω S is measurable or a radom variable (deoted r.v.) if X 1 (A) {ω : X(ω) A}
More informationSupport-Vector Machines
Supprt-Vectr Machines Intrductin Supprt vectr machine is a linear machine with sme very nice prperties. Haykin chapter 6. See Alpaydin chapter 13 fr similar cntent. Nte: Part f this lecture drew material
More informationMeasure and Measurable Functions
3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies
More informationThermodynamics Partial Outline of Topics
Thermdynamics Partial Outline f Tpics I. The secnd law f thermdynamics addresses the issue f spntaneity and invlves a functin called entrpy (S): If a prcess is spntaneus, then Suniverse > 0 (2 nd Law!)
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More informationIt is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.
MATH 532 Measurable Fuctios Dr. Neal, WKU Throughout, let ( X, F, µ) be a measure space ad let (!, F, P ) deote the special case of a probability space. We shall ow begi to study real-valued fuctios defied
More information6.3 Testing Series With Positive Terms
6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial
More informationTheorem 3. A subset S of a topological space X is compact if and only if every open cover of S by open sets in X has a finite subcover.
Compactess Defiitio 1. A cover or a coverig of a topological space X is a family C of subsets of X whose uio is X. A subcover of a cover C is a subfamily of C which is a cover of X. A ope cover of X is
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More informationIntroduction to Optimization Techniques. How to Solve Equations
Itroductio to Optimizatio Techiques How to Solve Equatios Iterative Methods of Optimizatio Iterative methods of optimizatio Solutio of the oliear equatios resultig form a optimizatio problem is usually
More informationReview of Important Concepts
Appedix 1 Review f Imprtat Ccepts I 1 AI.I Liear ad Matrix Algebra Imprtat results frm liear ad matrix algebra thery are reviewed i this secti. I the discussis t fllw it is assumed that the reader already
More informationLecture 21: Signal Subspaces and Sparsity
ECE 830 Fall 00 Statistical Sigal Prcessig istructr: R. Nwak Lecture : Sigal Subspaces ad Sparsity Sigal Subspaces ad Sparsity Recall the classical liear sigal mdel: X = H + w, w N(0, where S = H, is a
More informationMean residual life of coherent systems consisting of multiple types of dependent components
Mea residual life f cheret systems csistig f multiple types f depedet cmpets Serka Eryilmaz, Frak P.A. Cle y ad Tahai Cle-Maturi z February 20, 208 Abstract Mea residual life is a useful dyamic characteristic
More informationOptimally Sparse SVMs
A. Proof of Lemma 3. We here prove a lower boud o the umber of support vectors to achieve geeralizatio bouds of the form which we cosider. Importatly, this result holds ot oly for liear classifiers, but
More informationMatching a Distribution by Matching Quantiles Estimation
Jural f the America Statistical Assciati ISSN: 0162-1459 (Prit) 1537-274X (Olie) Jural hmepage: http://www.tadflie.cm/li/uasa20 Matchig a Distributi by Matchig Quatiles Estimati Niklas Sgurpuls, Qiwei
More informationUnit -2 THEORY OF DILUTE SOLUTIONS
Uit - THEORY OF DILUTE SOLUTIONS 1) hat is sluti? : It is a hmgeus mixture f tw r mre cmpuds. ) hat is dilute sluti? : It is a sluti i which slute ccetrati is very less. 3) Give a example fr slid- slid
More informationDistributions, spatial statistics and a Bayesian perspective
Distributins, spatial statistics and a Bayesian perspective Dug Nychka Natinal Center fr Atmspheric Research Distributins and densities Cnditinal distributins and Bayes Thm Bivariate nrmal Spatial statistics
More information