• 検索結果がありません。

修 士 学 位 論 文

N/A
N/A
Protected

Academic year: 2021

シェア "修 士 学 位 論 文"

Copied!
12
0
0

読み込み中.... (全文を見る)

全文

(1)

修 士 学 位 論 文

論文題名

楕円曲線と

Elliptic Divisibility Sequence

上における計算困難問 題の関係性について

指導教員 内田 幸寛 准教授

2020

1

10

日 提出

首都大学東京大学院 理学研究科 数理科学専攻

学修番号

18843409

氏名 樺島 祐

(2)

目次

1 前文 3

2 準備 5

3 主結果の証明 9

4 まとめ 11

5 謝辞 11

(3)

1

前文

今日では, 通信技術などの日常の様々な場面で暗号理論が用いられている. 情報の機密性の根幹にある暗号 化で用いられる計算問題の困難性に関する理論は極めて重要である. そこで本論文では,有名な計算困難問題 の計算量の関係性について考察した.

Fqを位数qの体とする(標数= 2,3) . Fq 上の楕円曲線E E:y2=x3+Ax+B

と定義する. ただし,4A3+ 27B2̸= 0であるとする. また,楕円曲線E上のFq 有理点のなす群E(Fq) E(Fq) ={(x, y)F2q|y2=x3+Ax+B} ∪ {O}

とする. ここで,Oは無限遠点を表す. また,r∈Zとし,Fq上のr-ねじれ点の集合を Er=E(Fq)[r] ={P∈E(Fq)|rP =O}

で表す. 本論文では,r >3,gcd(r, q1) = 1となるrを固定しておく.

本論文の先行研究として, [4][10], 暗号理論に利用される計算困難問題の関係について述べられてい . 本論文では,上の条件を満たすようなrを固定しておくことで, 楕円曲線上の位数が素数でない点におけ るこれらの問題の関係を一般化することを考える.

簡単のため,本論文においては上記2つの先行研究の論文と同様に, Fq上の基本的な計算にかかる時間はす べてO(log2q)であるものとする. この条件のもとで, 本論文においては具体的に以下の5つの計算困難問題 の関係性を考える.

問題1. (Elliptic Curve Discrete Logarithm Problem (ECDLP))

P ∈Er(ord(P)4), Q∈ ⟨P⟩が与えられたとき, Q=kP を満たすk∈Zを計算せよ. 問題2. (EDS Association)

P ∈Er, Q∈ ⟨P⟩が与えられたとき, Q=kP を満たすk∈Zについて, WE,P(k)を計算せよ. 問題3. (EDS Residue)

P ∈Er, Q∈ ⟨P⟩が与えられたとき, Q=kP を満たすk∈Zについて, WE,P(k)Fq上平方剰余か否か判定 せよ.

問題4. (WidthsEDS Discrete Log)

P ∈Erとする. ϕ(kP), ϕ((k+ 1)P),· · ·, ϕ((k+s−1)P)が与えられたとき, kを計算せよ. 問題5. (EDS-Diffie Hellman (EDS-DH))

P ∈Erとする.P, aP, bP(a, bZ)が与えられたとき, ϕ(abP)を計算せよ. 問題6. (ECDHP)

P ∈Erとする.P, aP, bP(a, bZ)が与えられたとき, abP を計算せよ.

各問題を記述するために必要な用語の定義については後にSection 2で与えることにする. また, 問題5 ϕは主結果1で定義している. これらの問題のいずれかが計算できるという仮定が与えられたとき,他の問題

(4)

を解くためにかかる計算量について考察し,以下の主結果2を得た. また,そのために必要な定理として,主結 1を示した.

主結果 1. P ∈Erとする.

ϕ(P) =

( WE,P(q1) WE,P(q1 +r)

)1

r2

(1) と定義する. ただし, ϕ(O) = 0とする. このとき,

ϕ(nP) =ϕ(P)n2WE,P(n) (2) が成り立つ. また,ϕ(nP)EDSになる.

(1), [4]Theorem 6で定義されているϕ(P) =

( WE,P(q1) WE,P(q1+ord(P))

) 1

ord(P)2

の類似である. 本論文で rを固定しておくことで, 定義にord(P)を用いず,これによりP ∈Er, gcd(r, q1) = 1となる範囲では

ord(P)が合成数である場合においても議論することができる. 本論文では, 楕円曲線上の位数が素数でない点

においてこれらの問題の関係を一般化することを考え,以下の主結果2を示した.

主結果 2. ϕ(P)Fq上の原始根であるとき,以下が成り立つ.

問題1,問題4,いずれか一方の問題にもう一方の問題を多項式時間で帰着できる. また,問題3は問題 2,問題2は問題1に多項式時間で帰着できる.

問題5と問題6はいずれか一方の問題をもう一方の問題に多項式時間で帰着でき,問題6は問題1に多項 式時間で帰着できる.

更に,問題3O(T(q))で解けるならば, 問題1O(logq(T(q) + log4q))で 解くことができる. また, 問題2が解けるとき,問題1Fq上の離散対数問題に帰着できる.

これらの証明はSection 3で与える.

また,主結果2から,次の結論を導くことができる.

ϕ(P)Fq 上の原始根であるとき,問題1,問題2,問題3,問題4 (s= 3)のいずれかが確率的準指数時 間で解けるならば,残る3つの問題も確率的準指数時間で解くことができる.

また,問題5,問題6のいずれかが確率的準指数時間で解けるならば,もう一方の問題も確率的準指数時間 で解くことができる. また,問題1が確率的準指数時間で解けるとき,問題5,問題6は確率的準指数時間 で解くことができる.

(5)

まとめると,下の図式のように多項式時間で行き来できることが示せた. EDS Residue(3)

EDS Association(2)

55j

jj jj jj jj jj jj jj

ECDLP(1) //

oo

EDS Discrete Log(4)

oo

ECDHP(6)oo //EDS-DH(5) 実線部分は多項式時間で計算できる. 破線部分(問題3→問題1)は主結果2のとおり.

問題2は体Fq の標数が2でないときは,問題3に帰着させてから問題3を問題1に帰着させることができ るが,標数が2であるときは問題3を考えることができない. 問題2を問題3を経由せずに問題1に帰着させ るためには,Fq上の離散対数問題を解くことになる.

2

準備

まず,主張に用いる基本的な用語の定義と基本的な性質を記述する. 定義1. (EDS)

写像W :ZFqelliptic divisibility sequence (EDS)であるとは, 任意のm, n∈Zについて,以下の漸 化式が成り立つことである.

W(m+n)W(m−n)W(1)2=W(m+ 1)W(m1)W(n)2−W(n+ 1)W(n1)W(m)2. (3) 本論文では, EDSを上のように1次元のelliptic netとして定義する. EDSの漸化式から, 直ちに次の公式 が得られる.

m=n+ 1, n=nとすることで,

W(2n+ 1)W(1)4=W(n+ 2)W(n)3−W(n1)W(n+ 1)3. (4) また,m=n+ 1,n=n−1とすることで,

W(2n)W(2)W(1)2=W(n)(

W(n+ 2)W(n1)2−W(n2)W(n+ 1)2)

. (5)

更に,W(1)̸= 0の条件下では,

W(−n) =−W(n) が成り立つことが知られている.

定義2. (等分多項式)

(6)

n∈Zとする. 次で定まる多項式ψnZ[x, y, A, B]を等分多項式という. ψ0= 0,

ψ1= 1, ψ2= 2y,

ψ3= 3x4+ 6Ax2+ 12Bx−A2,

ψ4= 4y(x6+ 5Ax4+ 20Bx35A2x24ABx8B2−A3), ψ2n+1=ψn+2ψ3n−ψn1ψ3n+1 (n2),

ψ2n= (2y)1ψnn+2ψn21−ψn2ψ2n+1) (n3), ψn=−ψn (n0).

命題1. P = (x, y)∈E(Fq)とする. WE,P(n) =ψn(P)と定義すると,WE,P :ZFqEDSである. 証明は[9]Section 9.5を参照せよ. この命題により,楕円曲線E(Fq)とその曲線上の点Pが定まれば, 応するEDSが定まることがわかる. したがって,楕円曲線上の計算問題とEDS上の計算問題を対応させるこ とができる.

定理1. 任意のm, n∈Zに対して,

WE,P(mn) =WE,mP(n)·WE,P(m)n2 が成り立つ.

この証明は等分多項式をWeierstrassσ-関数で書き表し,具体的に計算することで導くことができる. 細については[8]を参照せよ.

定義3. (rank of zero-apparition)

WEDSとする. ρ∈Z>0Wrank of zero-apparitionであるとは,W(ρ) = 0かつ,任意の0< m < ρ に対してW(m)̸= 0であることをいう.

[4]Problem 4では,本論文の問題4Widths EDS Discrete Log)を,W rank of zero-apparition が素数である場合として定義している. 本論文では,この条件は外して考える.

次に,ここまでの定義と基本的な性質を使って,本論文の主結果を導くために必要な主張を述べていく. 補題1. P ∈Erとする. Px座標をx(P)と表すことにする. WE,P(n1), WE,P(n), WE,P(n+ 1) 3,もしくはϕ((n−1)P), ϕ(nP), ϕ((n+ 1)P)3項が与えられたとき,nP x座標x(nP)O(log2q) で計算することができる.

証明. [7]Lemma 6.2.2より,次の式を得る.

WE,P(n1)WE,P(n+ 1)

WE,P(n)2 =x(P)−x(nP). (6) ,x(nP)以外の項は全て仮定の下でO(log2q)で計算できるため, x(nP)O(log2q)で計算することがで きる. また,(2)を用いることで,ϕ(nP)からWE,P(nP)を計算できる.

定理2. t∈Zが与えられたとき, WE,P(t)O(log|t|log2q)で計算することができる.

(7)

証明 . アルゴリズム([5] Theorem 3.4.1)による. WE,P(k3)からWE,P(k+ 4)までの連続した8個の 項を⟨WE,P(k)と書き表すとする. ⟨WE,P(t)⟨WE,P(1)をもとに, (4),(5)を用いて繰り返し2倍算と 加法を行うことによって求められる. まず, ⟨WE,P(1)を計算しておく. これは, WE,P(0) = 0, WE,P(1) = 1, WE,P(−n) =−W(n)だから,WE,P(i) (i= 2,3,4)EDSの漸化式を用いて計算すればよい.

1. t= 2lµ00:奇数)となるµ0を計算する.

2. µj =µj−12 としてµ1, · · ·, µm1= 2 or 3, µm= 1を計算する. 3. j =m, · · ·, 1について,次の計算を繰り返す.

µj1= 2µjのとき,⟨WE,P(2µj)を計算する.

µj1= 2µj+ 1のとき,⟨WE,P(2µj+ 1)を計算する. これにより, 最終的に⟨WE,P0)を得る.

4. ⟨WE,P(2µ0),⟨WE,P(22µ0),· · ·,⟨WE,P(2lµ0)=⟨WE,P(t)を計算する.

Step 3及びStep 4の計算には,(4), (5)を用いる. これら計算はO(log2q)O(log|t|)回行われる. 定理3. P ∈Erとする. Q=kP が与えられたとき,ϕ(Q)O(log3q)で計算できる.

証明 . 主結果 1の式(1)を考えると, 右辺の括弧内の計算にかかる時間は, 定理2 より, O(log(q−1 + r) log2q) +O(log(q−1) log2q) +O(log2q) =O(log3q).このほかに行うのはFq 上の指数の計算で,これは O(logq)で計算することができる.

定理4. P ∈Erとする. ϕ(kP), ϕ((k+ 1)P), ϕ((k+ 2)P)が与えられたとき,Q=kP を確率的にO(log4q) で計算することができる.

証明. 補題1により,x((k+ 1)P)O(log2q)で計算される. また,対応する2つのy座標は, [2] Section 7.1 より,確率的にO(log4q)で計算される. 2つの(k+ 1)Pの候補から正しいものを選ぶには,まず,どちらかを (k+ 1)Pと仮定し, 楕円曲線上の加法により,x((k+ 2)P)を計算する. そして,補題1の式(6)n=k+ 2 として,

WE,P(k+ 1)WE,P(k+ 3)

WE,P(k+ 2)2 =x(P)−x((k+ 2)P).

これを仮定のもとで解いて,ϕ((k+ 3)P)を決定する. これと同様にϕ((k+ 4)P)を決定し, EDSの漸化式 m=k+ 2, n= 2としたものが成り立った場合, 初めに仮定した(k+ 1)Pが正しいとわかる. そうでなけ れば,もう一方の候補が正しい(k+ 1)P である. 以上により(k+ 1)P が求まれば,Q=kP = (k+ 1)P−P を計算することでQが定まる.

次の定理5を示すために,本論文の主結果1を用いる.

定理5. P ∈Erとし,ϕ(P)Fqの原始根であるとする. k(0≤k <ord(P))について,WE,P(k), WE,P(k+

1), WE,P(k+ 2)が与えられたとき,kを計算することは,確率的にO(log4q)の計算でFq 上の離散対数問題 を解くことに帰着できる.

証明 . 補題1より, x(Q)を計算し, 楕円曲線の式に代入することで対応するQの候補を2つ求めると, [2]

Section 7.1より,これは確率的にO(log4q)で計算される. 求めた候補をkP,−kP とする. 定理4と同様に

(8)

してQを決定する. 主結果1の式(2)より, ϕ((k+ 1)P)

ϕ(kP) =ϕ(P)2k+1WE,P(k+ 1) WE,P(k) を得る. よって, A = ϕ((k+1)P)Wϕ(kP)W E,P(k)

E,P(k+1) , B = ϕ(P) とすれば, A, Bはともに計算でき, 離散対数問題 A=B2k+1を解くことで2k+ 1の値を得る. ただし, ord(P)< q−1のとき,k2つの値をとる.

命題 2. P ∈Er, Q=kP とする. また,kの偶奇をO(T(q))で計算する方法が既知であるとする. このとき, ECDLPを解いてkO(logq(T(q) + log3q))で計算できる.

証明. 次のStep 13の手順による. 1. Q=P ならば,k= 1として終了.

2. 仮定により,kの偶奇をO(T(q))で決定する. kが偶数ならば, 2Q=QとなるQを計算する. kが奇 数ならば,2Q=Q−P となるQを計算する.

3. Q=Qとして, Step 1に戻る.

Step 2について,Fq の標数が2でなく, gcd(r, q1) = 1であるから,rは奇数である. したがって, P, Q の位数は奇数であり,特に,Er2-ねじれ点は存在しない. ゆえに, Qは一意に定まる. これにかかる時間は Q−P 21の計算及び乗算で, O(log3q)である. 更に,Q=kPとすると, 毎回のStep 2において,k 偶数であれば0,奇数であれば1を記録しておき,終了後にこれらを右から並べることでkの二進数表記を得 . また,その回数はlog2k=O(logq)である.

命題 3. P Er, Q = kP とする. また, ϕ(P)が平方非剰余であるとする. このとき, ei Z, pi(x) Z[x],deg(pi)1, t(x) =∑N

i=1eipi(x)2は定数でない関数(Z/2ZZ/2Z)とし,

N

i=1

WE,P(pi(k))ei

の形の式の平方剰余が与えられているとすると,kの偶奇をO(Nlog3q)で計算できる. 証明. 主結果1の式(2)より,n=p1(k),· · ·, n=pN(k)として掛け合わせることで,

N

i=1ϕ(pi(k))ei

N

i=1WE,P(pi(k))ei =ϕ(P)t(k) を得る.

定理3より,ϕ(pi(k))ei,N個計算するのにかかる時間はO(Nlog3q)だから, 定理2と合わせて, 左辺を O(Nlog3q)で計算できる. ,ϕ(P)は平方非剰余だから, t(k)の偶奇は定数時間で計算できる. これらより, t(0), t(1)を定数時間で計算することにより,kの偶奇を得られる.

1. P ∈Er, Q=kP (0≤k <ord(P))とする. また, ϕ(P)は平方非剰余であるとし,P,Q,WE,P(k) の平方剰余をO(T(q))で判定する方法が既知であるとする. このとき, kO(logq(T(q) + log4q))で計算で きる.

証明. 命題3N = 1, e1= 1, p1(x) =xとし, kの偶奇をO(T(q) + log3q)で判定できることになる. これ

(9)

を命題2と合わせることによって

O((T(q) + log3q) logq+ log4q) =O(T(q) logq+ log4q)

3

主結果の証明

まず, Section 1に記述した主結果1を示す.

証明. まず,(2)が成り立つことを示す. 定理1より,

WE,aP(n)·WE,P(a)n2 =WE,P(an) =WE,nP(a)·WE,P(n)a2.

最左辺と最右辺を用いて,

WE,nP(a)·WE,P(n)a2

WE,P(a)n2 =WE,aP(n) を得る. ここで,a=q−1, q1 +rとすることで,

WE,nP(q1)·WE,P(n)(q1)2

WE,P(q1)n2 =WE,(q1)P(n), WE,nP(q1 +r)·WE,P(n)(q1+r)2

WE,P(q1 +r)n2 =WE,(q1+r)P(n) =WE,(q1)P(n) 2式より,

WE,nP(q1)·WE,P(n)(q1)2

WE,P(q1)n2 = WE,nP(q1 +r)·WE,P(n)(q1+r)2 WE,P(q1 +r)n2

ゆえに,

WE,nP(q1) WE,nP(q1 +r) =

( WE,P(q1) WE,P(q1 +r)

)n2

·WE,P(n)2r(q1)+r2

2r(q1)0 (modq−1)より,WE,P(n)2r(q1)+r2 =WE,P(n)r2だから,両辺を r12 乗して,(2)を得る. 次に,ϕ(nP)EDSであることを示す. 上式(2)より,

ϕ((m+n)P)ϕ((m−n)P)ϕ(P)2=ϕ(P)(m+n)2+(mn)2+2·WE,P(m+n)WE,P(m−n), ϕ((m+ 1)P)ϕ((m1)P)ϕ(nP)2−ϕ((n+ 1)P)ϕ((n1)P)ϕ(mP)2

=ϕ(P)(m+1)2+(m1)2+2n2WE,P(m+ 1)WE,P(m1)WE,P(n)2

−ϕ(P)(n+1)2+(n1)2+2m2WE,P(n+ 1)WE,P(n1)WE,P(m)2. 2式から,ϕ(nP)EDSである.

(10)

主結果1が示されたので,これにより定理5の証明が完了した. 次に,主結果2を示す.

証明. 問題(2)問題(1)

P, Q = kP は既知だから, 楕円曲線上の加法により, (k+ 1)P,(k+ 2)P を計算できる. 定理5より, ϕ(P)Fq上の原始根であれば,Fq上のDLPに確率的にO(log4q)で帰着させることができる. Fq上離散対 数問題は確率的準指数時間で解けるため,kを得る.

問題(1)問題(2)

0< k≤ord(P)としてよい. 定理2より, WE,P(k)O(logklog2q) =O(log3q)で計算することができ .

問題(1)問題(4)

定理4により,Q=kPO(log4q)で計算することができる. 問題(4)問題(1)

P, Q = kP:既知だから, 楕円曲線上の加法により, (k+ 1)P,(k+ 2)P を計算できる. 定理 3 より, ϕ(Q), ϕ((k+ 1)P), ϕ((k+ 2)P)O(log3q)で計算できる.

問題(6)問題(5)

主結果1の式(1),n=abとすると,

ϕ(abP) = 1 ϕ(P)

( WE,abP(q1) WE,abP(q1 +r)

)1

r2

(1) 上式の右辺の括弧内の計算は,定理2より,O(log3q)で計算できる.

問題(5)問題(6)

補題1の式(6),n=abとして,

ϕ((ab−1)P)ϕ((ab+ 1)P)

ϕ((ab)2)P =ϕ(P)2(x(P)−x(abP)). (2) ,問題5が解けるという仮定のもと,ϕ(abP)は計算できる. ϕ(nP)EDSであるから,

ϕ((m+n)P)ϕ((m−n)P)ϕ(P)2=ϕ((m+ 1)P)ϕ((m1)P)ϕ(nP)2−ϕ((n+ 1)P)ϕ((n1)P)ϕ(mP)2 が成り立つ. ここで,m=ab, n=bとすると,

ϕ((a(b+ 1))P)ϕ(a(b1)P)ϕ(P)2=ϕ((ab+ 1)P)ϕ((ab1)P)ϕ(aP)2−ϕ((a+ 1)P)ϕ((a1)P)ϕ(abP)2. P, aP, bP が既知なので, 楕円曲線上の加法により, (a+ 1)P,(a1)P,(b+ 1)P,(b1)P は計算できる. よって,問題5が解けるという仮定から,ϕ((ab+ 1)P)ϕ((ab1)P),それ以外の部分を計算することによっ て求めることができる. これと上式より, x(abP)を計算できる. 楕円曲線の式に代入して計算することで, 応するabP の候補を2つ得ることができる. 定理3より,O(log3q)ϕ(abP)を計算し, 問題5を解いて得 られるϕ(abP)と比較することで, 2つのうち正しいabPを決定できる.

問題(1)問題(5)aP, bPが既知のとき,問題1を解いてa, bをそれぞれ計算できるので,P からabP 計算することができる.

(11)

問題(3)問題(1)

1より, 問題3O(T(q))で解けるとすると, O((logq)(T(q) + (logq)4))で問題1を計算することがで きる.

問題(2)問題(3)

[1]Algorithm 2.3により,この平方剰余判定はO(log3q)で確率的に計算できる.

4

まとめ

本論文では, rを固定し, 楕円曲線上の点P r-ねじれ点から選ぶことで,先行研究でなされている結果を, ord(P)が素数でない場合まで拡張することを考えた. 結果,r >3,gcd(r, q1) = 1としてある程度rに条件 をつけ,写像ϕを定義することによって,先行研究と同様の結果を得ることができた.

今後の課題として考えられることは, elliptic net上のものを含むここで扱っていないほかの計算困難問題と の関係性を加えることや,主結果2において,ϕ(P)を原始根とした条件などをより緩和することなどが挙げら れる.

5

謝辞

本研究は,著者が首都大学東京大学院理学研究科数理科学専攻博士前期課程在学中に, 同大学院理学研究科 数理科学専攻の内田幸寛准教授のご指導の下におこなったものである. 適切な助言と,熱心な指導をしてくだ さった内田幸寛准教授に深く感謝いたします. また,ご多忙の中において,本論文の副査を快く引き受けてくだ さいました内山成憲教授と横山俊一准教授にも深く感謝いたします. 学部4年次から3年間, 同じ研究室の仲 間として苦楽を共にした石川岳氏と梶野智哉氏, そしてこれまで支えてきてくださった家族の皆様にも,心よ りお礼申し上げます. 本当にありがとうございました.

参考文献

[1] Bach, E.(1990). A Note on Square Roots in Finite Fields. IEEE trasactions on information theory.

vol.36, no.6, 1494–1498.

[2] Bach, E., Shallit, J.(1996). Algorithmic number theory, Efficient algorithms. Foundations of Com- puting Series, vol.1. MIT Press, Cambridge.

[3] Fong, K., Hankerson, D., LopezJ., Menezes, A.(2003). Field inversion and point halving revisited.

technical Report. CORR 2003-18, Department of Combinatorics and Optimization, University of Waterloo, Canada.

[4] Lauter, K.E., Stange, K.E.(2008). The elliptic curve discrete logarithm problem and equivalent hard problems for elliptic divisibility sequences, in: Proc. of SAC 2008, LNCS-5381, 309–327, Springer- Verlag, Berlin.

[5] Shipsey, R.(2001). Elliptic Divisibility Sequences. PhD thesis, Goldsmiths, University of London.

[6] Shipsey, R., Swart, C.(2008). Elliptic divisibility sequences and the elliptic curve discrete logarithm problem, http://eprint.iacr.org/2008/444 .

[7] Stange, K.E.(2008). Elliptic nets and elliptic curves. PhD thesis, Brown University.

(12)

[8] Ward, M.(1948). Memoir on elliptic divisibility sequences. American Journal of Mathmatics. vol.70, 1, 31–74.

[9] Washington, L.C.(2008). Elliptic Curves : Number Theory and Cryptography(Second Edition). Chap- man and Hall/CRC.

[10] Yarimizu, J., Uchida, Y., Uchiyama, S.(2014). The elliptic curve Diffie-Hellman problem and an equivalent hard problem for elliptic divisibility sequences. JSIAM Letters Vol.6, 5–7.

参照

関連したドキュメント

Our goal of this article is to show that two S 4 -covers arising from certain rational elliptic surfaces are versal.. Résumé ( S 4 -revêtements galoisiens versels de dimension 2

The theorem also implies that all p-adic L-functions for elliptic curves at odd primes p of semi-stable ordinary reductions are integral elements in the Iwasawa algebra.. See

We define the elliptic Hecke algebras for arbitrary marked elliptic root systems in terms of the corresponding elliptic Dynkin diagrams and make a ‘dictionary’ between the elliptic

Choe, A regularity theory for a general class of quasilinear elliptic partial differential equations and obstacle problems, Archive for Rational Mechanics and Analysis 114 (1991),

In many semilinear elliptic problems including small parameters (e.g., semilinear elliptic equations involving the critical exponent [10], stationary Cahn- Hilliard equation

In this paper, by using the generalized G /G-expansion method, we have successfully obtained some exact solutions of Jacobi elliptic function form of the Zakharov equations.. When

Cannon studied a problem for a heat equation, and in most papers, devoted to nonlocal problems, parabolic and elliptic equations were studied.. Mixed problems with nonlocal

In this paper, we extend this method to the homogenization in domains with holes, introducing the unfolding operator for functions defined on periodically perforated do- mains as