436 reputation
17
bio website
location
age
visits member for 1 year, 4 months
seen Oct 19 '13 at 17:43

Jul
2
awarded  Curious
Apr
29
awarded  Yearling
Oct
4
comment A question about a trace operator (is this right?)
Hmm, according to Evans I should take $C^0$ instead. I didn't think then that intersection space would be dense..
Oct
3
asked A question about a trace operator (is this right?)
Oct
3
asked The constant in the Sobolev trace theorem inequality
Oct
1
comment Why is this space dense in this Sobolev space? (Bochner spaces)
Thanks man let me read and understand it..
Oct
1
revised Why is this space dense in this Sobolev space? (Bochner spaces)
added 105 characters in body
Oct
1
comment Why is this space dense in this Sobolev space? (Bochner spaces)
@Tomás Cool down I was just about to include it!!
Oct
1
revised Existence results for this ODE? (periodic)
added 24 characters in body
Oct
1
asked Existence results for this ODE? (periodic)
Sep
30
comment Why is this space dense in this Sobolev space? (Bochner spaces)
@Tomás Recall that $W^1 \subset C([0,T];H)$ by Sobolev embedding, where $V \subset H \subset V^*$ is Gelfand triple. I should've included that. This problem is in the book by Roubicek's Nonlinear PDEs swith Applications, page 264 (see footnotes).
Sep
30
accepted How to show this $H^1$ space is separable?
Sep
30
comment Why is this space dense in this Sobolev space? (Bochner spaces)
@Etienne $u$ has weak derivative $u' \in L^2(0,T;V^*)$ if $\int_0^T u(t)\varphi'(t) = -\int_0^T u'(t)\varphi(t)$ holds for all $\varphi \in C_c^\infty(0,T).$
Sep
30
comment Is $L^2(0,T;V_f) \subset L^2(0,T;V)$ closed if $V_f \subset V$?
@Norbert So the subspace is also a banach space. Do you know if there is an easier way to see this other than "closed subspace of Banach space is Banach"?
Sep
30
asked Why is this space dense in this Sobolev space? (Bochner spaces)
Sep
30
asked How to show this $H^1$ space is separable?
Sep
26
comment Definition of global weak solution to PDE
Oh I see. I didn't think of that..
Sep
26
comment Definition of global weak solution to PDE
@Tomás So one should use test functions $\varphi \in C_c^\infty(0,T)$ for every $T > 0$ is what you mean I suppose.
Sep
26
asked ODE with periodic initial/end condition
Sep
26
asked Definition of global weak solution to PDE