Skip to main content
7 events
when toggle format what by license comment
Jan 17 at 11:20 comment added Hannes I see, the authors claim F-differentiability of $S \colon L^\infty(\Omega_T) \to W(0,T) \cap L^\infty(\Omega_T)$. That seems indeed not clear to me at all, anything involving $\partial_t p$ can only be modeled in $L^2(0,T;H^{-1})$ and I do not see how you would get $L^\infty(\Omega_T)$ from that. I suppose that is why the authors do the directional derivatives. One would need to bootstrap regularity and move to a more regular functional analytic setting if you ask me.
Jan 17 at 10:42 comment added Paul Joh Good idea ! But I think for boundedness of the inverse, I need $\lVert \partial_t p - \Delta p + (2u-a+q)p \rVert_{\infty} \geq C \cdot \lVert p \rVert_{\infty}$ so an opposite bound
Jan 17 at 9:12 comment added Hannes They have that covered in the paper, no? Lemma 3.2 and Theorem 3.1 with the appropriate substitutions?
Jan 17 at 8:50 comment added Paul Joh Hey thanks, I looked at the implicit fct. theorem in your reference. Super interesting. But I think, the bottleneck is the requirement that $e_y$ has a bounded inverse. In my case, this is not clear for the map $p \mapsto \partial_{T} p - \Delta p + (2u-a+q)p$ in $L^{\infty}$
Jan 16 at 20:28 comment added Hannes You're welcome! Regarding differentiability, if in the above notation $e$ is $m$ times continuously Fréchet differentiable, then so is $S$. This is the magic of the implicit function theorem! (Here in fact $e$ is quadratic, so its third derivative vanishes already.)
Jan 16 at 19:12 comment added Paul Joh Hey Hannes, thanks alot for your help ! I gained alot of intuition from your answer :) I also wondered how to prove the existence of the second order derivative rigorously. In your book it is just assumed. Unfortunately, here the implicit function theorem fails me (at least in the way its applied in Fredi Tröltzsch).
Jan 16 at 16:12 history answered Hannes CC BY-SA 4.0