
книги из ГПНТБ / Волков Е.Б. Основы теории надежности ракетных двигателей
.pdfН а к о н е ц
|
|
|
лт |
di |
|
|
|
Р А |
|
п М - П ( > - |
V |
|
|||
|
П ; |
— |
|
||||
|
/= 1 |
/ =1 |
|
||||
|
|
|
|
|
|
|
|
при |
/ |
, |
п ф 1 |
|
|
|
|
И |
|
|
|
л-ft—1 |
л—ft—1 |
||
п—k |
|
|
|
||||
Р^П A i ) = P ( A 1) P i A 2\A 1) . . . P [ A n- k |
П |
A' ) |
П Р(»)> |
||||
|
|
|
|
|
1-1 |
v=0 |
|
где |
|
ДГ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i =1 |
л— к |
|
|
|
|
Обозначим |
|
в х= |
|
|
|
|
|
|
П Ah |
|
|
|
|
||
тогда |
|
|
i =1 |
|
|
|
|
|
л—/•__! |
л —А’—1 |
/V |
|
|
|
|
л—к |
|
|
di |
|
|||
|
|
|
|
|
|
||
(пЧ)=р.«.- П р<..- П П( |
n-. — v |
|
|||||
и - 1 ) |
|
v=o |
,_0 |
;=1 |
|
|
|
где дополнительное обозначение Р(В)) = Р(„-;о подчеркивает тот факт, что P(Bi), как видно из приведенных соотношений, не за висит от индексов при буквах А, но зависит от нх числа в пересе чении событий. Последнее обстоятельство позволяет представить выражение для Р {z=k) в виде
|
|
', я — ft \ |
/ * |
_ |
||
Р (*= А )= ( |
" )Р |
П |
АЛ п (П |
А |
||
или |
|
|
|
|
|
|
Р(г=Л ) = |
( |
" ] Р ( В 1)Р(В 2|В 1), |
||||
где |
|
|
|
k |
|
|
|
|
|
|
|
|
|
В2= |
|
П |
|
п |
А/, |
|
|
А = П |
|
||||
|
/ =*л—й + 1 |
/ =1 |
|
|
||
и записать общее выражение |
|
|
|
|
||
/ м |
\ |
= |
П Р(.)- |
|
||
Р |
П |
А ) |
|
|||
Используя известные соотношения |
|
|
|
|||
Р(В1)Р (В2| Bt)= P (В,) [1 - |
Р (Ва | BJ] |
|||||
и |
|
k _ |
|
/г |
|
|
|
П A — U А> |
|
||||
|
|
i-i |
|
/-г |
|
|
130
получаем |
|
|
В2 = и А { |
|
|
|
||
и |
|
|
|
1=1 |
|
|
|
|
|
|
|
|
|
|
k |
|
|
Р (г =А) = ^ ) | р ( Д 1) - Р ( 5 1)Р |
|
|||||||
и л <- В, |
||||||||
или |
|
|
|
|
|
|
/~1 |
|
|
|
|
|
|
|
|
|
|
Р (2Г=Л)= ( » ) | Р(„_Л) —р и (А, п В,) |
||||||||
|
|
|
|
|
/=1 |
|
|
|
|
k |
j n —k + j |
|
|
|
|
|
|
P ( l i - f t ) — р |
и |
n Aj |
U ( « |
P ( n - * ) — P ^ U A 0i |
||||
|
uj - 1\ /=i |
|
I |
U |
|
|
|
|
где |
A0i= A , f| |
Вг= |
n—k + l |
|
||||
П |
|
Ar |
|
|||||
Отсюда находим |
|
|
|
|
|
|
|
|
Р(* - * > - ( . " ) К * > - 2 рГ п Г Л )' |
||||||||
+ |
2 ? |
n * Л, П (Aj |
П |
A » ) - |
|
|||
|
J<v- |
i -1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1)*-1 |
|
п Ч ) |
П ( п |
а \ |
|||
|
|
|
|
1-1 |
/ |
|
\/=1 |
/ |
|
|
|
|
P(n“ft4-1)4-...+( |
||||
или |
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
p , = p ( 2 = * ) = ( “ ) 2 ( ‘ ) |
|
|
||||||
где |
|
|
|
|
|
|
|
|
|
|
n—k + j |
N |
|
|
|
Cli |
\+ |
P ( n - k + j ) = |
f l f l ( 1 |
|
|
|||||
in — v + I |
|
|||||||
|
|
M=1 |
1=1 |
|
|
|
|
|
что и доказывает теорему. |
|
|
|
|
|
|
||
Выражение (3. 15) |
для |
функции |
распределения случайной |
величины 2 может быть использовано при построении плана кон троля надежности последовательных систем.
Действительно, рассматривая изделие как один обобщенный элемент, можно задать такое приемочное (допустимое) число *пр, что число дефектных изделий d в партии объема п не дол
жно |
превышать |
хпр. Тогда |
вероятность |
P (z> x np) = |
= 1 |
Р (z^A'np) = |
р есть ошибка контроля, вследствие которой |
||
|
5* |
|
|
131 |
|
|
|
|
в принятую партию попадает число дефектных изделий, большее чем допустимое. Следовательно, из соотношения
|
|
|
n—k+j |
Лг |
|
|
А'= О I у= 0 |
к ! \ |
кj )<-'V п П(‘- ^ |
V + 1 |
|
||
|
|
- 1 / - 1 |
(3. |
16) |
||
|
|
|
|
|
||
при известных |
и d; можно, задаваясь р и значением Л'пр, найти |
|||||
такой объем партии изделий |
m |
i n при котором значе- |
||||
|
|
|
I</<лг |
|
|
ние ошибки контроля р и число дефектных изделий в партии не превышают заданных значений. Знак неравенства в выражении (3. 16) обусловлен тем, что .гпр и п выбираются целыми и в свя
зи с этим используются гарантированные |
(уточненные) |
значения |
п. Очевидно, что п не может превысить |
минимальное |
из чисел |
и;, так как при /л = m i n ; партия элементов с минимальным
1<;<лг объемом полностью исчерпывается (все ее элементы извлечены
и использованы для комплектации п изделий), а «собрать» последующие изделия в полном элементном составе оказывается невозможным. В связи с этим решение задачи по определению п по заданным п;, й;, р, существует не всегда и ограничивается
значениями |
п |
min (/;.,•). |
|
|
|
|
|
|
Соотношение |
lo'ov |
|
|
|
|
|
|
|
(3. 16) позволяет также при известных /г,-, d; и |
||||||||
заданных п и л,-пр найти, |
какова ошибка контроля р. В этом слу |
|||||||
чае в выражении (3. 16) |
используется |
только знак |
равенства. |
|||||
Наконец, при заданных п, р и известных /г,-, d; можно |
найти |
|||||||
приемочное число хпр. |
|
|
|
|
|
|
||
С целью облегчения расчетов удобно использовать прибли |
||||||||
жение |
|
|
|
|
о |
|
|
|
V |
V |
С ) ( Я < - " ; п п |
dj |
|
|
|||
П; — V + 1 |
|
|
||||||
Г ? I j-0 |
|
|
||||||
|
|
|
|
|
Лг |
|
|
|
|
ft = 0 |
|
|
|
1 = 1 |
|
|
|
с помошыо которого вместо выражения (3. |
16) можно |
записать |
||||||
|
|
Р = 1— Bi (а, |
Р, |
лгпр). |
|
|
(3.17) |
|
Это приближение выполняется с достаточной для |
практиче |
|||||||
ских целей точностью при больших п и Р. |
|
|
|
|||||
Пусть, например, комплектуется партия п— 12 |
изделий, каждое |
из кото |
||||||
рых состоит из N независимых элементов, |
поставляемых партиями |
объемом |
||||||
я,- единиц. В каждой партии щ имеется Щ |
дефектных элементов. |
Известно, |
132
N
что величина Р = П [1 — (rf,-/n,-)] = 0,85. Число дефектных изделий п пар-
/-1
тип по условиям контроля не должно превышать число хПр=2. Требуется най ти, какова вероятность того, что в скомплектованной партии число дефектных изделий окажется большим, чем Апр (т. е. z > 2). Используя соотношение
(3. 17), имеем
•''up ь n-k+j N
|
п |
по |
к = 0 ] - 0 |
v = l |
| = 1 |
~ 1 — В1 (/г, Р, Л-„Р),
откуда с помощью таблиц [105] находим В1(12; 0,85; 2) =0,73; следовательно, (3«0.27.
Пусть теперь заданы [3 = 0,27, Р = 0,85 и приемочное число а'пр = 0. Из
соотношения (3. 17) найдем соответствующий объем партии
/г « In (1 —■Р)/1п Р = 1п 0,73/1п 0,85 « 3.
Общая закономерность в данном случае состоит в том, что с уменьшени ем допустимого числа дефектных изделий объем п партии при данных |3 и
Р уменьшается. |
контроля (3 = 0,10, приемоч |
Пусть, наконец, заданы: допустимая ошибка |
|
ное число А'Пр=0 и объем партии изделий я = 9 . |
Определим, какому требова |
нию должна удовлетворять продукция, поступающая для комплектации пар тии. С этой целью, используя выражение (3. 17), находим, что должно вы
полняться условие В1 (9; Р; 0)>0,90 или PS-0,988.
Легко убедиться, что доказанная теорема имеет своим след ствием такое утверждение: функция распределения случайной величины t в схеме Бернулли (/ — возможное число отказов в п испытаниях) при снятии допущения о независимости испыта ний имеет вид
где At — событие, заключающее в успешном исходное одного ис пытания. Согласно уравнению (2. 86)
Р ( Т Ч - ) = |
Ря_*+' + |
( Р - Р п-*+;) ^ у , |
||||
где |
|
|
|
|
|
|
K N ~ — arcsin р; |
Q= |
(P13 — Р2)/[Р<7); |
|
|||
Jt |
|
|
|
|
|
|
Рр — вероятность успешного |
исхода |
в |
двух |
испытаниях; |
||
q = 1— Р. |
(как и обычно в схеме Бернулли) не- |
|||||
При этом события Ai |
||||||
различимы Р (Л ,)= Р V ie [l, n], |
a |
Pi2 и |
Р |
,n—k+j |
\ |
|
f| |
А Л — вероят |
ность успешного исхода в двух любых и в любых п— k + j нспы-
133
таннях. В случае д= 0 (испытания независимы) получим клас сическое выражение Р ( t ^ x ) = B i (п, Р, х). При q= 1 получаем;
Р ( /= 0 ) = Р ; P { t = n ) = q \ P ( ^ x ) = P v x e [ 0 , п— 1].
3.4. ДОВЕРИТЕЛЬНЫЕ ИНТЕРВАЛЫ ДЛЯ ПОКАЗАТЕЛЯ НАДЕЖНОСТИ ПОСЛЕДОВАТЕЛЬНЫХ СИСТЕМ
Рассмотрим систему, состоящую из N последовательно сое диненных элементов. Исходы их испытаний независимы, а сами элементы могут испытываться отдельно от системы. Пусть, г-н элемент был испытан /ц раз и в числе di случаев зарегистри рованы его отказы. Совокупность N пар (/г,-, di) чисел образуют
вектор |
испытаний |
л = (/гь |
гг2....... |
nN) и |
вектор |
отказов d— |
= {du |
di, .. ., dN). |
Задача |
состоит |
в том, |
чтобы |
по исходным: |
данным гг, d и известным односторонним^доверительным вероят ностям yi и у2 определить границы Р и Р доверительного интер-
_ |
N~ |
вала [Р, Р] для показателя |
Р = [ | Р,- надежности системы. По- |
|
г=1 |
следнпй представляет собой функцию от биномиальных пара метров Р,-, так как Р,- — вероятность успешного исхода в одном испытании г'-го элемента предполагается постоянной в каждом из iii независимых испытаний.
Согласно выводам работы [3] искомые значения Р и Р могут
быть найдены как корни уравнений |
|
|
||||
PN= SUpРдт= 1 —Yi и PN= |
inf Рдт = у |
(3. 18). |
||||
N |
|
|
|
|
N |
|
П Р,-=Р |
|
|
|
|
П Р,-Р |
|
1=1 |
|
|
|
|
г =i |
|
Здесь обозначено |
|
|
|
|
|
|
|
|
2 |
П |
|
ki)> |
(3. 19). |
N |
|
>!Х /=1 |
|
|
||
|
|
П! У |
|
|
||
П( |
1- |
|
|
|||
i =1 |
|
> Р |
|
|
||
|
N |
|
|
|
||
|
|
|
|
|
|
|
P'n = 2 - . . .V |
П 6 [nh Рг, /г,); |
|
||||
кг |
N |
Ад. г = ! |
|
|
|
|
|
|
|
|
|
|
|
/=п1('-ггИ |
|
|
||||
b{nh Р,-, |
k;) = С " |
|
|
|
||
I «/ \ _ |
/г1! |
\ /г; |
|
|
|
|
. |
Qi= 1—Pi, |
|
||||
\ /гг / («г — /гг)! ki! |
|
Ш
N |
|
Р = по -")и |
— состоятельная оценка для Р, полученная по |
данным п п d.
Решение задачи при N>5 с помощью равенств (3. 18) — (3. 19) трудоемко даже с помощью самых быстродействующих ЭВМ. Поэтому остановимся на возможном приближенном ана литическом решении, дающем оценку снизу для нижней грани
цы Р доверительного интервала [Р, Р].
Будем использовать следующее приводимое уже выше соот ношение
Р ( / < х )= ^ Ь { п , Р, M = B i(п, Р, х) =
1г=О
.V |
|
|
|
|
= УР(п —х, я - + 1 ) = У - -----------------------Рл- у . |
(3.20) |
|||
|
7\ (п — к + 1, /е + 1) |
|
|
|
Здесь Ур(л— х, дг-f-^ — Ур/Ух—неполная бета-функция с |
пара |
|||
|
метрами п —х , л'-j-1 |
и Р; |
|
|
= f УП~х+\1 - y f d y , |
f i f - x+\ \ - y ) x dij. |
|
||
о |
о |
|
|
|
В соотношении (3.20) функция Bi(n, Р, |
х) определена лишь |
|||
для целых .г в то время как функция /р(-) |
может быть вычис |
|||
лена для любых х ^О . |
|
|
|
|
Покажем, что функция /р(/г— х, х+ 1) = J P(np, |
nq+ 1), где |
<7= 1— Р = — , возрастает по а и убывает по п. Для этой цели
п
докажем, что справедлива следующая теорема.
Теорема 2. Пусть ф(г/) — строго убывающая функция у, не прерывная на (0, 1) и даны две функции срДу) и ср2(у) непрерыв ные на [0, Р] и [0, 1] соответственно и не имеющие нулей внутри этих интервалов, причем
®i(l/)>%(!/). |
V l / E (0, Р) и |
?i(y)dy=1; |
^ { y ) d y = \ . |
6 |
о |
Тогда |
1 |
р |
|
j’ ?i{УШУ) d y > |
[ сРз(^)Ф(^) dy- |
135
Доказательство. Переписывая последнее соотношение в виде
f К(У) — ®а(«/)]<И д а * / > f Ъ{УЦ(У)^У = У(Pi) [ 4*{y)dy>
о |
р |
|
i> |
|
легко убедиться в его справедливости, так как левая часть |
||||
f ['PH'/) — <?2(y)]’s?(y)dy = ,b (Р) |
'ъЛУ)йу |
= ф(Р) |
V-i{y)dy>- |
|
|
|
|
|
р |
где согласно теореме о среднем |
Р е (О, Р), P je (P , |
1), (0, Pi) ft' |
||
(Р, 1) = 0 , |
а следовательно, P < P i и я|з(Р) > i|j(Pi), |
что и дока |
||
зывает теорему. |
|
|
|
|
Если при тех же исходных условиях \р(у) |
является возраста |
|||
ющей функцией у, то аналогично доказывается, что |
|
|||
|
р |
1 |
|
|
|
f t?iiy)^{y)dy< J ЫУШ У )аУ- |
|
||
|
6 |
о |
|
|
Используя теорему 1, покажем, что произвольная по q от функции Jр(нР, nq+\) положительна V ^ e ( 0, 1) и, следова
тельно, /р(-) возрастает по q на [0, 1]. Убедимся в справедливо сти соотношения
dJp(-)_ Д> Л — ? i?p
|
|
дЧ |
~ |
Щ |
> 0 |
|
|
|
|
|
|
||||
или |
|
|
•^р |
^ |
2± |
|
|
|
|
7р |
^ |
?! |
• |
|
|
|
|
|
|
||||
Действительно, |
|
|
|
|
|
|
|
у ' |
* |
|
|
"у * |
1 |
|
|
- ~ e - = j'tPi {y)'b(y)dy\ |
|
|
^ cpa(i/) ^ |
|
|||
где |
|
|
|
|
|
|
|
п (,Л |
Упр |
\ ^ —-У)пч . |
„/.,ч |
Упр |
\ l — y)nq |
||
c?i(y) = -p— д------------- . |
ЪЛУ)=—---- 1--------------г |
||||||
,• |
пр —1 |
nq |
|
|
f Упр |
! (1 — у)"4 dy |
|
| |
у к |
(1 — 1/) |
dy |
|
|
(Ь(г/)= л 1 п ^ - —lj .
Легко убедиться, что произведения cpi(i/)^>(i/) н фг(г/)ф(у) инте грируемы на [0, 1].
При этом
136
р |
1 |
V i/G (0 , P) |
|
\<9z{y)dy=\\ |
|
6 |
6 |
|
*i |
v i / e ( 0 , |
l), |
a i|i(i/) — непрерывна и убывает по у на (0, 1). Следовательно, согласно теореме 1 справедливо доказываемое соотношение, ко
торое будем записывать так: /р (•) f q. |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
Поскольку функция Jр(-) |
определена для целых и нецелых |
||||||||||||||||||||||||||
п , то аналогично устанавливается, что /р (-)|п . |
Кроме того, |
||||||||||||||||||||||||||
|
|
|
^р(-) |
|
|
р п р — г |
_ |
Р )Л q |
|
|
|
v P e ( 0 , i). |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
• > о , |
|
|
|
||||||||||||
|
|
|
|
д Р |
|
|
|
|
|
п р — \ |
|
|
nq |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
У |
|
(I — г/) |
|
d y |
|
|
|
|
|
|
|
|
|
|
|
|||
Таким образом, можно записать |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
Ур(яР, n q d \ - \ ) \ q \ P \ x \ t i , |
V<7e[0, |
1[; |
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
PG[0, |
1]; |
х > 0 , |
|
|
|
0. |
|
|
|
|
|
|
(3.21) |
||||||
П р им еч ан ие. |
З а м е т и м , |
что обы ч н о |
и сп о л ь зу ет ся |
сл ед у ю щ и й |
в а р и а н т т е о |
||||||||||||||||||||||
рем ы |
о ср ед н ем : |
пусть |
ф ун кц и и |
{ ( х ) |
и |
g ( x ) огран и ч ен ы |
на [а, |
Ь ] |
|
и |
н еп р е |
||||||||||||||||
ры вны |
|
на |
(a, |
b ) , |
a |
g (.v ) |
не и м еет |
п ул ен |
в и н т ер в а л е ( а , |
Ь ) . |
Т о г д а |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
ь |
/ |
(-О g ( х ) |
|
|
|
ь |
|
(.v)d x , |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
j |
d x = |
/ (? ) J g |
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
а |
|
|
|
|
|
|
|
а |
|
|
|
|
|
|
|
|
|
|
|
г д е | е ( а , |
Ь ) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
П о к а ж е м , что |
эт о |
со о т н о ш ен и е |
со х р а н я е т с я |
при с л е д у ю щ и х |
(и с п о л ь зу е |
||||||||||||||||||||||
м ы х вы ш е) у сл ов и я х : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
I) |
|
|
ф ун к ц и я g ( x ) |
о гр ан и ч ен а на [а, Ь], н еп р ер ы вн а на (а, Ь) |
и не и м ее |
||||||||||||||||||||||
н ул ей |
в это м |
и н т ер в а л е |
[это у с л о в и е то |
ж е , что |
и вы ш е |
д л я g(x)]; |
|
|
|||||||||||||||||||
2 ) |
|
ф ун к ц и я |
f ( x ) |
|
н еп р ер ы вн а на |
(а , |
Ь ) { т р е б о в а н и е |
к |
огр ан и ч ен н ости f ( x ) |
||||||||||||||||||
н а [а, 6] с н и м а е т с я }; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
3) |
п р о и зв е д е н и е |
<p(.v) = g ( x ) f ( x ) |
— |
и н т егр и р у ем о |
на [а, |
Ь\. |
|
|
|
|
|
||||||||||||||||
Д о к а з а т е л ь с т в о . |
О бозначим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
’ ( х ) = |
J 9 ( 0 |
d t |
= |
j |
g |
(0 / |
(0 d t ; |
F (л-) = |
jg |
|
(0 dt\ |
|
|
[ a , |
6 ]. |
|||||||||||
Т о г д а |
со гл а сн о и зв ест н о й |
т ео р ем е |
из |
и н тегр ал ь н ого |
и сч ислен и я |
Ф ( х ) |
и |
F ( x ) — |
|||||||||||||||||||
н епр ер ы вн ы е |
ф ун кц и и |
|
на |
[а, |
Ь]. |
П ри |
это м |
F ' ( х ) |
= g ( x ) ^ О, |
V |
ш |
( а , |
Ь ) (по |
||||||||||||||
у сл о в и ю I ) . И зл о ж е н н о е п о зв о л я ет и сп о л ь зо в а ть т е о р е м у К ош и , |
с п ом ощ ь ю |
||||||||||||||||||||||||||
к отор ой |
н а х о д и м |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
ь |
(0 У(0 dt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
I' / |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
а |
|
|
|
|
|
|
Ф ( Ь ) - Ф ( а ) _ |
/ ( 6 Ж £ ) |
|
/(£). |
|
|
|
|
|||||||||
|
|
|
_ |
|
|
|
|
|
|
F { b ) — F ( a ) |
|
g ( Z ) |
|
|
|
|
|
||||||||||
|
|
|
|
f g { t ) d t |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
а |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
г д е | е ( |
а , |
Ь ) , |
что |
и |
д о к а зы в а е т |
у т в е р ж д е н и е . |
|
|
|
|
|
|
|
|
|
|
|
137
Теорема 3. Пусть PiP2= P e [ 0 , 1]. Тогда |
|
||
m |
b(n, Pi, |
k)Jpa(n —x, x — k-\- 1), |
(3.22) |
J p{n—x, лг-f ! ) > ^ |
|||
ft-0 |
|
|
|
где [.v] — целая часть х, |
а знак |
равенства достигается при целых |
|
х, а также в следующих случаях: |
|
||
Р1 = 1; |
Р2= Р ; |
|
|
Р1 = Р3= Р = 1 ; |
(3. 23) |
Р1 = Р2 = Р = 0.
Доказательство. Равенство левой и правой частей выражения (3.22) в трех случаях (3.23) является очевидным. При P i= P , Р 2= 1 (3. 22) записывается в виде
|
И1 |
Р, |
k) = J р {п — \х\, |
[д-]+ 1) |
Jp(n —x, х-\- 1)> |
||||
|
ft~0 |
|
|
|
и согласно соотношениям |
(3. 21) |
удовлетворяется. |
||
В связи |
с изложенным |
проведем доказательство теоремы |
||
для случая Р е (О, Р t < 1). Перепишем выражение |
(3.22) в виде |
|||
|
J1(л — х, х + 1) ,^ y n- ' - l ( l - y ) x d y > |
|
||
р |
(И |
|
|
dy |
> I |
Ь(и, Рх, k) |
|
||
о |
*=о |
J\ (п — х , х — k + 1) |
|
|
|
|
|
или в виде
р
J] ( л —
Здесь
уЛуУ
ft=o
* + 1) |
y/i-r+^l —(/)■'•[ 1— х(г/)]й,г/ > 0 - ^ х ( У ) < |
U |
|||||
|
|
|
|
|
|
|
|
|
|
V y G [ 0 , |
Р]. |
|
|
|
|
( |
11 \ |
пл—k k ( P i — i/) '1’ k |
j \ ( n |
— x , |
Л - + 1 ) |
|
|
ft=О |
*. ! |
pi |
|
|
|
|
|
y f p;-* -1p, |
у i (n- |
|
|
k + 1) |
|
||
(i - |
л-, |
л- - |
|
||||
?Т(Р|-г/)Л' |
|
|
~ft p.V-ft |
1) ’ |
|||
J ^ x — k + l , k + l ) ( l - y ) x |
ft= 0 |7, (JC — A + I. k + |
||||||
|
|
|
|
|
(3. 24)
138
где q ~ - ? -■ < |
1, |
так ка,к у < |
Р < Р1} 1 — у > |
q±. Согласно со- |
|||
1—У |
|
|
|
|
|
|
|
отношениям (3.20) и (3.21) получаем |
|
|
|
||||
X(y) = Jp |
[х — [х], И + 1 ) < ^ р 1И —W, М + 1 ) = |
|
|||||
|
=-/р (о, W + i ) = v m h , р, k) = \, |
|
|||||
|
|
|
|
*=о |
|
|
|
■что и доказывает теорему. |
|
|
|
|
|
||
Следствие. Для |
целых значений х |
и PjP2= |
Ре[0, 1] |
имеет |
|||
место тождество |
|
|
|
|
|
|
|
Jpln —x, |
1)= ^ Ь { п , |
Pj, k) ^ |
b{n — kъ Ра, k2), |
(3.25) |
|||
|
|
й2=0 |
|
Аз =0 |
|
|
|
которое вытекает из того, что для целых л; в выражении |
(3. 24) |
||||||
величина х(у) = 1. |
|
|
|
|
|
|
|
Докажем теперь основные теоремы. |
|
|
|
||||
Теорема 4. |
|
|
|
|
|
|
|
|
|
J-p (лР, |
0, |
|
(3.26) |
||
где |
|
/г= т т « |
: |
q — \ —Р; |
|
|
|
|
|
1< K N |
|
|
|
|
|
[nq] — целая часть произведения nq. |
|
|
|
||||
Доказательство. |
Положим «1^ / 12^ |
. .. |
Из условия |
П( > - ^ ) > р .
/=1
определяющего область суммирования по ki в выражении для P N следует, что
^,-<0,- = 0(*i. К • • •. k;-iY- П; 1
|
|
П ( ‘- £ |
|
|
1-1 |
где |
0,- = [9,J; 61 = nlq = nq. |
|
Отсюда |
|
|
|
1— kj —1_ |
Д |
|
П]—1 kj—] |
П] |
Используя последнее |
соотношение, |
а также (3.19), (3.21) и |
{3. 22), находим |
|
|
139