On semimartingale local time inequalities and applications in SDE's

Using the balayage formula, we prove an inequality between the measures associated to local times of semimartingales. Our result extends the "comparison theorem of local times" of Ouknine $(1988)$, which is useful in the study of stochastic differential equations. The inequality presented in this paper covers the discontinuous case. Moreover, we study the pathwise uniqueness of some stochastic differential equations involving local time of unknown process.