scholarly journals A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem

Author(s):  
Patrick J. McKenna ◽  
Filomena Pacella ◽  
Michael Plum ◽  
Dagmar Roth
1993 ◽  
Vol 47 (1) ◽  
pp. 101-118
Author(s):  
Yihong Du

This paper is a sequel to a recent paper by the author in this journal. We prove some -variants of the min-max type critical point theorems with relaxed boundary condition and then apply the abstract results to a semilinear elliptic boundary value problem.


Sign in / Sign up

Export Citation Format

Share Document