利用禁值型論證法，在某些較一般的條件下，建立了形如｛－Δｕ＝ｆ（ｘ，ｕ），ｘ∈Ω，ｕ＝０，ｘ∈δΩ的Ｄｉｒｉｃｈｌｅｔ問題非負解的存在性，Ω是Ｒ＾ｎ中的有界域，邊界δΩ適當光滑。
簡介
如果符號是正則語言的起始符號，則它以大寫字母開頭，否則以小寫字母開頭。字元串常量（literal strings）用引號括起。在規則右邊的表達式中，以下表達式用於匹配一個或多個字元的字元串：#xNN 是一個十六進制的整數，當 ISO/IEC 10646 中某個字元的規範（UCS-4）代碼值作為無符號二進制數與 N 相等時，此表達式匹配這個字元。#xN 中的前導 0 沒有意義，在相應的代碼值中的前導 0 的個數則由所用字元編碼方案決定，對 XML 沒有意義。[a-zA-Z]， [#xN-#xN]與其值在指定範圍內的任何 Char 相匹配（含界，inclusive）。[abc], [#xN#xN#xN] 與其值為所枚舉的值之一的 Char 相匹配。在一對方括弧內枚舉和範圍可以混用。[^a-z]， [^#xN-#xN]與其值在指定範圍之外的任何 Char 相匹配。[^abc]， [^#xN#xN#xN]與任何不在給定字元集內的 Char 相匹配。在一對方括弧內被禁值的枚舉和範圍可以混用。"string"與匹配雙引號中所給字元串的常量字元串相匹配。'string'與匹配單引號中所給字元串的常量字元串相匹配。這些符號可以按下列方式組合，以匹配更複雜的模式，其中A和B表示簡單表達式：(expression)expression 被當成一個單元，可以向本表描述的那樣進行組合A?與零個或一個 A 相匹配，即 A 可選。A B與 A 後跟 B 的模式相匹配。這個操作符的優先權高於 |，因此 A B | C D 相當於 (A B) | (C D)A | B與 A 或 B 之一相匹配，但不同時匹配。A - 與任何匹配 A 但不匹配 B 的字元串相匹配。A+與一個或多個 A 相匹配。連線操作的優先權高於 |，因此 A+ | B+ 相當於 (A+) | (B+)。A*與零個或多個 A 相匹配。連線操作的優先權高於 |，因此 A* | B* 相當於 (A*) | (B*)。
