A theory of ionospheric response to upward‐propagating tides: Electrodynamic effects and tidal mixing effects | Synapse