Esistenza e stabilità di onde di shock transonici nel modello idrodinamico per semiconduttori