functional analysis conditions