close

Вход

Забыли?

вход по аккаунту

?

О гиперболических параметрах решётки линейного сравнения.

код для вставкиСкачать
Известия Тульского государственного университета
Естественные науки. 2014. Вып. 1. Ч.1. С. 50–62
Математика
УДК 511.9
О гиперболических параметрах решётки
линейного сравнения ∗
А. В. Родионов, С. Ю. Чуприн
Аннотация. В задачах интерполяции периодических функций
многих переменных и при решении задачи Коши для уравнений
с частными производными на классах периодических функций
значительную роль играют гиперболические параметры решётки
решений линейного сравнения. Ещё одним важным понятием для
этого класса задач является понятие абсолютно наименьшей полной
гиперболической системы вычетов фундаментальной решётки
Zs по произвольной целочисленной подрешетке Λ. Доказана
теорема о количестве целых точек на границе гиперболического
креста, а также рассмотрен алгоритм вычисления гиперболических
параметров целочисленных решеток решений линейных сравнений,
соответствующих
параллелепипедальным
сеткам.
Алгоритм
заключается в переборе всех точек гиперболического креста в
лексикографическом порядке и проверке на принадлежность данной
точки полной системе вычетов. Подходящие точки добавляются
к матрице размера s × N . Когда абсолютно наименьшая полная
гиперболическая система вычетов построена, алгоритм прекращает
выполнение, причём вместе с указанной матрицей вычисляются
первый, второй и третий гиперболические параметры.
Ключевые слова: целочисленная решетка, гиперболический
крест, гиперболические параметры решётки.
1. Введение
Пусть t — действительное число, m(t) = max(1, |t|), ~x = (x0 , x1 , . . .
. . . , xs−1 ) — вектор с действительными координатами.
Усеченная норма вектора ~x имеет вид
q(~x) = m(x0 ) · m(x1 ) · . . . · m(xs−1 ).
Как известно (см. [6]), в методе оптимальных коэффициентов Н. М. Коробова
приближенного вычисления кратных интегралов норма линейного
*
Работа выполнена при финансовой поддержке РФФИ (проект № 11-01-00571).
О гиперболических параметрах решётки линейного сравнения
51
функционала RN [f ] погрешности многомерной квадратурной формулы
½
¾
½
¾¶
Z 1
Z 1
N −1 µ
1 X
a1 k
k
as−1 k
...
f (~x)d(~x) =
,
f
,...,
− RN [f ]
N
N
N
N
0
0
k=0
с параллелепипедальными сетками на классе периодических функций
Esα в точности равна величине гиперболической дзета-функции ζH (Λ|α)
решётки Λ = = Λ(a1 , a2 , . . . , as−1 ; N ) (см. [2]). Здесь Λ — множество решений
линейного сравнения
x0 + a1 · x1 + . . . + as−1 · xs−1 ≡ 0(mod N ),
(1)
где aj и N взаимно простые: (aj , N ) = 1 (j = 1, . . . , s − 1).
По теореме Н. С. Бахвалова (см. [1]) для гиперболической дзета-функции
решётки
X
ζH (Λ|α) =
q(~x)−α
~
x∈Λ\{~0}
справедливо неравенство
ζH (Λ|α) ≪
(ln(q(Λ)) + 1)s−1
,
q(Λ)α
где
q(Λ) = q(a1 , a2 , . . . , as−1 ; N ) = min(q(~y ) | ~y ∈ Λ(a1 , a2 , . . . , as−1 ; N )\{~0})
— гиперболический параметр решетки Λ.
Рассмотрим гиперболический крест
Ks (t) = {~x | ~x = (x0 , x1 , . . . , xs−1 ), q(~x) 6 t},
а также открытый гиперболический крест
Ks∗ (t) = {~x | ~x = (x0 , x1 , . . . , xs−1 ), q(~x) < t}.
Тогда q(Λ), с одной стороны, равно наибольшему значению t, для которого
Ks∗ (t) не содержит ненулевых точек решётки, с другой стороны, q(Λ) равно
такому единственному значению t, что Ks (t) содержит ненулевые точки
решётки только на границе.
В работах [4] и [5] рассмотрена задача о вычислении гиперболического
параметра решётки решений линейного сравнения (1) и построен
рекурсивный алгоритм для решения этой задачи.
В работах [3] и [7] показано, что в задачах интерполяции периодических
функций многих переменных и решения задачи Коши для уравнений с
частными производными на классах периодических функций важную роль
играют и другие гиперболические параметры решётки решений линейного
сравнения (1). Речь идет о втором и третьем гиперболических параметрах
решётки.
52
А. В. Родионов, С. Ю. Чуприн
Ещё одним важным понятием для этого класса задач является
понятие абсолютно наименьшей полной гиперболической системы вычетов
фундаментальной решётки Zs по произвольной целочисленной подрешетке
Λ.
Целью настоящей работы является построение алгоритма для
вычисления трёх гиперболических параметров решётки решений линейного
сравнения (1) и нахождения наименьшей полной гиперболической системы
вычетов фундаментальной решётки Zs по этой подрешетке.
2. Общие сведения и обозначения
Пусть ~λ1 , . . . , ~λs — линейно независимая система векторов вещественного
арифметического пространства Rs . Совокупность Λ всех векторов вида
a1~λ1 + . . . + as~λs ,
где aj пробегают все целые рациональные числа, называется решеткой в Rs ,
а сами векторы ~λ1 , . . . , ~λs — базисом этой решетки.
Усеченной нормой называется величина q(~x) = x1 · . . . · xs , где для
действительного x обозначаем x = m(x) = max(1, |x|). Гиперболический
параметр q(Λ) решётки Λ определяется равенством
q(Λ) =
min q(~x).
~
x∈Λ, ~
x6=~0
Он имеет простой геометрический смысл: гиперболический крест Ks (T ) не
содержит ненулевых точек решётки Λ при T < q(Λ).
Назовем r-й компонентой гиперболического креста Ks (T ) подмножество
Ksr (T ) = {~x | q(~x) 6 T и ровно r координат ~x отличны от 0}.
Ясно, что справедливо следующее разбиение гиперболического креста:
!
à s
[
[
r
{~0}.
Ks (T )
Ks (T ) =
r=1
Если M ⊂ Λ – подрешетка решетки Λ, то величина D = det M/ det Λ
называется индексом подрешетки M решетки Λ. Два вектора ~x и ~y решетки
Λ сравнимы по подрешетке M ( находятся в одном классе относительно
подрешетки M ), если ~x − ~y ∈ M . В этом случае пишем ~x ≡ ~y (mod M ).
Индекс D подрешетки M решетки Λ равен числу классов решетки Λ
относительно M .
Каждая полная система вычетов решётки Λ относительно M имеет
естественную структуру конечной абелевой группы, изоморфной Λ/M .
Отсюда следует, что для любой целочисленной решетки Λ обобщенная
параллелепипедальная сетка M (Λ) является полной системой вычетов
взаимной решетки Λ∗ относительно фундаментальной решетки Zs , т.е.
О гиперболических параметрах решётки линейного сравнения
53
M (Λ) = Λ∗ /Zs . Таким образом, на обобщенной параллелепипедальной
сетке целочисленной решетки определена естественная операция сложения,
относительно которой она является конечной абелевой группой.
Полную систему вычетов фундаментальной решетки Zs относительно целочисленной решетки Λ будем обозначать через M ∗ (Λ), хотя она
определена неоднозначно. Ниже будут сформулированы дополнительные
условия для выбора M ∗ (Λ).
В одномерном случае любая целочисленная решетка
£ p−1 ¤ имеет £вид
p¤
pZ и множество чисел {−p1 , . . . , 0, . . . , p2 }, где p1 =
2 , p2 = 2 ,
является наименьшей абсолютной полной системой вычетов одномерной
фундаментальной решетки Z по подрешетке pZ. Приведем многомерный
аналог этого понятия из работы [3].
Определение 4. Полная система вычетов фундаментальной
решетки Zs
относительно целочисленной решётки Λ называется
минимальной гиперболической полной системой вычетов, если минимальный
гиперболический крест, содержащий эту полную систему вычетов, имеет
минимальное значение своего параметра для всех полных систем вычетов
фундаментальной решетки Zs относительно целочисленной решетки Λ.
Определение 5. Полная система вычетов фундаментальной
решетки Zs
относительно целочисленной решетки Λ, состоящая из
представителей классов вычетов с наименьшей усеченной нормой среди
всех элементов класса вычетов, называется абсолютно минимальной
гиперболической полной системой вычетов.
∗ (Λ). Вообще
Такая полная система вычетов обозначается через MH
∗
говоря, полная система вычетов MH (Λ) определена неоднозначно. Это видно
на примере решетки N Zs при четном N . Действительно, N2 ≡ −N2 (mod N ).
Уже в одномерном случае две полные системы вычетов {−N1 , . . . , 0, . . . , N2 }
и {−N2 , . . . , 0, . . . , N1 } удовлетворяют определению 5. В s-мерном случае
∗ (Λ) можно еще
таких систем будет 2s . Для однозначности выбора MH
s
ввести лексикографический линейный порядок на Z . Тогда из нескольких
возможных элементов с одинаковым значением усеченной нормы выберем
наименьший в смысле лексографического упорядочивания. Тем самым
∗ (Λ) будет определено однозначно.
MH
Лемма 1. Для любой целочисленной решетки Λ и подрешетки Λ1
справедливо вложение
∗
∗
MH
(Λ) ⊂ MH
(Λ1 )).
(2)
Доказательство. Так как Λ1 ⊂ Λ, то из ~x ≡ ~y (mod Λ1 ) следует,
что ~x ≡ ~y (mod Λ). Поэтому каждый класс вычетов ~x (mod Λ) является
det Λ1
объединением
классов вычетов ~y (mod Λ1 ). Так как элемент с
det Λ
наименьшей усеченной нормой в классе вычетов ~x (mod Λ) окажется
54
А. В. Родионов, С. Ю. Чуприн
элементом с наименьшей усеченной нормой в одном из классов вычетов ~y
(mod Λ1 ) с ~x ≡ ~y (mod Λ), то лемма доказана.
Для произвольной целочисленной решетки Λ определим второй и третий
гиперболические параметры.
Определение 6. Вторым гиперболическим параметром целочисленной
решётки Λ называется наименьшее натуральное число q2 (Λ), такое,
что гиперболический крест K(q2 (Λ)) содержит полную систему вычетов
фундаментальной решетки Zs относительно целочисленной решетки Λ.
Определение 7. Третьим
гиперболическим параметром
целочисленной решетки Λ называется наибольшее натуральное число q3 (Λ),
такое, что все целые точки гиперболического креста K(q3 (Λ)) содержатся
в полной системе вычетов фундаментальной решетки Zs относительно
целочисленной решетки Λ. Другими словами, все целые точки этого креста
несравнимы по модулю Λ.
Из определений 6 и 7 сразу следует, что
q3 (Λ) < q(Λ),
q3 (Λ) 6 q2 (Λ).
Лемма 2. Для любой целочисленной решетки Λ найдется минимальная
гиперболическая полная система вычетов M ∗ (Λ) фундаментальной
решетки Zs относительно подрешетки Λ такая, что выполнены
соотношения
K(q3 (Λ)) ⊂ M ∗ (Λ) ⊂ K(q2 (Λ)).
(3)
Доказательство. См. [3] стр. 129.
Лемма 3. Абсолютно минимальная гиперболическая полная система
∗ (Λ) фундаментальной решетки Zs относительно подрешетки
вычетов MH
Λ удовлетворяет соотношению (3).
Доказательство. См. [3] стр. 130.
Рассмотрим теперь основные свойства
параметра.
первого
гиперболического
Лемма 4. При N < 2s для гиперболического параметра q(Λ) решетки
Λ = Λ(a1 , a2 , . . . , as−1 ; N ) справедливо равенство q(Λ) = 1.
Доказательство. См. [4] стр. 39.
Из этой леммы вытекает, что задача вычисления гиперболического
параметра q(Λ) решетки Λ(a1 , a2 , . . . , as−1 ; N ) содержательна только для
N > 2s .
Лемма 5. Для любого N > 3 справедливо неравенство q(Λ) <
Доказательство. См. [4] стр. 40.
N
2
.
О гиперболических параметрах решётки линейного сравнения
Рассмотрим величину
µ µ
½ ¾¶
µ
½ ¾
¶¶
k
k
r(k) = min m N ·
,m N ·
−N
.
N
N
55
(4)
Тогда имеет место следующее утверждение.
Лемма 6. Для гиперболического параметра q(Λ) решетки Λ(~a; N )
справедливо равенство
µ
µ ¶
¶
\
N
∗
q(Λ) = min r((~a, ~x)) · q(~x) | ~x ∈ Zs−1 Ks−1
\{~0} .
(5)
2
Доказательство. См. [4] стр. 40.
T ∗ ¡N ¢
~
a, ~x)) · q(~x) <
Лемма 7. Для любого ~x ∈ Zs−1 Ks−1
2 \{0} с r((~
справедливо равенство
N
2
∗
(r((~a, ~x)) · q(~x)\{~0}))).
q(Λ) = min(r((~a, ~x)) · q(~x), min(r((~a, ~y )) · q(~y ) | ~y ∈ Ks−1
Доказательство. См. [4] стр. 40.
Наряду с нахождением решения однородной задачи будем рассматривать
совокупность неоднородных задач вида
x0 + a1 · x1 + . . . + ad · xd + b ≡ 0(mod N ) (d = 1, . . . , s − 1).
(6)
Множество решений сравнения при заданных d и b обозначим через Λd (b) =
= Λd (a1 , . . . , ad ; N, b). Это множество является сдвигом решетки Λd (0) на
любое частное решение (6).
3. О числе целых точек на границе гиперболического креста
Рассмотрим границу гиперболического креста
GKs (t) = {~x | ~x = (x0 , x1 , . . . , xs−1 ), q(~x) = t},
через N Ks (t) обозначим количество целых точек на границе GKs (t). Ясно,
что N Ks (t) > 0 только для t ∈ N.
Через N Ks∗ (t) обозначим количество целых точек общего положения
на границе GKs (t). Напомним, что точка ~x называется точкой общего
положения, если все её координаты отличны от нуля.
Лемма 8. Для любого натурального t справедливо равенство
N Ks (t) =
s
X
Csk N Kk∗ (t).
(7)
k=1
Доказательство. Определим для натуральных k с 1 6 k 6 s множество
целочисленных векторов Jk следующим образом:
¯
½
¾
¯ jk 1 < . . . < jk k , jk k+1 < . . . < jk s
¯
~
Jk = jk = (jk 1 , . . . , jk s ) ¯
.
{jk 1 , . . . , jk s } = {1, . . . , s}
56
А. В. Родионов, С. Ю. Чуприн
Другими словами, каждый вектор ~jk является перестановкой чисел 1, . . . , s
такой, что первые k координат и последние s − k координат образуют
монотонно возрастающую последовательность. Ясно, что для количества
элементов в множестве Jk справедливо равенство |Jk | = Csk .
Будем для границы GKs (t) и вектора ~jk ∈ Jk через GKs,~jk обозначать
множество целых точек на границе креста таких, что
xjk ν 6= 0 при (1 6 ν 6 k) xjk ν = 0 при (k + 1 6 ν 6 s).
Очевидно, что
N Ks (t) =
s X
X
|GKs,~jk |.
k=1 ~jk ∈Jk
Так как |GKs,~jk | = N Kk∗ (t) и |Jk | = Csk , то
N Ks (t) =
s X
X
|GKs,~jk | =
k=1 ~jk ∈Jk
s X
X
N Kk∗ (t)
=
k=1 ~jk ∈Jk
=
s
X
s
X
|Jk |N Kk∗ (t) =
k=1
Csk N Kk∗ (t)
k=1
и утверждение леммы полностью доказано.
Обозначим через τk (t) число решений уравнения
x1 · . . . · xk = t
(8)
в натуральных числах x1 . . . xk .
Лемма 9. Для любого натурального t справедливо равенство
N Kk∗ (t) = 2k τk (t).
(9)
Доказательство. Обозначим через Kk+ (t) множество точек на границе
GKk (t), у которых все координаты x1 , x2 , . . . , xk ∈ N. Таким образом,
Kk+ (t) = {~x = (x0 , x1 , . . . , xk−1 ) | xj > 0 (j = 0, . . . , k − 1), x0 · . . . · xk−1 = t}.
Это есть множество решений уравнения (8).
Обозначим через N Kk+ (t) количество точек множества Kk+ (t). Из (8)
следует, что N Kk+ (t) = τk (t). Поскольку N Kk∗ (t) = 2k · N Kk+ (t), то N Kk∗ (t) =
= 2k τk (t). Лемма 9 доказана.
Лемма 10. Если t = pα1 1 pα2 2 . . . pαmm , то
τk (t) = Cαk−1
C k−1 . . . Cαk−1
.
m +k−1
1 +k−1 α2 +k−1
О гиперболических параметрах решётки линейного сравнения
57
Доказательство. Рассмотрим случай t = pα . Задача нахождения τk (t)
сводится к нахождению числа решений уравнения
β1 + β2 + . . . + βk = α
в целых неотрицательных числах.
k−1
Как известно, количество решений этого уравнения равно Cα+k−1
(число
сочетаний с повторениями), а значит,
k−1
τk (pα ) = Cα+k−1
.
В случае же t = pα1 1 pα2 2 . . . pαmm задача нахождения τk (t) сводится к
нахождению числа решений системы уравнений
(
β1 1 + β1 2 + . . . + β1 k = α1
... ... ... ... ...
βm 1 + βm 2 + . . . + βm k = αm
в целых неотрицательных числах.
Из предыдущего следует τk (t) = Cαk−1
C k−1 . . . Cαk−1
m +k−1
1 +k−1 α2 +k−1
утверждение леммы доказано.
и
Лемма 11. Если p — простое число и t не делится на p, то
N Kk∗ (t · p) = k · N Kk∗ (t).
Доказательство. Согласно лемме 10 при t = pα1 1 pα2 2 . . . pαmm имеем:
p · t = p · pα1 1 pα2 2 . . . pαmm ;
τk (p · t) = Ckk−1 Cαk−1
C k−1 . . . Cαk−1
=
m +k−1
1 +k−1 α2 +k−1
= k · Cαk−1
C k−1 . . . Cαk−1
= k · τk (t).
m +k−1
1 +k−1 α2 +k−1
Подставляя в (9) p · t, получим
N Kk∗ (p · t) = 2k τk (p · t) = 2k · k · τk (t) = k · N Kk∗ (t).
Лемма 11 доказана.
В частности, подставляя в (10) t = 1, имеем
N Kk∗ (p) = k · 2k .
Теорема 1. Справедливо равенство
N Ks (t) =
s
X
Csk · 2k · Cαk−1
. . . Cαk−1
.
m +k−1
1 +k−1
k=1
Доказательство. Из лемм 9 и 10
.
C k−1 . . . Cαk−1
N Kk∗ (t) = 2k · Cαk−1
m +k−1
1 +k−1 α2 +k−1
(10)
58
А. В. Родионов, С. Ю. Чуприн
Согласно лемме 8
N Ks (t) =
s
X
Csk · 2k · Cαk−1
. . . Cαk−1
.
m +k−1
1 +k−1
k=1
Теорема доказана.
4. Линейные порядки на целочисленном гиперболическом
кресте
Определим линейный порядок <
[−t, t] следующим образом:
t
на множестве целых чисел отрезка
0 < t 1 < t − 1 < t 2 < t − 2 < t . . . < t [t] < t − [t].
(11)
Таким образом, если a, b ∈ [−t, t], то a < t b, если |a| < |b| или a > 0, b = −a.
Лемма 12. Если t < u и a, b ∈ [−t, t], то из a < u b следует a < t b.
Доказательство. См. [4] стр. 44.
Обозначим через ZKs (t) и ZKs∗ (t) множество целых точек,
принадлежащих соответственно Ks (t) и Ks∗ (t). Заметим, что ZKs (t) =
= ZKs∗ (t) при t 6∈ N и ZKs (t) 6= ZKs∗ (t) при t ∈ N , так как в последнем
случае всегда найдутся хотя бы 2s целых точек на границе Ks (t) и все эти
точки не принадлежат Ks∗ (t).
Из предыдущего следует, что при t > 1, t 6∈ N справедливы равенства
ZKs (t) = ZKs∗ (t) = ZKs ([t]) = ZKs∗ ([t] + 1),
при t > 1, t ∈ N
Кроме того,
ZKs (t) ⊃ ZKs∗ (t) = ZKs (t − 1).
ZKs (1) = {−1, 0, 1}s , ZKs∗ (1) = ∅.
Множество ZKs (t) будем называть целочисленным гиперболическим
крестом.
Лемма 13. Для любого d = 1, . . . , s − 1 справедливо представление
µ
¶
[
t
ZKs (t) =
{~x} × ZKs−d
.
q(~x)
~
x∈ZKd (t)
Доказательство. См. [4] стр. 45.
Введём линейный порядок ≺ t на целочисленном гиперболическом кресте
ZKs (t) при t > 1 следующим образом. Каждому вектору ~x(x1 , x2 , . . . , xs )
поставим в соответствие вектор ~x∗ (q(~x), x1 , x2 , . . . , xs ). Для ~x, ~y ∈ ZKs (t) ~x ≺
≺ t ~y , если существует такое 1 6 j 6 s, что x∗k = yk∗ при 1 6 k 6 j − 1 и x∗j < t yj∗ .
Нетрудно видеть, что порядок ≺ t является порядком лексикографического
типа.
О гиперболических параметрах решётки линейного сравнения
59
5. Рекурсивный алгоритм
Сначала опишем несколько вспомогательных функций. Функция Lex(n):
ставит любому неотрицательному целому числу n в соответствие целое число
таким образом, что если мы вычислим Lex(x) для x ∈ 1. . . N , то получим N
чисел, расположенных в лексикографическом порядке, который определён
соотношением (11). Вспомогательная функция Augment(x, M ):
добавляет к матрице M столбец слева, состоящий из чисел x. Функция
Stack(X, Y ):
присоединяет к матрице X снизу матрицу Y . Её отличие от стандартной
функции stack(X, Y ) состоит в том, что в случае, если первая матрица
не существует, то результатом будет не сообщение об ошибке, а другая,
существующая матрица. Далее опишем функции Mod(x, y) и Div(x, y):
Mod(x, y) — аналог стандартной функции, только в случае y = 0
результатом будет x. Функция Div(x, y) выполняет целочисленное деление,
с той лишь особенностью, что Div(x, 0) = x. Необходимость этих функций
обусловлена особенностью усеченной нормы:
Функция Sr(x, y) находит наименьшее неотрицательное решение r
сравнения
x ≡ r(mod y) :
60
А. В. Родионов, С. Ю. Чуприн
Функция GCr(s, t) формирует матрицу, строками которой являются
векторы s-мерного гиперболического креста Ks (t), расположенные на
границе в лексикографическом порядке:
Основная функция Mh(a, N ) для решётки Λ(~a, N ) строит абсолютно
наименьшую полную гиперболическую систему вычетов, а также вычисляет
три гиперболических параметра. Алгоритм заключается в переборе всех
точек гиперболического креста в лексикографическом порядке и проверке
на принадлежность данной точки полной системе вычетов. Подходящие
точки добавляются к матрице размера s × N . Когда абсолютно наименьшая
полная гиперболическая система вычетов построена, алгоритм прекращает
выполнение, причём вместе с указанной матрицей вычисляются первый,
второй и третий гиперболические параметры.
Список литературы
1. Бахвалов Н. С. О приближенном вычислении кратных интегралов // Вестник
МГУ. Сер. Математика. 1959. № 4. С. 3–18.
О гиперболических параметрах решётки линейного сравнения
61
2. Добровольский Н. М. О квадратурных формулах на классах Esα (c) и Hsα (c).
Деп. в ВИНИТИ 24.08.84. — №6091 — 84.
3. Многомерная теоретико-числовая Фурье-интерполяция / Н.М. Добровольский
[и др.] // Чебышевский сборник. Тула: Изд-во ТГПУ им. Л. Н. Толстого, 2004.
Т. 5. Вып. 1(9). С. 122 – 143.
4. Добровольский Н. М., Есаян А. Р., Реброва И. Ю. Об одном рекурсивном
алгоритме для решеток // Теория приближений и гармонический анализ: Тез.
докл. Междунар. конф. Тула: Изд-во ТулГУ, 1998. С. 90.
5. Добровольский Н. М., Есаян А. Р., Реброва И. Ю. Об одном рекурсивном
алгоритме для решёток // Изв. ТулГУ. Сер. Математика. Механика.
Информатика. 1999. Т. 5. Вып. 3. C. 38–51.
6. Коробов Н. М. Теоретико-числовые методы в приближенном анализе. (второе
издание) М.: МЦНМО, 2004. 288 с.
7. Родионов А. В. О методе В. С. Рябенького – Н. М. Коробова приближенного
решения уравнений с частными производными // Чебышевский сборник. Тула:
Изд-во ТГПУ им. Л. Н. Толстого, 2009. Т. 10. Вып. 3. С. 82–96.
Родионов Александр Валерьевич (rodionovalexandr@mail.ru), ассистент,
кафедра алгебры, математического анализа и геометрии, Тульский
государственный педагогический университет им. Л. Н. Толстого.
Чуприн Сергей Юрьевич (chupa13_666@mail.ru), ассистент, кафедра
алгебры, математического анализа и геометрии, Тульский государственный
педагогический университет им. Л. Н. Толстого.
Hyperbolic net parameters of a linear congruence
A. V. Rodionov, S. Yu. Chuprin
Abstract. In interpolation problems of periodic functions of several variables
in the solution of the Cauchy problem for partial differential equations periodic
functions play a significant role hyperbolic net parameters of solutions of a linear
comparison. Another important concept for this class of problems is the concept
of a hyperbolic system of the lowest total deductions fundamental latticen Zs
for arbitrary integer sublattice Λ. We proved that the number of net points on
the boundary of the hyperbolic cross, as well as the algorithm of calculating the
parameters of integral net of hyperbolic solutions of linear congruences corresponding parallelepiped grids. Algorithm is iterating through all of the hyperbolic
cross points in lexicographical order and checking for membership this point a
complete system of residues. Suitable points are added to the matrix s × N .
When is the smallest full -hyperbolic system of deductions built, the algorithm
terminates execution, and together with said matrix are calculated first, second
and third parameters are hyperbolic.
Keywords: integral net, hyperbolic cross, hyperbolic net parameters.
62
А. В. Родионов, С. Ю. Чуприн
Rodionov Alexander (rodionovalexandr@mail.ru), assistant, department of
mathematical analysis, algebra and geometry, Leo Tolstoy Tula State Pedagogical
University.
Chuprin Sergey (chupa13_666@mail.ru), assistant, department of mathematical analysis, algebra and geometry, Leo Tolstoy Tula State Pedagogical University.
Поступила 15.01.2014
Документ
Категория
Без категории
Просмотров
5
Размер файла
191 Кб
Теги
решётке, сравнение, линейного, параметры, гиперболическое
1/--страниц
Пожаловаться на содержимое документа