CC BY
109
УДК 550.837
К.М.ЕРМОХИН, д-р физ. -мат. наук, зам. директора, k_m_e@list. ru ЗАО «Теллур СПб», Санкт-Петербург
K.M.ERMOKHIN, Dr. phys. -mat. Sci, Deputy director, k_m_e@list. ru «Tellur SPb Inc», Saint-Petersburg
АНАЛИТИЧЕСКОЕ ПРОДОЛЖЕНИЕ ГЕОФИЗИЧЕСКИХ ПОЛЕЙ
МЕТОДОМ ЦЕПНЫХ ДРОБЕЙ
Наиболее близким к реальности описанием геофизических полей является дробно-рациональная аппроксимация. В таком представлении особенности полей в нижнем полупространстве адекватно отражаются нулями знаменателя. В статье содержится теория и алгоритм, реализующий данную концепцию. Предлагаемый автором метод назван методом продолжения цепной дробью.
Ключевые слова: цепная дробь, QD-алгоритм, геофизические поля, аналитическое продолжение.
ANALYTICAL CONTINUATION OF GEOPHYSICAL FIELDS BY CONTINUED FRACTIONS METHOD
The most close to reality geophysical field description is the approximation of the fraction-rational type. In this case the presence of poles in the lower half space corresponds adequately to the denominator zeros. This article contains the theory and algorithm of realization of this conception. The proposed method is called - Continued Fraction Continuation Method.
Key words, continued fraction, QD-algorithm, geophysical fields, analytical continuation.
Методам аналитического продолжения геофизических полей с профиля измерений в нижнее полупространство посвящены работы ведущих геофизиков страны: И.Г.Клушина, В.Н.Страхова, М.С.Жданова и других. Явление распадения поля в окрестности особых точек, констатированное в [6], оказалось, скорее, не информативным признаком, а препятствием для практического применения метода. Причина этого состоит в несоответствии описания изучаемых полей линейными математическими моделями. Представление полей в виде полиномов, рядов Тэйлора, Фурье или интегралов типа Коши порождает существенную некорректность, которая проявляется в катастрофической неустойчивости существующих ныне алгоритмов аналитического продолжения. Это объясняется тем, что поле, имеющее особенности в нижнем полупространстве,
принципиально не может адекватно описываться линейной конструкцией. Единственной относительно удачной попыткой обойти сложности является метод полного градиента В.М. Березкина [2].
Описанием поля, наиболее близким к реальному, является конструкция типа дробно-рациональной, так как наличие син-гулярностей функции в нижнем полупространстве имеет адекватное соответствие нулям знаменателя. Предлагаемый метод основан на аппроксимации исследуемых функций цепными дробями. Мы назвали его методом продолжения цепной дробью (Continued Fraction Continuation Method -CFCM).
Рассмотрим измеренную по профилю функцию f (x), a < x < b , и представим ее рядом Фурье по многочленам Чебышева первого рода (приведя аргумент к отрезку [-1,1]):
/ ( x) -s ckTk ( x).
k=0
Коэффициенты ряда Фурье по многочленам Чебышева определяются по формулам:
\ = Î f ( x)Tk( x)
dx
л/ТЗ"
= J / ( x)
dx
л/ТЗ
(1)
Для упрощения вычислений и дальнейших преобразований, используем связь многочленов Чебышева с тригонометрическими функциями. Сделаем замену переменной в интеграле: х = cos(0). Тогда [7]
2 л
Ск = -1 / (со8(е))со8(ке^е;
С0 =1 j f (cos(0))cos(k9)d9 .
% о
Далее перепишем ряд функции F(9) в комплексной форме уже в виде ряда Фурье:
œ
F(9) « а0 + Re k exp(-ik9) (где ak - коэф-
k=i
фициенты ряда Фурье) - с заменой вещественной переменной x на комплексную z = x + iy (где y означает глубину) и подстановкой 9 = arccos(z).
Продолжение функции вниз соответствует отрицательным значениям y, вверх -положительным. Для продолжения вниз пе-
œ
репишем ряд в виде F(9) « Re ^аkYk , где
k=0
Y = exp(-i9). В правой части ряд при этом расходится (|Y| > 1) и простому суммированию не подлежит. В дальнейшем будем изучать непосредственно функцию
F (Y ) = £а kYk
k=0
(2)
так как практическим интерес представляют полюсы fx) в нижней половине комплексной плоскости, которые одновременно являются полюсами F(Y).
Для продолжения заменим ряд «соответствующей» g-дробью:
F (Y ):
1+-
gpY giY
(3)
g 2(1 " gi)Y
1+
g3(1 - g2 ) Y
1+
1 +...
Соответствие здесь понимается как совпадение коэффициентов ряда Тэйлора этой дроби с коэффициентами исследуемой функции. Если брать в качестве приближения только четные подходящие дроби (3) (последний отбрасываемый член всегда равен единице, формула (3) эквивалентна представлению Р(Т) в виде дробно-рациональной функции посредством диагональных аппроксимаций Падэ:
F (Y ) = £а kYk
k=0
Pm (Y ) Qm (y )
[M /M]F , (3а)
где Рм(Х) и Qм(Y) - полиномы степени М от У.
Близость диагональных аппроксимаций Падэ к представляемой ими функции при М^х> описывается теоремой Натолла [1]: если Р(У) мероморфная функция, то для произвольных, сколь угодно малых 8 > 0, 5 > 0 существует М0, такое, что для всех М > М0 диагональные аппроксимации Падэ [М / М]-удовлетворяют неравенству \р(У) - [М /М1Н < 8 на любом компакте в 7-плоскости, исключая множество меры меньше, чем 5.
Для построения g-дроби, соответствующей ряду (2), существует весьма эффективный и устойчивый алгоритм (^-алгоритм) Бауэра. Это алгоритм типа частных и разностей ^^-алгоритм), изобретенный Рутисхау-зером в 1954 г. для построения правильных С-дробей. Он позволяет по заданным коэффициентам формального степенного ряда ак построить последовательность коэффициентов соответствующей непрерывной дроби gk по правилам ромба: коэффициенты gk являются диагональными элементами (g()k) так называемой g-таблицы:
g0
go2 go3 go4
gl gl
g:2
g20
g2 g3
2
c
o
2
gm = 0; gim = -
а
k+1 .
а
gk = g° пРи k =12 . .;
(1 - ^ )(1 - 82п+ 2) = (1 - &2п )(1 - ^ ) ,
т т _ т+1 т+1
о2по2п+1 о2п-1о 2п •
Дробь эта сходится, но не монотонно и достаточно медленно. Для ускорения сходимости применим следующий прием: для заданного значения У вычисляют значения последовательных подходящих дробей ¿'-дроби /\, /2, ... /м по рекуррентным формулам прямого вычисления числителей (А,) и знаменателей(8г) [3].
2.0
Расчет гравитационного поля ^ модели, состоящей из трех шаров одинаковой избыточной плотности (с радиусами 100; 150 и 200 м, центры масс которых расположены на глубинах соответственно 200, 300 и 400 м):
а - модельное гравитационное поле от трех шаров одинаковой избыточной плотности при отсутствии помехи (жирная сглаженная линия) и при наличии помехи; б, в - расположение трех шаров одинаковой избыточной плотности и изолинии аналитического продолжения их аномального эффекта в нижнее полупространство (б - при отсутствии помехи; в - при наличии помехи); г - помеха, создаваемая 19 шарами радиуса 25 м
Для расчета берут только значения нечетных подходящих дробей. Это эквивалентно операции сжатия ¿-дроби до J-дроби, соответствующей ряду Стилтьеса изучаемой функции.
Поскольку, как правило, практический интерес для определения положения полюсов представляет даже не сама функция F(Y), а ее модуль, будем рассмотривать функцию ln(1+|F(Y)|). В качестве предельного значения ln(1+|F(Y)|) принимается
i ln(1 + | f )ln( k +1 - i)
lim ^-;-,
k
i ln(k +1 - i)
i=1
что представляет собой суммирование ряда, соответствующего дроби, методом Вороного. Пример численной реализации метода приведен на рисунке. Как видно, метод практически устойчив к геологическим помехам.
Область применения метода не ограничивается потенциальными полями: продолжать можно, в частности, трансформанты этих полей. Метод опробован на задачах электроразведки (поле сопротивлений рк и вызванной поляризации ^к), магниторазведки (поле ДТ), гравиразведки (поле Ag) и может быть распространен на другие геофизические методы.
Большой пробел в области математического образования в ХХ в. - забвение цепных дробей. Этот раздел математики ведет свое начало со времен Евклида. Цепные дроби - это, по существу, способ нелинейного суммирования расходящихся рядов, весьма часто встречающихся в геофизике.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Бейкер Дж. мл. Аппроксимации Падэ / Дж.Бейкер. мл, П.Грейвс-Моррис. М.: Мир, 1986. 502 с.
2. Березкин В.М. Применение геофизических методов разведки для прямых поисков месторождений нефти и газа / В.М. Березкин, М.А. М.А. Киричек, А.А.Кунарев. М.: Недра, 1978. 222 с.
3. Джоунс У. Непрерывные дроби. / У. Джоунс, В. Трон // М.: Мир, 1985. 414 с.
4. Ермохин К.М. Аналитическое продолжение геофизических полей в область источников аномалий с помощью цепных дробей // Вопросы теории и практики интерпретации гравитационных, магнитных и электрических полей / ИФЗ РАН. М., 2007. C.109-113.
= а1;
а
б
в
г
5. Ермохин К.М. Аналитическое продолжение геофизических полей в область источников аномалий методом аппроксимации цепными дробями // Геофизика (ЕАГО). 2007. № 1. C.51-55.
6. Страхов В.Н. Аналитическое продолжение потенциальных полей. Гравиразведка: Справочник геофизика / под ред. Е.А.Мудрецовой, К.Е.Веселова. М.: Недра, 1990. 606 с.
7. Суетин П.К. Классические ортогональные многочлены. М.: Наука, 1979. 415 с.
REFERENCES
1. Baker G.A. Pade Approximants / G.A.Baker, Jr, P. Graves-Morris// Addison-Wesley Publishing Co, 1981. 502 p.
2. Berezkin V.M. Application of geophysical methods in direct search of oil and gas deposits. / V.M.Berezkin, M.A.Kiritchek, A.A.Kunarev // M.: Nedra, 1978. 222 p.
3. Jones W.B. Continued fractions. Analytic theory and applications / W. B. Jones, W. J. Thron // Addison-Wesley Publishing Co, 1980. 414 p.
4. Ermokhin K.M. Analytical continuations of geophysical fields into area of anomalies by continued fractions. The problem of theory and applications of interpretation of gravity, magnetic and electrical fields // IPE ASR, M.: 2007 pp.109-113.
5. Ermokhin K.M. Analytical continuations of geophysical fields into area of anomalies by continued fractions method // Geophysics (EAGA), 2007 № 1. pp. 51-55.
6. Strakhov V.N. Analytical continuation of potential fields. Gravical Prospection: Handbook of geophysicist. Edited by E.A. Mudretsova and K.E. Veselov. M.: Nedra, 1990. 606 p.
7. Suetin P.K. Classical orthogonal polynomials. M.: Nauka, 1979. 415 p.
