On mathematical analysis of gas transport in the lung