[논문 리뷰] Coupled fixed point theorems for $\phi$-contractive mixed monotone mappings in partially ordered metric spaces

Vasile Berinde|arXiv (Cornell University)|2011. 03. 28.

Fixed Point Theorems Analysis참고 문헌 1인용 수 53

한 줄 요약

이 논문은 부분적으로 순서가 붙은 거리 공간에서 혼합 단조성 사상에 대해 새로운 결합 고정점 정리를 수립한다. 일반화된 φ-수축 조건을 도입함으로써 이전의 수축 조건을 약화시켰다. 이 방법은 반복 사상 간 평균 거리에 대한 (ϕ, ψ)-수축 조건을 사용하여, 이전 연구들보다 더 가벼운 조건 하에서도 결합 고정점의 존재성과 유일성을 보장한다. 주요 기여는 더 약한 리프시츠 유형의 가정 하에서도 비선형 프레드홀름 적분방정식에 적용 가능한 더 넓은 프레임워크를 제공한다는 점이다.

ABSTRACT

In this paper we extend the coupled fixed point theorems for mixed monotone operators $F:X imes X ightarrow X$ obtained in [T.G. Bhaskar, V. Lakshmikantham, extit{Fixed point theorems in partially ordered metric spaces and applications}, Nonlinear Anal. extbf{65} (2006) 1379-1393] and [N.V. Luong and N.X. Thuan, extit{Coupled fixed points in partially ordered metric spaces and application}, Nonlinear Anal. extbf{74} (2011) 983-992], by weakening the involved contractive condition. An example as well an application to nonlinear Fredholm integral equations are also given in order to illustrate the effectiveness of our generalizations.

연구 동기 및 목표

• 기존의 부분적으로 순서가 붙은 거리 공간에서 혼합 단조성 사상에 대한 결합 고정점 정리를, 수축 조건을 약화시킴으로써 일반화하기.
• 이전 연구들보다 더 엄격하지 않은 가정 하에서도 고정점 결과의 적용 범위를 비선형 적분방정식으로 확장하기.
• Bhaskar와 Lakshmikantham(2006) 및 Luong와 Thuan(2011)의 이전 결과들을 대체로 통합하고 향상시키기 위해 대칭적이고 평균화된 수축 조건을 통해 수행하기.
• 사상의 연속성을 요구하지 않고도 결합 고정점의 존재성과 유일성을 확보하기 위해, 대체로 완비성 조건을 사용하기.
• 비선형 프레드홀름 적분방정식에 대한 적용을 통해 새로운 프레임워크의 효과를 입증하기.

제안 방법

• ϕ ∈ Φ 및 ψ ∈ Ψ인 두 함수를 포함하는 새로운 수축 조건을 도입한다. 여기서 ϕ는 연속적이며, 비감소적이며, t > 0일 때 ϕ(t) < t 이다. ψ는 하부 연속적이며, t > 0일 때 ψ(t) > 0 이다.
• X×X의 곱 공간에 대한 거리 d₂를 d₂((x,y),(u,v)) = [d(x,u) + d(y,v)]/2로 정의하여, (X,d)가 완비일 경우 (X×X, d₂)도 완비임을 보장한다.
• 결합 고정점 문제를 T: X×X → X×X 정의에 의한 고정점 문제로 변환한다. 여기서 T(x,y) = (F(x,y), F(y,x))이다.
• T에 대해 (ϕ,ψ)-수축 조건을 적용한다: Y ≥ V의 곱 순서에서 ϕ(d₂(TY, TV)) ≤ ϕ(d₂(Y,V)) − ψ(d₂(Y,V))이다.
• 초기 쌍이 x₀ ≤ F(x₀,y₀), y₀ ≥ F(y₀,x₀) 또는 그 반대 부등식을 만족할 경우, 수열 (xₙ, yₙ)에 대해 피카르 반복을 적용한다.
• 거리 수열의 비증가성과 ϕ, ψ의 성질을 이용하여 수열의 수렴성을 증명한다.

실험 결과

연구 질문

• RQ1 Bhaskar와 Lakshmikantham의 결합 고정점 정리에서 수축 조건을 유지하면서도 존재성과 유일성을 보장하는 조건을 약화시킬 수 있는가?
• RQ2 혼합 단조성 사상에 대한 결합 고정점 정리에서 F에 대한 연속성 가정을 얼마나 완화시킬 수 있는가?
• RQ3 새로운 수축 조건을 사용하여 이전 결과보다 더 약한 가정 하에서도 비선형 프레드홀름 적분방정식의 해의 존재성과 유일성을 증명할 수 있는가?
• RQ4 이전의 수축 조건과 비교할 때, 새로운 대칭적 수축 조건은 일반성과 적용 가능성 측면에서 어떻게 다른가?
• RQ5 이중 초기 조건 (x₀ ≥ F(x₀,y₀), y₀ ≤ F(y₀,x₀))는 반복적 방법의 수렴에 어떤 역할을 하는가?

주요 결과

• 논문은 Bhaskar와 Lakshmikantham(2006) 및 Luong와 Thuan(2011)의 결과보다 엄격히 더 약한 수축 조건을 갖는 새로운 (ϕ,ψ)-수축 조건 하에서 결합 고정점 정리를 수립한다.
• F의 연속성 또는 가정 1.1(순서-완비성의 수열적 형태)을 가정할 경우, 결합 고정점의 존재성과 유일성이 증명되며, 이는 이전 결과를 확장한다.
• 기존 조건 (1.1)과 (1.2)가 성립하지 않을 수 있음에도 불구하고, 새로운 조건이 만족될 수 있음을 보여주는 예시가 제시된다.
• 새로운 프레임워크는 비선형 프레드홀름 적분방정식에 적용되어, Luong와 Thuan(2011)의 결과보다 더 약한 조건 하에서도 해의 존재성과 유일성을 보여준다.
• 조건 (λ + μ) · sup_t ∫_a^b |K₁(t,s) − K₂(t,s)| ds ≤ 1 이면, 적분방정식이 유일한 해를 갖는다. 이는 2 max{λ,μ} · sup_t ∫_a^b |K₁(t,s) − K₂(t,s)| ds > 1 일 경우, 이전 조건이 무효화되는 상황에서도 성립한다.
• 증명 기법은 이중 초기 조건 (x₀ ≥ F(x₀,y₀), y₀ ≤ F(y₀,x₀)) 역시 수렴을 이끌 수 있음을 드러내며, 이는 방법의 적용 범위를 넓힌다.