Является ли оператор
![$\[A:C_0^2\left[ {a,b} \right] \to C\left[ {a,b} \right]\]$ $\[A:C_0^2\left[ {a,b} \right] \to C\left[ {a,b} \right]\]$](https://dxdy-03.korotkov.co.uk/f/a/9/9/a991e7356ab1e3945461356e8c3c8f1382.png)
,
![$\[\left( {Ax} \right)\left( t \right) = x''\left( t \right)\]$ $\[\left( {Ax} \right)\left( t \right) = x''\left( t \right)\]$](https://dxdy-04.korotkov.co.uk/f/b/f/e/bfee0a4ffc54c02564f30b800ac4331082.png)
, где
![$\[x\left( a \right) = x\left( b \right) = 0\]$ $\[x\left( a \right) = x\left( b \right) = 0\]$](https://dxdy-04.korotkov.co.uk/f/f/e/5/fe57accc9fcb3b09f41caf4e342f89f782.png)
ограниченным?
По всей видимости нет, так как для этого ограниченным должно быть
![$ \[\frac{{{{\left\| {x''} \right\|}_C}}}{{{{\left\| x \right\|}_{{C^2}}}}}\]$ $ \[\frac{{{{\left\| {x''} \right\|}_C}}}{{{{\left\| x \right\|}_{{C^2}}}}}\]$](https://dxdy-04.korotkov.co.uk/f/3/c/e/3ce2fd7f934fbf99723863225abd212082.png)
, но вторая производная может вести себя как угодно, вне зависимости от самой функции и это значение вообще говоря неограничено. Верно?
-- Ср ноя 30, 2011 11:40:26 --Это возникло вот в какой задаче.
Пусть
![$\[C_0^2\left[ {a,b} \right]\]$ $\[C_0^2\left[ {a,b} \right]\]$](https://dxdy-02.korotkov.co.uk/f/1/1/7/1172fe63c7e08b12d4917761d25d233282.png)
- пространство дважды непрерывно дифференцируемых на отрезке
![$\[\left[ {a,b} \right]\]$ $\[\left[ {a,b} \right]\]$](https://dxdy-04.korotkov.co.uk/f/f/d/c/fdc99b8d102cb81710b08ff895ed0e0082.png)
функций, обращающихся в ноль на концах отрезка. Рассмотрим оператор
![$\[F:C_0^2\left[ {a,b} \right] \to C\left[ {a,b} \right]\] $ $\[F:C_0^2\left[ {a,b} \right] \to C\left[ {a,b} \right]\] $](https://dxdy-02.korotkov.co.uk/f/9/2/4/92463a63c57349dbc1650e099cee9d3082.png)
такой, что
![$\[\left( {Fx} \right)\left( t \right) = x''\left( t \right) + f\left( {x\left( t \right),t} \right)\]$ $\[\left( {Fx} \right)\left( t \right) = x''\left( t \right) + f\left( {x\left( t \right),t} \right)\]$](https://dxdy-03.korotkov.co.uk/f/6/c/e/6ce7fb7f875cad093bb21648c4df3b0482.png)
, где функции
![$\[f\left( {x,t} \right)\]$ $\[f\left( {x,t} \right)\]$](https://dxdy-02.korotkov.co.uk/f/5/1/1/5116bbfd23388de0762e51a4ea2a2fc482.png)
и
![$\[{f_x}\left( {x,t} \right)\]$ $\[{f_x}\left( {x,t} \right)\]$](https://dxdy-04.korotkov.co.uk/f/b/1/5/b15620d1ccd30969d1a04317fdc3f76982.png)
непрерывны на
![$\[\left[ { - r,r} \right] \times \left[ {a,b} \right]\]$ $\[\left[ { - r,r} \right] \times \left[ {a,b} \right]\]$](https://dxdy-02.korotkov.co.uk/f/5/5/d/55df122eea15bf409ec2b25052eb2ae882.png)
. Доказать, что
![$\[\left( {F'\left( x \right)z} \right)\left( t \right) = z''\left( t \right) + {f_x}\left( {x\left( t \right),t} \right)z\left( t \right)\]$ $\[\left( {F'\left( x \right)z} \right)\left( t \right) = z''\left( t \right) + {f_x}\left( {x\left( t \right),t} \right)z\left( t \right)\]$](https://dxdy-03.korotkov.co.uk/f/e/6/d/e6dc569a11b7adb44b6130d697ef161e82.png)
(дифференцирование Фреше).
Мне осталось показатьо только, что оператор
![$\[F'\]$ $\[F'\]$](https://dxdy-02.korotkov.co.uk/f/d/e/9/de9a25385b4d6e88565fbea33155c8f982.png)
является ограниченным. Со вторым слагаемым понятно, а с первым нет.