Timeline for Showing that a nonlinear operator over function spaces is differentiable and locally invertible?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 1, 2022 at 23:51 | vote | accept | Isaac | ||
| Dec 30, 2021 at 18:58 | answer | added | Deane Yang | timeline score: 2 | |
| Dec 30, 2021 at 15:44 | answer | added | DCM | timeline score: 4 | |
| Dec 29, 2021 at 22:55 | comment | added | DCM | Just in case you're not aware of it already: there are lots of nice examples of this sort of thing in R. S. Hamilton's "The Inverse Function Theorem of Nash and Moser". | |
| Dec 29, 2021 at 22:22 | comment | added | DCM | Isn't $F'(0)$ just the inclusion map sending $C^1([0,1])$ into $C([0,1])$? (or have I just displayed an embarrassing inability to differentiate ;)) | |
| Dec 29, 2021 at 13:38 | history | edited | Daniele Tampieri | CC BY-SA 4.0 |
Minor Math Jaxing and formatting
|
| Dec 29, 2021 at 1:46 | history | asked | Isaac | CC BY-SA 4.0 |