Theories on distributed feedback lasers