Reference request: Simple facts about vector-valued Sobolev space - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T03:41:53Z http://mathoverflow.net/feeds/question/87486 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/87486/reference-request-simple-facts-about-vector-valued-sobolev-space Reference request: Simple facts about vector-valued Sobolev space Nate Eldredge 2012-02-03T22:09:55Z 2012-02-05T20:53:21Z <p>Let $V,H$ be separable Hilbert spaces such that there are dense injections $V \hookrightarrow H \hookrightarrow V^*$. (For example, $H = L^2(\mathbb{R}^n)$, $V = H^1(\mathbb{R}^n)$, $V^* = H^{-1}(\mathbb{R}^n)$.) We can then define the vector-valued Sobolev space $W^{1,2}([0,1]; V, V^*)$ of functions $u \in L^2([0,1]; V)$ which have one weak derivative $u' \in L^2([0,1], V^*)$. Such spaces arise often in the study of PDE involving time.</p> <p>I would like a reference for some simple facts about $W^{1,2}$. For example:</p> <ul> <li><p>Basic calculus: integration by parts, etc.</p></li> <li><p>The "Sobolev embedding" result $W^{1,2} \subset C([0,1]; H)$;</p></li> <li><p>The "product rule" $\frac{d}{dt} ||u(t)||_H^2 = (u'(t), u(t))_{V^*, V}$</p></li> <li><p>$C^\infty([0,1]; V)$ is dense in $W^{1,2}$.</p></li> </ul> <p>These are pretty easy to prove, but they should be standard and I don't want to waste space in a paper with proofs.</p> <p>Some of these results, in the special case where $V$ is Sobolev space, are in L. C. Evans, <em>Partial Differential Equations</em>, section 5.9, but I'd rather not cite special cases. Also, in current editions of this book, there's a small but significant gap in one of the proofs (it is addressed briefly in the latest errata). So I'd prefer something else.</p> <p>Thanks!</p> http://mathoverflow.net/questions/87486/reference-request-simple-facts-about-vector-valued-sobolev-space/87487#87487 Answer by Liviu Nicolaescu for Reference request: Simple facts about vector-valued Sobolev space Liviu Nicolaescu 2012-02-03T22:30:00Z 2012-02-03T22:30:00Z <p>If you read French then this book is the place you are looking for</p> <blockquote> <p>Brézis, H. Opérateurs maximaux monotones et semi-groupes de contractions dans les espaces de Hilbert. (French) North-Holland Mathematics Studies, No. 5. Notas de Matemática (50). North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1973. vi+183 pp.Inc., </p> </blockquote> <p>Another source</p> <blockquote> <p>Barbu, Viorel(R-IASIM) Nonlinear differential equations of monotone types in Banach spaces. Springer Monographs in Mathematics. Springer, New York, 2010. x+272 pp. ISBN: 978-1-4419-5541-8978-1-4419-5541-8 </p> </blockquote> http://mathoverflow.net/questions/87486/reference-request-simple-facts-about-vector-valued-sobolev-space/87607#87607 Answer by TaQ for Reference request: Simple facts about vector-valued Sobolev space TaQ 2012-02-05T18:38:17Z 2012-02-05T18:38:17Z <p>J. Wloka "Partial differential equations", § 25 (p. 390 on, in my 1992 CUP edition) has an account of the space $W(0,T)=W_2^1(0,T)$ which is essentially the space $W^{1,2}([0,T];V,V^*)$.</p> http://mathoverflow.net/questions/87486/reference-request-simple-facts-about-vector-valued-sobolev-space/87615#87615 Answer by András Bátkai for Reference request: Simple facts about vector-valued Sobolev space András Bátkai 2012-02-05T20:53:21Z 2012-02-05T20:53:21Z <p><a href="http://www.amazon.com/Linear-Quasilinear-Parabolic-Problems-Mathematics/dp/3764351144/ref=sr_1_4?s=books&amp;ie=UTF8&amp;qid=1328475127&amp;sr=1-4" rel="nofollow">Herbert Ammann's book</a> on parabolic problems contains an excellent introduction.</p>