Какова цель тестовой функции в конечно-элементном анализе?

13

В волновом уравнении:

c2u(x,t)2u(x,t)t2=f(x,t)

Почему мы сначала умножаем на тестовую функцию v(x,t) перед интегрированием?

Энди
источник
6
Краткий ответ: потому что метод конечных элементов - это дискретизация слабой формулировки, а не сильной формулировки (которую вы дали). Средний ответ: потому что вы не можете быть уверены, что найдете конечномерную функцию, которая удовлетворяет уравнению; в лучшем случае вы можете надеяться, что остаток будет ортогональным к конечномерному пространству решений - или эквивалентно, ортогональным любому элементу этого пространства (который является в точности тестовой функцией). Интеграция по частям не так важна, и в вашем случае ради симметрии. Длинный ответ слишком длинен для комментария :)
Кристиан Клэйсон
3
Еще одно краткое объяснение: если вы просто интегрируете и устанавливаете в ноль, вы просите, чтобы среднее значение исчезло - совсем не то, что вы ищете, потому что тогда остаток может быть очень большим в одной части домена, если это большой с противоположным знаком в другом. Тестовые функции по сути «локализуют» остаток каждого элемента.
Кристиан Клэйсон
Альтернативное объяснение см. В следующем ответе: scicomp.stackexchange.com/questions/16331/…
Павел

Ответы:

13

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

Итак, рассмотрим проблему, где мы хотим минимизировать (и работать здесь формально, а не строго):

I(u)=12Ω(u(x))2dx

с учетом некоторых граничных условий на . Если мы хотим, чтобы это I достигло минимума, мы должны дифференцировать его по отношению к u , что является функцией. В настоящее время существует несколько способов рассмотреть этот тип производной, но один из способов, которым он был представлен, - это вычислитьΩIu

I(u(x),v(x))=limh0ddhI(u(x)+hv(x))

где просто скаляр. Вы можете видеть, что это похоже на традиционное определение производной для скалярных функций скалярной переменной, но распространяется на функционалы типа I, которые возвращают скаляры, но имеют свою область над функциями.hI

Если мы вычислим это для нашего (в основном используя правило цепочки), мы получимI

I(u,v)=Ωuvdx

Устанавливая это в ноль, чтобы найти минимум, мы получаем уравнение, которое выглядит как слабое утверждение для уравнения Лапласа:

Ωuvdx=0

Теперь, если мы используем теорию дивергенции (многомерное интегрирование по частям), мы можем взять производную от и положить ее на u, чтобы получитьvu

Ω(u)vdx+boundary terms=0

Теперь это действительно выглядит, когда вы начинаете, когда вы хотите построить слабое утверждение из уравнения в частных производных. Учитывая эту идею сейчас, вы можете использовать ее для любого PDE, просто умножить на тестовую функцию, интегрировать, применить теорему расхождения и затем дискретизировать.

Билл Барт
источник
Я бы предпочел объяснить это с точки зрения минимизации взвешенного остатка.
Никогуаро
3
@nicoguaro, хорошо, тогда вы можете написать этот ответ, и мы увидим, какой из них имеет больше смысла для ОП. :)
Билл Барт
+1 за указание на то, что слабая форма на самом деле (или, по крайней мере, часто) более естественна, чем сильная форма.
Кристиан Клэйсон
Интересный. Какая-то касательная, но в отношении «Есть несколько хорошо продуманных способов рассмотреть этот тип производной» : единственный метод, который я изучил, - это тот, который вы упомянули. Какие еще есть виды?
user541686 30.07.15
5
h
10

Как я упоминал ранее, я предпочитаю думать о слабой форме как о взвешенном остатке.

u^ . Давайте определим остаток как

R=c2u^2u^t2f(x,t)

R «маленьким». Таким образом, мы можем попытаться минимизировать норму невязки (например, методы наименьших квадратов) или ее среднее значение. Один из способов сделать это - вычислить взвешенный остаток, то есть минимизировать взвешенный остаток

ΩwRdΩ

wu^ Галеркина), дельта - функции Дирака (методы коллокации), или фундаментального решения (граничных элементов метода).

Если вы выберете первый случай, вы получите уравнение, подобное описанному @BillBarth.

nicoguaro
источник