Центрированное конечно-разностное приближение 2-го порядка

Этот вопрос может показаться математическим, но это скорее вопрос программирования, связанный с дискретизацией, поэтому я решил задать его здесь.

Задача состоит в том, чтобы найти конечно-разностную аппроксимацию второго порядка частной производной uxy, где u — функция от x< /em> и y.

Страница 5 из этого PDF-файла, который я обнаружил, делает различие по центру аппроксимировать его в два этапа. Сначала он выполняет центрированную конечно-разностную аппроксимацию 2-го порядка одного из партиалов, а затем вставляет в него аппроксимацию второго партиала (используя ту же формулу):

введите здесь описание изображения

Вставка строк 2 и 3 в 1 дает (согласно pdf) следующее:

введите здесь описание изображения

У меня проблема с последним O[(Δx)2,(Δy)2]. Обратите внимание, что когда члены O(Δy)2 строк 2 и 3 входят в числитель 1, они делятся на Δx в знаменателе. Так почему же остаточные члены в строке 3 равны O(Δy)2 вместо O(Δy2/Δx)? Будет ли это больше приближением «второго порядка»? (Если, скажем, шаг сетки по обеим осям одинаков (Δx=Δy=h), член имеет порядок h2/h =h, а не h2.)

Мое предложение состояло бы в том, чтобы использовать приближение более высокого порядка (3-го или более) в строках 2 и 3, чтобы выдержать деление на Δx и по-прежнему иметь окончательное выражение во 2-м порядке. Но я могу что-то упустить здесь.


person Abhranil Das    schedule 07.04.2014    source источник
comment
Вы можете получить больше интереса на scicomp.SE   -  person Emmet    schedule 07.04.2014
comment
Нашел ответ в разделе 2.5 этого: springer.com/cda /content/document/cda_downloaddocument/›. Кто-то дал его мне, поэтому я не хочу брать кредит, публикуя ответ.   -  person Abhranil Das    schedule 07.04.2014
comment
Связанный pdf: mathematik.uni-dortmund.de/~kuzmin/cfdintro /lection4.pdf   -  person John Alexiou    schedule 07.04.2014


Ответы (2)


Если я правильно помню, если вы напишите больше членов в разложениях Тейлора, быстро станет очевидным, что члены более высокого порядка сокращаются. То есть, что "O(dy)^2 - O(dy)^2", которое вы получили бы после замены (2) и (3) в числителе (1), на самом деле становится равным нулю.

person Emmet    schedule 07.04.2014

У вас есть два наклона 1-го порядка, которые вместе дают плоскость 1-го порядка. Вы ничего не выигрываете с точки зрения порядка, комбинируя два наклона, чтобы получить (∂u/∂x)*(∂u/∂y).

Это по-прежнему приближение 1-го порядка, и при необходимости вам нужно будет использовать больше точек в конечной разности, чтобы получить члены более высокого порядка.

Я думаю, что запись (∂²u/∂x∂y) сбивает с толку. Используйте произведение двух операторов 1-го порядка, чтобы лучше понять, что происходит.

person John Alexiou    schedule 07.04.2014
comment
Я думаю, вы неверно истолковали обозначение. Два наклона не были перемножены, чтобы получить (du/dx)*(du/dy). Они были вложены или составлены для получения частной производной 2-го порядка d2u/dxdy. Кроме того, я думаю, что каждый из склонов, которые они подключают, здесь 2-го порядка, верно? (Я все еще новичок во всем этом.) - person Abhranil Das; 07.04.2014
comment
Это произведение двух операторов (∂/∂x и ∂/∂y). Не произведение двух наклонов. Каждый наклон имеет первый порядок, потому что знаменатель равен Δx, а не Δx². 2-й порядок u(x,y) с точки зрения x равен (2*u(x,y)-u(x-h,y)-u(x+h,y))/h². Обратите внимание на квадрат в знаменателе. - person John Alexiou; 07.04.2014
comment
Хотя знаменатель равен Δx, это центрированная разность второго порядка. - person Abhranil Das; 07.04.2014
comment
Если члены более высокого порядка равны O(h²), то аппроксимация будет 1-го порядка. - person John Alexiou; 07.04.2014
comment
Нет, аппроксимация имеет тот же порядок, что и член ошибки ведущего порядка. Например, [u(i+1)-u(i)]/Δx является аппроксимацией первого порядка для ∂u/∂x, поскольку член ошибки старшего порядка, следующий за ним, равен O(Δx). Возможно, вы имеете в виду, что числовая схема на один порядок ниже, чем порядок ее локальной ошибки усечения. - person Abhranil Das; 08.04.2014