Привести примеры операторов в заданных пространствах:
`1) C[0,2) -> C[0,2]`
`2) m -> C[0, infty)`, где `m`-пространство ограниченных последовательностей
В первом, подозреваю, что будет интеграл с пределами от 0 до 2 от какой то функции + еще что-нибудь
А по второму ничего не могу сказать...
Подскажите, пожалуйста, как действовать в таких заданиях?
`1) C[0,2) -> C[0,2]`
`2) m -> C[0, infty)`, где `m`-пространство ограниченных последовательностей
В первом, подозреваю, что будет интеграл с пределами от 0 до 2 от какой то функции + еще что-нибудь
А по второму ничего не могу сказать...
Подскажите, пожалуйста, как действовать в таких заданиях?
Ну, таких примеров много... например, возведение функции в квадрат... или умножение на какую-нибудь непрерывную функцию ...
Во втором ... ну, возьмите какой-нибудь сходящийся степенной ряд, например, от экспоненты.... умножьте слагаемые на элементы последовательности...
А для второго, `(Ax)(t)=sum_{n=1}^{infty} (x(t))^n/(n!)*x_n(t)`, где `x_n(t)` - элементы последовательности ?
Я думал, что у Вас используются числовые последовательности...
Ну, хотя не суть... всё равно ряд должен получится равномерно сходящимся...
Почему Вы `(x(t))^n` пишите, если икс в Ваших обозначениях это последовательность... там что-нибудь иное должно стоять...
тогда так, `(Ax)(t)=sum_{n=1}^{infty} y_n*(x(t))^n/(n!)` , где `y_n` - элементы последовательности?
И по первому примеру - правильно написал?
вроде, да ...
тогда так, `(Ax)(t)=sum_{n=1}^{infty} y_n*(x(t))^n/(n!)`, где `y_n` - элементы последовательности?
Если у Вас оператор действует из пространства `m`, то почему пишите `Ax`?... ведь последовательность у Вас это игрек?
А вот по первому, можете объяснить суть подбора примера, смущает отображение из интервала в отрезок... И, если можно, еще пример какой-нибудь
Хм... я этого не заметил... тогда такой пример (с возведением в квадрат) не пройдёт, так как функция может быть неограниченной на правой границе...
Возьмите тогда. например, оператор умножения на какую-нибудь функцию... и укажите функцию, доставляющую оператору нужные свойства...
мм, тогда `(Ay)`...
А что у Вас при этом обозначено за икс?...
такой может, `(Ax)(t)= int_0^2 x(t) dF(t), F(0)=0`, `F(t)` - непрерывна слева на `[0,2)` ?
А что у Вас при этом обозначено за икс?... - а здесь уже запутался...
такой может, - А Вы уверены, что интеграл будет сходится?...
А Вы уверены, что интеграл будет сходится?... - нет... лучше тогда брать не интеграл, хорошо...
оператор умножения на какую-нибудь функцию... и укажите функцию, доставляющую оператору нужные свойства... - я так понимаю произведение двух непрерывных функций?
Уже лучше... но роль икса всё равно не раскрыта...
лучше тогда брать не интеграл...
Я этого не говорил...
я так понимаю произведение двух непрерывных функций? - Эммм... я о свойствах результирующей функции (`in C[0;2]`) ...
Я этого не говорил... - значит можно брать интеграл
Но можно ли взять тот, который я написал (на самом деле я написал интеграл от теоремы об общем виде функционала в пространстве `C[a, b]` (теорема Ф.Рисса))
Можно, если правильно укажите свойства ядра оператора...
но роль икса всё равно не раскрыта...
Что у Вас является аргументом функции, которая получается как образ оператора?...
Можно, если правильно укажите свойства ядра оператора... - ядром `int_0^2 x(t) dF(t)` будет `x(t)` ?
Это у Вас надо спросить...
При этом раньше всё время писали аргумент образа при введении оператора... а тут перестали ...
ядром `int_0^2 x(t) dF(t)` будет `x(t)` ? - нет... это аргумент самого оператора...
Ядро - это функция, на которую умножаете аргумент под интегралом...
разумеется...
Вы какие неприятности исходного аргумента должны побороть?...
У Вас есть функция `x(t)`, которая непрерывна на полуоткрытом множестве... и может быть неограниченной на границе...
Значит, интеграл имеет особенность ... то есть будет несобственным...
Так напишите условие, чтобы при любой функции икс интеграл был сходящимся...
Так напишите условие, чтобы при любой функции икс интеграл был сходящимся... - получается надо доопределить функцию в 2? `f(2)=0`?
да. требуется нечто подобное... но просто значения в точке будет маловато...
Зачем Вам разрывная функция на границе?...
Запишите определение несобственного интеграла второго рода и увидите, что такая функция не подойдёт...
Ну, непрерывность тут естественна, но нужно более сильное предположение о поведении ядра в окрестности граничной точки...
Поясню свою мысль... (и для простоты писанины перенесу особенность в нуль)...
Возьмём, например, функцию `f(t) = t^2`... тогда для функции `x(t) = 1/{t^3} in C(0;1]` интеграл `int_{0}^{1} x(t)*f(t)*dt` будет расходится ...