Harmonic and Trace Inequalities in Lipschitz Domains

We prove boundary inequalities in arbitrary bounded Lipschitz domains on the trace space of Sobolev spaces. For that, we make use of the trace operator, its Moore-Penrose inverse, and of a special inner product. We show that our trace inequalities are particularly useful to prove harmonic inequalities, which serve as powerful tools to characterize the harmonic functions on Sobolev spaces of non-integer order.