книги / Модели непрерывных каналов связи на основе стохастических дифференциальных уравнений
..pdfстохастических дифференциальных уравнений (СДУ) вида
п
■^Г= ft (х) + |
8ч(х) 5,(<). |
(2И-1> |
|
/=1 |
|
где х (/) = [xi (/), . . хп (0 ] т — я-мерный случайный процесс, одна
или несколько |
компонент которого |
представляют |
моделируемый |
||
процесс; /,(х) |
и gij(x) — некоторые |
нелинейные функции х; £,(/) — |
|||
независимые процессы типа белого |
гауссовского шума (£= 1, 2, |
||||
..., |
я; / = |
1, 2, |
. . п). |
|
|
то |
Если |
функции fi(x) и g;/(x) удовлетворяют условию Липшица, |
|||
СДУ |
(2.1.1) определяют я-мерный марковский |
процесс [142]. |
Известны столь же простые достаточные условия единственности
решения этих уравнений [125, 142]. |
В частном случае, когда |
|
fi(x) — линейные |
функции, а коэффициенты gij не зависят от х, |
|
уравнения (2.1.1) |
описывают гауссовские процессы. За счет выбо |
|
ра нелинейных функций fi(x) и ga(x) |
можно описывать с помощью |
таких СДУ разнообразные виды негауссовских процессов.
Для построения рассматриваемой модели необходимо синтези ровать указанные функции на основе некоторой исходной инфор мации о моделируемых процессах в канале. Однако для правиль ного выбора метода такого синтеза целесообразно провести пред
варительный анализ вероятностных характеристик |
процесса x(t) |
в предположении, что описывающие его СДУ (2.1.1) |
известны. Это |
позволяет выявить некоторые требования к коэффициентам СДУ, обеспечивающие получение характеристик определенного типа. Тогда будет уже заранее известно, в каком подклассе уравнений (2:1.1) следует искать решение задачи синтеза. Общий подход к определению вероятностных характеристик многомерного мар ковского процесса, описываемого СДУ вида (2.1.1), в принципе прост. Как известно [25, 142], плотность вероятности такого про цесса является решением уравнения Фоккера— Планка— Колмого
рова (УФПК) (1.4.14) |
при начальных условиях w(x, to)= w (xо) и |
некоторых граничных |
условиях, определяемых характером зада |
чи К Такому же уравнению удовлетворяет и плотность вероятности перехода я(х, t |хо, *о).
Локальные характеристики марковского процесса связаны с ко эффициентами СДУ простыми соотношениями (1.4.16). Однако по лучить решение УФПК в аналитическом виде или хотя бы числен но в общем случае при я > 1 — непростая задача даже при исполь зовании ЭВМ. Известные методы его решения [45, 47, 79, 102, 142] пригодны главным образом для случая п = 1 и, как правило, плохо приспособлены для выяснения ряда принципиальных вопро сов, возникающих при моделировании каналов связи, в особен ности при аппаратурном моделировании. В частности, анали:
1 Здесь и в дальнейшем рассматривается решение УФПК в некоторой обла сти Й евклидова пространства Rn. Граничные условия задаются на границе Г
области Й. |
|
4* |
51 |
|
поведения моментных функций, оценка влияния коэффициентов СДУ на вероятностные характеристики его решения позволяют су щественно упростить сложную задачу синтеза модели, однако большинство известных методов в общем случае не дает таких возможностей. Поэтому с учетом специфики рассматриваемых здесь задач ниже будут изложены модификации известных мето дов решения УФПК.
2.1.2. Метод разделения переменных
Этот метод удобен для оценки поведения моментных функций, и на его основе получают результаты, обобщающие разложение Баретта— Лэмпарда [164] на многомерный случай.
Следует отметить, что применение метода разделения перемен ных (метода Фурье) к УФПК общего вида (1.4.14) в том виде, как это иногда делается, не является вполне корректным. Извест но, что для параболических уравнений применение метода Фурье всегда возможно в случаях представления УФПК в симме трическом виде, а также для некоторых таких несамосопряжен ных операторов, которые допускают разложение решения в ряд Фурье по собственным функциям их самосопряженной части. В общем случае должны выполняться весьма жесткие ограничения на взаимосвязь щ (х) и bij(x) в УФПК для того, чтобы соответст вующий ряд Фурье сходился, а собственные функции и собствен ные числа задачи удовлетворяли некоторым полезным свойствам, обсуждаемым ниже [81].
Проверка условий корректности метода Фурье не всегда является простой задачей. Однако в рассматриваемом ниже част
ном случае можно так преобразовать СДУ, |
чтобы |
возможность |
|
применения этого метода не вызывала сомнений. |
|
||
Пусть матрица G коэффициентов gif в СДУ (2.1.1) |
и соответст |
||
венно матрица диффузии В — |
в УФПК (1.4.14) независят |
||
от х. Подобные СДУ, как будет |
показано |
ниже, |
могут быть |
использованы как модели квадратурных компонент |
комплексной |
амплитуды замирающего сигнала, аддитивных помех и т. п. Моде ли такого типа удобны для имитации случайных процессов, а так же решения задач приема сигналов методами теории переменных
состояния |
[162]. При указанном условии можно преобразовать век |
||
тор х (/) |
с помощью некоторой матрицы U к новым |
координатам |
|
x '= U x , |
в |
которых матрица В становится диагональной: |
|
|
|
UBU“ , = D = [rf//]“=i |
(2.1.2) |
К преобразованному УФПК с диагональной матрицей диффу зии во многих случаях, встречающихся на практике, можно при менить метод разделения переменных и получить решение в фор ме сходящегося ряда.
Поскольку согласно [131] B = G G T — симметричная положи тельно определенная матрица, то всегда существует ортогональная
52
матрица U, обеспечивающая преобразование (2.1.2), причем 1 Н =
=U T,
Вновых координатах СДУ (2.1.1) приобретает вид [131]
dx'i |
(2.1.3) |
dt = Fi (UTx') + V^7?,(0. |
|
где |
|
f,(DTx') = |
2 «/if, (х). |
|
|
/=! |
|
и ему соответствует УФПК |
|
|
П |
|
|
dev (х', t) __ |
|
|
It |
|
|
— ~Т d (x'i)1 |
№“ w (х ’ ’ 0 ]}- |
(2.1.4) |
|
Решая преобразованное УФПК (2.1.4) обычным методом раз деления переменных [131, 142] при начальной плотности вероят
ности |
w(x', t )= W o ( x ') = 8 ( x ' —х'о), получаем для искомой плотно |
||||
сти |
ш (х', |
t) |
и одновременно плотности вероятности |
перехода |
|
я (х', |
/| х 'о , |
^о) |
представление |
|
|
|
|
|
00 |
|
|
w (x', t )= T :( x ’ , t JX 0, / e) = 2 J |
Х'л ( x ) % 'n ( * ' о ) |
(2.1.5) |
|||
|
^ c r ( * ' o )
m=0
и соответствующее представление двумерной плотности вероят ности
ш(х', х„)=*(х', /|х„ |
У = 2х,(х')х,(х'.)е |
|
(2-1.6) |
|||
|
|
|
<?=° |
|
|
|
где аУст(х'о)— стационарная |
плотность |
вероятности; |
т= ‘t—to, |
|||
a xq{x') |
и Xq — собственные функции и числа дифференциального |
|||||
оператора, соответствующего |
правой части |
(2.1.4). Они определя |
||||
ются из уравнения |
|
|
|
|
||
П |
|
|
|
|
|
|
- Г £ |
( д |
К /Х , (х')1 - -Щ- [F, (UTx')l х, (х') = |
(х'). |
(2.1.7) |
||
1= 1 |
|
|
|
|
|
|
Для |
решения |
(2.1.7), т. е. отыскания |
совокупности |
{Х,?} и |
{х?(х/)}> применимы известные приближенные процедуры, напри мер метод Галеркина и др. [81, 95].
Если |
матрица |
в (2.1.2) невырождена, то приведение оператора |
в (2.1.7) |
к симметрическому виду возможно при выполнении обоб |
|
щенных |
условий |
потенциальности [45, 131]. Известны примеры |
условий и для случая вырожденной матрицы диффузии. При их выполнении ряд (2.1.6) сходится, собственные числа функции
53
fa (x ') и числа Xq вещественны и образуют |
дискретный |
спектр во |
||
всех случаях, когда СДУ (2.1.1) не имеет |
сингулярных |
решений |
||
[149]. |
|
|
|
|
При этом система собственных функций |
{fa (-О ) ортогональ |
|||
на с весом |
|
|
|
|
I |
Шс.-(Х') |
^ |
|
(2.1.8) |
R" |
|
|
|
|
полна в L2(Rn) и удовлетворяет условию |
|
|
|
|
|
X ,(x ')d x '= 0 , q > |
1 |
|
(2.1.9) |
R"
Стационарная плотность вероятности W CT(X') может быть опре делена как функция Хо(х'), соответствующая Яс=0:
|
кУст(х')=Хо(х'). |
|
|
|
(2.1.10) |
||
При выполнении так |
называемого |
условия |
потенциальности |
||||
[131], требующего |
|
|
|
|
|
|
|
dFj (UTxf) |
dFi (UTx') |
|
(2.1.11) |
||||
|
|
|
dicTj |
’ |
|
||
|
|
|
|
|
|||
и условия изотропности, т. е. равенства всех dr |
|
|
|||||
d i = i ро, |
г = 1, 2, |
..., п, |
|
|
|
(2. 1. 12) |
|
стационарная плотность |
выражается |
в |
виде |
контурного |
инте |
||
грала: |
|
|
|
|
|
|
|
® и(х') = |
— |
ехр {2 R S a i ( x ' )rf4 |
(2.1.13) |
||||
|
|||||||
|
|
а |
/=1 |
|
|
|
|
где а — произвольная |
начальная |
точка; |
с — постоянная, |
опреде |
|||
ляемая величиной а и условиями нормировки. |
|
|
|||||
Хотя представление |
стационарной плотности вероятности в ви |
де (2.1.13), как отмечено выше, возможно не всегда, можно ука зать ряд типичных для каналов связи случайных процессов, приме нительно к которым удается получить для нее замкнутое аналити ческое выражение. Среди них в первую очередь следует назвать гауссовские процессы. Другим важным примером являются узко полосные процессы.
Рассмотрим, например, СДУ второго порядка:
|
|
|
^/7 + Ч (у> |
+ “ 2oУ = |
Уге |
%(t), |
|
||
где |
е — малый параметр; |
со2о> 0 ; |
о |
Из |
приведенного |
уравнения видно, |
|||
*^-"<^1. |
|||||||||
что |
при е= 0 |
оно соответствует уравнению |
гармонических колебаний с частотой |
||||||
©о. |
При добавлении |
в |
правую |
и левую |
части |
уравнений |
слагаемых вида |
||
Ч (у, |
5 (0 |
получаем уравнение нелинейного колебательного контура |
54
с «малой» нелинейностью, находящегося под воздействием «малых» случайных сил. Очевидно, что при этом решением уравнения является случайный процесс в форме квазигармонического колебания
y{t)=A(t) cos [о)оН-фо(0],
где A(t) и фо(0 — случайные амплитуда и фаза соответственно. Если они изме няются достаточно медленно, т. е. их спектр не выходит за пределы частоты (i)r<^(*)o, то процесс y{t) оказывается узкополосным. Энергия такого случайного процесса E(t) изменяется во времени также медленно. Это обстоятельство су щественно используют при анализе рассматриваемого СДУ. В [131] показано, что введением новых переменных
с последующим дифференцированием по t анализируемое СДУ сводится к систе ме из двух уравнений:
dx2
Hi
определяющих двумерный марковокий процесс х (t) = [*i (/), Х г(0]т*
Как |
уже указывалось, при малом е энергия изменяется во времени медленно |
|
и время |
пребывания |
y(t) в малой окрестности точки у будет обратно пропор |
ционально величине |
[131] |
Отсюда
w (у |хг) = const
и
55
где No — энергетический спектр шума £(f), а функция F(x2) определяется из уравнения
Из выражения для а>Ст(*ь х2), возвращаясь к старым переменным y(t) и dyfdt, получаем
Щт
где С — некоторая константа.
Выражение (1/ю2о) [(dy/dt)2]-\-y2(t), являющееся аргументом функции F, совпадает с квадратом огибающей, определенной по Тихонову [140]. Отсюда
( |
у, |
*У \ |
следует, что, зная шст = I |
I, всегда можно прийти к соотношению для |
Шст(А). В рамках корректности определения огибающей по Тихонову Л (/) явля ется одномерным марковским процессом, удовлетворяющим СДУ первого поряд ка [12].
В заключение приведем выражение для шст(Л), полученное в [12] для СДУ более общего вида:
|
|
d y\ d y |
*(0. |
|
У' -1Г)1Г + < У = Ь |
||
Для него |
|
|
|
li'cT (А) |
|
■х |
|
А г |
VIя, (К, А) V At~ y 2dy |
||
|
|
||
2ш2с |
* = £ _________________________________ =£______________ dz |
||
Х е х р |
|||
«у |
|
Jг F2(y, z) Vz2— y zdy |
|
—А |
|
—z |
|
где |
|
|
|
Fi(y, |
A) = |
U (y, |
1 = 1 ,2 . |
Последнее соотношение понадобится в дальнейшем при решении задач синтеза СДУ второго порядка.
Аналогичным образом, используя понятие гамильтониана
У |
- f <*2оУ> можно проанализировать систему из п СДУ второго порядка. |
56
Располагая выражением для плотности вероятности анализи руемого процесса, нетрудно найти и его другие вероятностные ха рактеристики.
Записанное выше соотношение (2.1.6) с учетом (2.1.8) и (2.1.9)
позволяет рассчитать моментные |
функции |
любой |
компоненты |
|||
x'j(t) |
многомерного процесса х'(£). |
второго |
порядка |
компонент |
||
Взаимные |
моментные функции |
|||||
x'i(t) |
и * '/(/) |
определяются |
непосредственно |
из (2.1.6) и имеют |
||
вид |
|
|
|
|
|
|
|
К,7 М = М |
|
= 2 А„А„е~1« 14 |
(2.1.14) |
||
где |
|
|
|
<?=! |
|
|
|
|
|
|
|
|
|
|
|
= |
l *',Х, (x')dx'. |
|
(2.1.15) |
|
|
|
|
R" |
|
|
|
В частности, при i— j получается |
|
|
|
*,M= f
q = \
Для определения моментных функций высших порядков необ
ходимо найти |
соответствующие |
многомерные плотности |
W N (X'), |
|||||
что легко сделать, учитывая свойство |
марковости. При |
N =3, |
||||||
например, получаем в трех сечениях х'о=х'о(/о), |
x 'i= x '(/i), х'2= |
|||||||
= < ( / 2) |
|
|
|
|
|
|
|
|
|
ш3 (х') = |
|
|
|
J |
X |
|
|
|
1 = |
|
|
|
|
|||
|
|
■ q = 0 |
|
|
|
|
||
X |
[ | > ,( Х ' ,)Х,(х',)е~М '’_ |
Ja'cr(x'2) |
* |
(2.1.16) |
||||
|
L o=0 |
|
|
|
|
|
|
|
Обозначив |
с учетом |
стационарности |
процесса |
t\—to=xu h— |
||||
— to=X2 после ряда преобразований находим |
|
|
||||||
|
|
|
|
|
00 |
|
N |
|
M lx '^ O x ',(/ + » ,)* ',(< + |
» ,)]= « 3 / (T,. |
S ) = 2 |
e |
|||||
|
||||||||
|
|
|
|
|
<?=o |
|
|
|
|
н- i i |
w |
(/> |
— X.Tt,— X . |
(t« I , ) |
(2.1.17) |
||
|
kl |
e |
|
|
|
|||
где |
k= 0 1=0 |
|
|
|
|
|
|
|
|
|
|
(x1) |
|
|
|
||
|
|
|
|
|
|
|
||
|
|
|
R'1 |
Юст (*') |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
Xi (*’ ) Xl (* ')cl*' |
(2.1.18) |
||||
|
|
|
|
wCT(x ') |
|
|
|
57
Ввиду вещественности х<?(х/) естественно считать, что коэффициен
ты /*„,•, |
а(;), а , — действительные числа. |
|
ч г |
q |
ql |
Тогда из (2.1.14) следует, что /С.(т) является непрерывной и монотонной функцией т. Общее выражение для моментной функции произвольного N-ro порядка оказывается довольно сложным.
Зная моментные функции вектора х'(^), нетрудно рассчитать по ним и соответствующие моментные функции исходного вектор ного процесса х(£). Учитывая, что x '= U x и поэтому в силу орто гональности U
|
|
^ = |
2 |
иых 'ь' |
|
|
(2.1.19) |
|
|
|
|
k=\ |
|
|
|
|
|
получаем, например, для корреляционной функции xt |
|
|||||||
|
К , (t) = t2 |
“ /.«;/ 3 |
|
W |
|
<2-1 -20> |
||
|
/= 1 |
/=| |
|
q= I |
|
|
|
|
Применив к (2.1.20) преобразование Фурье, получим соответст |
||||||||
вующий энергетический спектр |
|
|
|
|
|
|||
|
п |
п |
р |
00 |
|
1 |
|
(2.1.21) |
|
Gi ( ® ) = 5 ] S |
\ui‘ui‘ S |
W2 + |
|
||||
|
I |
|
|
|||||
|
/=1 1 = 1 |
L |
q= |
1 |
|
|
|
|
2.1.3. Метод сведения УФ ПК к интегральному уравнению |
Вольтерра |
|
||||||
Уравнение |
Фоккера — Планка — Колмогорова — это |
диффе |
||||||
ренциальное уравнение в частных производных |
параболического |
|||||||
типа. Решение |
таких уравнений |
может быть |
сведено к |
решению |
интегрального уравнения Вольтерра второго рода, для которого известны сходящиеся итерационные алгоритмы [81]. Из приклад ной литературы применительно к УФПК этот метод исследован в [43, 85].
Преобразуем УФПК (1.4.14), продифференцировав произведе ния под знаками сумм, к виду
|
i= 1/= 1 |
|
— J ] |
0 = 0, |
(2.1.22) |
1=1 |
|
|
где
g|(x) = - g |(x )+ 2 ]j] dbl^ —) |
(2.1.23) |
|
|
М * ) = - М * ) . |
|
58
Y (х) = — 5 ] |
toj (x) |
L V ' V ' |
d*bii <X> |
(2.1.24) |
|
dxi |
|||||
1=1 |
r Z j Zj |
dx.-dx: |
|
||
|
»=i /=i |
1 |
|
Дифференциальный оператор 2? в левой части (2.1.22) являет ся линейным по отношению к функции ау(х, /). Это позволяет искать решение (2.1.22) в виде суммы
|
ш(х, t ) = v { x , |
t)+u(x, 0 . |
|
(2.1.25) |
|||
где ь(х, |
t) — решение задачи |
Коши |
для уравнения |
(2.1.22) во |
|||
всем пространстве Rn при начальных условиях |
|
|
|||||
|
и.(х, |
/0) = 6 ( х — х0), х0= х ( /0), |
|
(2.1.26) |
|||
а «(х , i) |
— решение |
краевой |
задачи |
с граничными |
условиями |
||
|
и(х, 0|*е г = ф (х’ |
t) — u(x, |
t)\x(=s, /£Е[0, |
op), |
(2.1.27) |
||
|
|
|
|
|
л-^Г’ |
|
|
причем Г— граница области Q e R n. Граничные условия задаются
на регулярной части Г границы Г. Методы выделения регулярной
части границы Г изложены в [102, 142]. В дальнейшем полагаем, что функция
Ф (х, t ) = w ( x , t) |s,
где 5 = Г Х [ 0 , оо) на регулярной части границы равна нулю, а на остальной части границы определяется в ходе решения задачи.
Заметим, что в [85] рассматривается только первая из пере
численных двух |
задач. |
|
|
|
|
|
|
|
|
Для решения задачи Коши необходимо вначале найти фунда |
|||||||||
ментальное решение уравнения |
|
|
|
|
|||||
|
|
dw (x, |
i ) |
|
1 D |
,^ d2oy(x, 0 _ _ п |
(2.1.28) |
||
|
|
dt |
|
— |
2 |
{S) dxidxj |
|||
|
|
|
|
||||||
которое получается из |
(2.1.22) |
путем |
отбрасывания |
последних |
|||||
двух членов и замены функций рц(х) |
их значениями в некоторой |
||||||||
точке X ( T ) = |
S ( T ) |
в момент |
t = т. Это |
фундаментальное решение |
|||||
известно [81] |
и имеет вид |
|
|
|
|
|
|||
0 „ ( х - |
s, s, t, |
X) = |
[2т: (f — х)]-',/2(det В )-1X |
|
|||||
|
Х е х р |
( - |
(х |
|
|
S> }, |
(2.1.29) |
||
где B(s) = [p //]ni. Решение |
задачи |
Коши с учетом указанных s |
|||||||
и т выражается через yQ{x—s, s, t, х) |
по формуле |
|
t
К(х, s, t, %)*=у0(х — s, s, t, x ) - f JcfA f у0(х — г, г, t, A )X т R«
X Q (r, s, A, x)dr, |
(2.1.30) |
59
где Q(x, s, /, т) удовлетворяет уравнению Вольтерра второго рода
Q(x, s, t, z) = K (x, |
s, |
t, |
x)-|-jdA [ K(x, |
r, |
t, X)Q{r, s, t, x)dr, |
||
|
|
|
T |
*Rrt |
|
|
|
|
|
|
|
|
|
|
(2.1.31) |
с ядром |
s, |
|
x) = 3 ? [tjo (x—s, |
s, |
|
T )]. |
|
K{x, |
t, |
t, |
|||||
При этом |
У(х, |
x0) t, |
tQ) = v ( x , |
t). |
|
||
|
|
||||||
При определении решения У(х, s, t, т) согласно (2.1.30) функ |
|||||||
ция г/о ( х— s, s, /, т) |
играет роль начального приближения. Можно |
брать и другие начальные приближения, однако в каждом таком случае необходимо отдельно доказывать сходимость метода.
Для решения интегрального уравнения Вольтерра (2.1.31), применяя к нему метод последовательных приближений, получаем общее выражение
Q (х, s, t, * ) = 2 ( - 1 )тКт(х, s, t, х), |
(2.1.32) |
Ш=1 |
|
где Km (х, s, t, т) — итерированные ядра, определяемые последова тельно по формулам
^(х, |
s, |
t, т) = |
/С(х, s, t, х), |
|
t |
|
|
|
|
Кт{х, s, t, x ) = ^ d X |
f |
К(х, г, |
t, Х)Кт-х (г, |
s, А, х) rfr. (2.1.33) |
С учетом (2.1.31) — (2.1.33) соотношение (2.1.30) можно пере писать в виде
ym+1(x, s, t, |
|
|
|
|
t |
|
ym(x, r, t, X)K{r, |
|
||
z ) = : y 0(x — s, |
T) + |
J rfA |
J |
s,t,X)dr, |
||||||
|
|
|
|
|
|
R* |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.1.34) |
или |
|
^m+i(X» S, |
t, |
x) Vm(X, |
S, |
t, |
x) —|— |
|
||
|
|
|
||||||||
- f |
\dX J Vm(x, |
г, |
A |
) [Vm(r, s, |
t, |
X)\dr. |
(2.1.35) |
|||
|
X |
R« |
|
|
|
|
|
|
|
|
Полагая, |
наконец, в (2.1.30) |
т = 0 |
и |
s= 0 , |
получаем |
искомое |
||||
решение задачи Коши. |
|
|
|
|
|
|
|
|
||
Решение краевой задачи [функция и(х, t) в (2.1.25)] может |
||||||||||
быть найдено |
по методу, |
изложенному |
в |
[81], |
и имеет вид |
|||||
t |
|
п п |
|
|
|
|
|
|
|
|
“«■ H ISS pi7(s)_ ^ _ y (x , s, t, |
x) tii (s) JA(s, x)ds, |
(2.1.36) |
||||||||
x |
г |
/= !/= ! |
|
} |
|
|
|
|
|
|
60