The Ohta-Kawasaki density functional theory of diblock copolymers gives rise to a nonlocal free boundary problem. Under a proper condition between the block composition fraction a...
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...