Вырожденное Ядро

с частными производными - дифференциальное уравнение с частными производными, тип к-рого вырождается в нек-рых точках области задания уравнения или на ее границе. Тип уравнения или системы уравнений в точке определяется одним или несколькими алгебраич. Соотношениями между коэффициентами. Среди этих соотношений имеются, как правило, строгие неравенства. Если в нек-рых точках рассматриваемой области вместо строгих неравенств выполняются нестрогие, то говорят о вырождении типа, а уравнение (систем..

- дифференциальное уравнение с частными производными где действительная функция удовлетворяет условиям. для всех действительных и существует , при к-ром в соотношении (2) достигается равенство. Здесь. Хесть n-мерный вектор . -искомая функция, - мультииндекс - вектор с компонентами причем в уравнение (1) входят производные порядка не выше - компоненты вектора есть n-мерный вектор Если в соотношении (2) для к.-л. Х и Du идля всех действительных выполняется строгое неравенство, ..

один из методов построения аппроксимирующего уравнения для приближенного (и численного) решения нек-рых видов линейных и нелинейных интегральных уравнений. Основным типом интегральных уравнений, пригодных для применения В. Я. М., являются линейные одномерные интегральные уравнения Фредгольма II рода. Для таких уравнений В. Я. М. Состоит в приближенной замене ядра К( х, s).интегрального уравнения на вырожденное ядро вида и в последующем решении вырожденного интегрального уравнения Ф..

пропозициональное исчисление,- общее название дедуктивных систем, выводимые объекты к-рых интерпретируются как суждения, составленные из простейших (не анализируемых в рамках В. И.) суждений при помощи пропозициональных связок (таких, как "не", "и", "или", "если..., то..." и др. См. Логические исчисления). Важнейшим примером является классич. В. И., в интерпретации к-рого суждения рассматриваются как принимающие два значения ("истина" и "ложь") и выводимыми объектами оказываются все тождественн..