Green's formulas for cone differential operators

Green’s formulas for elliptic cone differential operators are established. This is done by an accurate description of the maximal domain of an elliptic cone differential operator and its formal adjoint, thereby utilizing the concept of a discrete asymptotic type. From this description, the singular coefficients replacing the boundary traces in classical Green’s formulas are deduced.