Постановка задачи измерения

II. КЛАССИЧЕСКИЕ НЕКОРРЕКТНЫЕ ЗАДАЧИ

Тем, кто стремится к последней ясности,

Следует просто подумать:

Сумма примеров равна их разности,

Сумма теорий сумма.

Абу-Али Аль-Хавои (персидский поэт, V век до Р.Х.)

Постановка задачи измерения

Обычно в общей постановке задачи анализа эксперимента мы имеем нелинейное интегральное уравнение . Здесь и - измеренная и искомая функции соответственно, а ядро интегрального уравнения зависит от искомой функции. Интегральные уравнения появляются при рассмотрении обратных задач, возникающих в том числе и в тех случаях, когда непосредственное измерение физических характеристик невозможно или затруднительно. Потом оно линеаризируется, так как большинство методов исследования применимо лишь к линейным задачам. В нашем случае получаем линейное интегральное уравнение, сопоставляющее функцию с новой функцией , определяемой с помощью формулы , где - некоторая фиксированная непрерывная функция двух переменных.Везде далее будем полагать, что ядро непрерывно по совокупности аргументов или удовлетворяет условию Гильберта Шмидта: . Поскольку это уравнение чаще всего решать ещё нельзя, проводится алгебраизация задачи, то есть сведение её к СЛАУ . Здесь , линейные функционалы от функций и , то есть или их значения в опорных точках, или коэффициенты разложения по какой- либо ПОНС (см. п. 1 главыVII).

Пример 1. Задача об измерении распределения яркости света.

Изображение и объект геометрически подобны, поэтому схема измерения яркости изображения с помощью прибора выглядит так. Выберем масштабы вдоль осей и так, чтобы для любых двух взаимно соответствующих точек и выполнялось условие , где – светящаяся точка объекта, а – точка изображения. Это называется калибровкой прибора.

Светящаяся точка объекта влияет на освещённость всего изображения, причём наибольшая яркость приходится на точку . Пусть – плотность яркости объекта, тогда яркость элемента , а яркость изображения в точке , где – аппаратная функция или ядро соответствующего интегрального уравнения. Яркость всего объекта имеет вид , где суммирование проводится по конечной длине объекта . Переходя к пределу в этой интегральной сумме Римана, получим распределение яркости изображения (плотность яркости) , где известная аппаратная функция. Возможны следующие постановки задачи.

1. распределение плотности яркости изображения известно (измерено), а ищется распределение плотности яркости объекта. Тогда это уравнение называется интегральным уравнением Фредгольма I рода.

2. Изображение таково, что яркость его пропорциональна яркости объекта , тогда . Это уравнение называется однородным интегральным уравнением Фредгольма II рода.

3. Если потребовать, чтобы разность плотностей яркости изображения и объекта была заданной функцией , то . Это уравнение называется неоднородным интегральным уравнением Фредгольма II рода.

Ядро этого уравнения определено на квадрате и является заданной непрерывной по совокупности аргументов функцией; заданная непрерывная функция, неизвестная функция, которую полагаем непрерывной. Все функции полагаем действительными. Если ядро отлично от нуля только на треугольнике (т. е. при ), тоинтегральные уравнения Фредгольма переходят в интегральные уравнения Вольтерра. Уравнения Вольтерра – те уравнения, которые описывают направленные процессы. Они выглядят следующим образом: уравнения ВольтерраI рода, однородное уравнение Вольтерра II рода, неоднородное уравнение Вольтерра I рода.

Комментарий. К интегральным уравнениям сводятся любые задачи математической физики. Даже задачи, записанные в форме уравнений в частных производных, в исходной постановке сформулированы в виде интегральных законов сохранения, то есть интегральных уравнений. П Преимущества интегральных уравнений:

1. Задача решения интегрального уравнения эквивалентна решению задачи Коши для дифференциального уравнения.

2. Одномерную задачу легко сделать -мерной, положив . В этом случае появятся многомерные интегралы и этот переход от одной переменной ко многим является естественным. Многомерным аналогом одномерного нелинейного интегрального уравнения

где ядро и правая часть заданные функции, является уравнение , где , отличающееся от одномерного только тем, что интегрирование проводится по многомерной области G. Поскольку оба уравнения не требуют дополнительных условий и полностью определяют задачу, аналогия является полной. В дифференциальных же уравнениях переход от одной переменной к нескольким, т. е. от обыкновенных дифференциальных уравнений к уравнениям в частных производных, является принципиальным усложнением, приводит к новым постановкам задач и требует новых методов для их обоснования и решения.

Корректные задачи сводятся к интегральным уравнениям Фредгольма II рода или сингулярным интегральным уравнениям, которые после некоторых преобразований обычно также сводятся к уравнениям второго рода. Некорректные задачи сводятся к интегральным уравнениям I рода, которые в операторной форме имеют вид .

Покажем некорректность интегрального уравнения ФредгольмаI рода. Пусть интегральное уравнение имеет вид . Очевидно, после интегрирования получим . Таким образом, если , то уравнение с такой правой частью не имеет решений, то есть сколь угодно малое, но конечное изменение правой части делает уравнение неразрешимым и соответственно такая задача является некорректной. Если правая часть – квадратный трёхчлен, то решение есть, но оно не единственно, так как любая интегрируемая на сегменте функция при условиях нормировки , и и есть решение интегрального уравнения Фредгольма I рода с этим ядром. Таким образом, интегральное уравнение Фредгольма I рода не всегда имеет решение, а если оно и есть, то оно не единственно. Но даже если решение существует и единственно, оно операторно неустойчиво относительно малых изменений начальных данных, то есть отсутствует непрерывная зависимость решения от правой части уравнения. Покажем это. Пусть . Рассмотрим возмущенное решение в пространстве , так как конкретные значения ошибок неизвестны и их можно оценить только в среднеквадратичном смысле. Тогда . Будем полагать, что ядро непрерывно по совокупности аргументов и . Оценим .

= . Оценим внутренний интеграл, воспользовавшись интегрированием по частям.

Так как , то , а , тогда , тогда , где некоторая константа. Это значит, что при достаточно большой круговой частоте ошибка измерения может быть сколь угодно малой.

Пространство решений, то есть физических, а следовательно, непрерывных функций, есть пространство Чебышева . Тогда . Таким образом, высокочастотное возмущение приведёт к сколь угодно сильному возмущению решения, то есть . Таким образом, интегральное уравнение Фредгольма I рода не определено ни математически, ни физически.

Комментарий. Интегральный оператор Фредгольма есть аналог умножения матрицы на вектор-столбец . Это понятно, если умножение матрицы на столбец записать в виде суммы, а для интеграла написать сумму Римана. Тогда интегральные уравнения Фредгольма I рода становятся аналогом системы линейных уравнений. Поэтому главным примером некорректных задач, на котором будет отрабатываться методика их решения, и является система линейных уравнений.

Вид ядра соответствующего уравнения определяется характером задачи. Например, для задачи определения профиля струны, находящейся под действием силы или для задач динамических измерений при приеме любого сигнала ядро имеет вид . Это ядро типа свертки. Ему соответствует оператор Вольтерра. Собственных значений этот оператор не имеет, поскольку выходной сигнал динамической системы не повторяет входного.

Пример 2. Задача динамических измерений.

При выполнении динамических измерений, т.е. измерений, при которых требуется найти не одно простое значение какой-либо физической величины, а зависимость между физическими величинами, возникают аппаратные искажения. Например, зависимость напряжения от времени на выходе некоторого электронного прибора, зависимость интенсивности выходного сигнала на выходе спектрометра от длины волны излучения и т. п. В рамках линейной модели считается, что результат измерения, то есть выходной сигнал , является свёрткой входного сигнала с аппаратной функцией прибора (импульсным откликом, весовой функцией, функцией Грина).

Аппаратная функция прибора соответствует реакции прибора на поданный на его вход -импульс вместо входного сигнала .

Тогда уравнение, описывающее эту ситуацию, имеет вид свёртки: . (Свёрткой двух функций и называется функция ). Пусть есть Фурье-преобразования от функций , , соответственно, то есть , , . Тогда Фурье-образ результата свертки равен произведению Фурье-образов компонентов свертки: , где под операторами и подразумевается преобразование Фурье.

Комментарий. Рассмотрим частный случай.

.

прямое преобразование Фурье

обратное преобразование Фурье

Тогда по теореме о свертке:

K(λ)

λ

при λ → ∞

Так как , ; это значит, что любое ядро гасит высокочастотные составляющие, то есть измерение сигналов на фоне высокочастотных составляющих бессмысленны.

Очевидно, что для нахождения входного сигнала достаточно найти частное Фурье-образов выходного сигнала и аппаратной функции, а потом выполнить обратное преобразование Фурье. Тогда . Вернувшись к , получим , где частота Фурье. При увеличении задача становится неустойчивой, так как реальная аппаратная функция прибора достаточно гладкая, то есть её Фурье-образ не содержит высокочастотных составляющих и . При наличии во входном сигнале шумов (что неизбежно в реальных экспериментах) Фурье-образ выходного сигнала имеет вид . Здесь Фурье-образ шума . Следует отметить, что спектр шумов практически равномерный и, следовательно, на высоких частотах значительно превышает спектр аппаратной функции . Это ведет к неограниченному возрастанию второго слагаемого. В результате будет получена лишь быстроосциллирующая функция, не имеющая ничего общего с исходным сигналом. Таким образом, это типичная некорректная задача.

Комментарий. 1. Очевидным решением этой проблемы является применение фильтра, ограничивающего рассматриваемый спектральный диапазон. Ограничивая спектральный диапазон прибора, мы уменьшаем влияние шумов, но вместе с тем ухудшаем разрешающую способность прибора, что эквивалентно использованию априорной информации о гладкости исходной функции. Это и есть один из основных методов решения некорректных задач регуляризация, параметром которой является полоса пропускания прибора.

2.Наша уверенность в справедливости квантовой механики основана в значительной степени на интерпретации данных экспериментальной спектроскопии атомов и молекул, т.е., по существу, на решении обратной задачи типа . Не означает ли это, что квантовая теория есть просто хорошо продвинутый раздел теории некорректных задач?

Поиск по сайту: