Проект . Работа с интегральными операторами - l2_lib

Здесь приводится краткое описание существующих на настоящий момент функций (процедур) библиотеки l2_lib.m пакета . Полное описание при необходимости можно найти в .PDF-документе.

Ядро + ... + ядро -> ядро

l2_Ksum := proc(K_1::list, K_2::list)
Вычисляет сумму ядер K_1 и K_2:

.

l2_Kmult := proc(K_1::list, K_2::list)
Вычисляет произведение ядер K_1 и K_2:

.

l2_Ksuperpos := proc(K1::list, K2::list)
Вычисляет ядро оператора :

.

l2_EKcomb := proc(c_1,K_1::list, c_2,K_2::list,... c_n,K_n::list)
Вычисляет линейную комбинацию ядер K_1, K_2, ... K_n с коэффициентами c_1, c_2, ... c_n соответственно.

Ядро + функция -> функция

l2_KFapplyOp := proc(K::list, x::list)
Вычисляет -функцию, являющуюся значением интегрального оператора с ядром K на -функции x:

.

Ядро + функция -> ядро

l2_FKmult := proc(x::list, K::list)
Вычисляет произведение -функции x и ядра K:

.

l2_KFmult := proc(K::list, x::list)
Вычисляет произведение ядра K и -функции x:

.

l2_EKmult := proc(f, K::list)
Вычисляет произведение ядра K на выражениеf.

l2_FKinnerSubst := proc(K::list, h::list)
Вычисляет ядро произведения оператора внутренней суперпозиции (
см.) на интегральный оператор, порожденный ядром K:

.

Ядро -> ядро

l2_Kconjugate := proc(K::list)
Вычисляет комплексно сопряженное ядро.

l2_Kadjoint := proc(K::list)
Вычисляет ядро оператора, сопряженного к оператору K:

.

Ядро -> функция

l2_KtSection := proc(K::list, c::rational)
Строит сечение ядра по заданному значению t = c:

.

Функция -> ядро

l2_FtConvert := proc(x::list)
Преобразует -функцию x в ядро .

l2_FsConvert := proc(x::list)
Преобразует -функцию x в ядро .

Функция + ... + функция -> ядро

l2_FKdegen := proc(phi_1::list,psi_1::list, phi_2::list,psi_2::list, ..., phi_n::list,psi_n::list)
Возвращает вырожденное ядро

.

l2_FKresolvent := proc(phi_1::list,psi_1::list, phi_2::list,psi_2::list, ..., phi_n::list,psi_n::list)
Возвращает резольвенту вырожденного ядра .

l2_FKprojector := proc(phi_1::list, phi_2::list, ..., phi_n::list)
Возвращает ядро интегрального оператора - ортогонального проектора на линейную оболочку -функций - аргументов процедуры.