# Irreducible Markov: harmonic function based on stationary distribution

Let $P$ be the transition matrix of an irreducible Markov chain on a finite state space $\Omega$. Let $\pi_1$ and $\pi_2$ be two stationary distributions for $P$. Is the function $$h(x)={\pi_1(x) \over \pi_2(x)}, x \in \Omega$$ harmonic for $P$.

I tried brute force to show $h(x)=\sum_{y \in \Omega} P(x,y)h(y), \forall x \in \Omega$, but I can't reduce the RHS to the LHS.

I know that for an irreducible Markov chain the stationary distribution is unique. I would like to use the precedent result as an alternative proof of the uniqueness of the stationary distribution.

-

So do you allow here the use of irreducibility? – Ilya Sep 28 '11 at 14:38
@Gortaur: Irreducibility can be used. Except this result from irreducibility: For an irreducible Markov chain, the stationary distribution is unique. – Nicolas Essis-Breton Oct 3 '11 at 12:05
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 7, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8449078798294067, "perplexity_flag": "head"}