We state two families of trace formulas for the Howe duality. We prove the
matching of orbital integrals for the trace formulas. The fundamental lemma
(matching of orbital integrals for spherical functions) turns out to be th
e consequence of local Howe duality. We use the local Howe duality to prove
the fundamental lemmas for another interesting family of trace formulas.