Question Number 85256 by john santu last updated on 20/Mar/20
$$\int\underset{\mathrm{0}} {\overset{\:\mathrm{1}} {\:}}\:\frac{\mathrm{sin}\:\left(\mathrm{ln}\:\mathrm{x}\right)}{\mathrm{ln}\:\left(\mathrm{x}\right)}\:\mathrm{dx}\: \\ $$
Commented by john santu last updated on 20/Mar/20
$$\mathrm{sin}\:\left(\mathrm{z}\right)\:=\:\frac{\mathrm{e}^{\mathrm{iz}\:} −\mathrm{e}^{−\mathrm{iz}} }{\mathrm{2i}} \\ $$$$\mathrm{sin}\left(\mathrm{ln}\:\mathrm{x}\right)\:=\frac{\mathrm{e}^{\mathrm{i}\:\mathrm{ln}\left(\mathrm{x}\right)} −\mathrm{e}^{−\mathrm{i}\:\mathrm{ln}\left(\mathrm{x}\right)} }{\mathrm{2i}}\:=\:\frac{\mathrm{x}^{\mathrm{i}} \:−\mathrm{x}^{−\mathrm{i}} }{\mathrm{2i}} \\ $$$$\int\underset{\mathrm{0}} {\overset{\:\mathrm{1}} {\:}}\:\frac{\mathrm{x}^{\mathrm{i}} −\mathrm{x}^{−\mathrm{i}} }{\mathrm{2i}\:\mathrm{ln}\left(\mathrm{x}\right)}\:\mathrm{dx}\:=\:\mathrm{I}\left(\mathrm{1}\right) \\ $$$$\mathrm{let}\:\mathrm{I}\left(\mathrm{b}\right)\:=\:\int\underset{\mathrm{0}} {\overset{\:\mathrm{1}} {\:}}\:\frac{\mathrm{x}^{\mathrm{bi}} −\mathrm{x}^{−\mathrm{i}} }{\mathrm{2i}\:\mathrm{ln}\left(\mathrm{x}\right)}\:\mathrm{dx} \\ $$$$\mathrm{I}'\left(\mathrm{b}\right)\:=\:\int\underset{\mathrm{0}} {\overset{\:\mathrm{1}} {\:}}\:\frac{\partial}{\partial\mathrm{b}}\:\left[\frac{\mathrm{x}^{\mathrm{bi}} −\mathrm{x}^{−\mathrm{i}} }{\mathrm{2i}\:\mathrm{ln}\left(\mathrm{x}\right)}\right]\:\mathrm{dx} \\ $$$$\mathrm{I}'\left(\mathrm{b}\right)\:=\:\int\:\underset{\mathrm{0}} {\overset{\mathrm{1}} {\:}}\frac{\mathrm{x}^{\mathrm{bi}} \:\mathrm{ln}\left(\mathrm{x}\right)\:\mathrm{i}}{\mathrm{2i}\:\mathrm{ln}\left(\mathrm{x}\right)}\:\mathrm{dx} \\ $$$$\left.\mathrm{I}'\left(\mathrm{b}\right)\:=\:\frac{\mathrm{1}}{\mathrm{2}\left(\mathrm{1}+\mathrm{bi}\right)}\:\mathrm{x}^{\mathrm{bi}+\mathrm{1}} \:\right]\:_{\mathrm{x}\:=\:\mathrm{0}} ^{\mathrm{x}=\mathrm{1}} \\ $$$$\mathrm{I}'\left(\mathrm{b}\right)\:=\:\frac{\mathrm{1}}{\mathrm{2}\left(\mathrm{1}+\mathrm{bi}\right)}\:\Rightarrow\mathrm{I}\left(\mathrm{b}\right)\:=\:\int\:\frac{\mathrm{1}}{\mathrm{2}\left(\mathrm{1}+\mathrm{bi}\right)}\:\mathrm{db} \\ $$$$\mathrm{I}\left(\mathrm{b}\right)\:=\:\frac{\mathrm{1}}{\mathrm{2i}}\:\mathrm{ln}\left(\mathrm{1}+\mathrm{bi}\right)\:+\:\mathrm{C} \\ $$
Commented by john santu last updated on 20/Mar/20
$$\frac{\mathrm{1}}{\mathrm{2i}}\:\mathrm{ln}\left(\mathrm{1}+\mathrm{bi}\right)\:+\mathrm{C}\:=\:\int\:\underset{\mathrm{0}} {\overset{\mathrm{1}} {\:}}\:\frac{\mathrm{x}^{\mathrm{bi}} −\mathrm{x}^{−\mathrm{i}} }{\mathrm{2i}\:\mathrm{ln}\left(\mathrm{x}\right)}\:\mathrm{dx} \\ $$$$\mathrm{b}=−\mathrm{1}\:\Rightarrow\:\frac{\mathrm{1}}{\mathrm{2i}}\:\mathrm{ln}\left(\mathrm{1}−\mathrm{i}\right)+\mathrm{C}\:=\:\mathrm{0} \\ $$$$\mathrm{C}\:=\:−\frac{\mathrm{1}}{\mathrm{2i}}\:\mathrm{ln}\left(\mathrm{1}−\mathrm{i}\right) \\ $$$$\mathrm{I}\left(\mathrm{1}\right)\:=\:\frac{\mathrm{1}}{\mathrm{2i}}\:\mathrm{ln}\left(\frac{\mathrm{1}+\mathrm{i}}{\mathrm{1}−\mathrm{i}}\right)\:=\:\frac{\mathrm{1}}{\mathrm{2i}}\:\frac{\pi\mathrm{i}}{\mathrm{2}}\:=\:\frac{\pi}{\mathrm{4}} \\ $$$$\therefore\:\int\:\underset{\mathrm{0}} {\overset{\mathrm{1}} {\:}}\:\frac{\mathrm{sin}\:\left(\mathrm{ln}\:\mathrm{x}\right)}{\mathrm{ln}\:\left(\mathrm{x}\right)}\:\mathrm{dx}\:=\:\frac{\pi}{\mathrm{4}} \\ $$
Commented by mathmax by abdo last updated on 20/Mar/20
$${I}\:=\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{{sin}\left({lnx}\right)}{{lnx}}{dx}\:\:{changement}\:{lnx}\:=−{t}\:{give}\:{x}\:={e}^{−{t}} \:\Rightarrow \\ $$$${I}\:=−\:\int_{\mathrm{0}} ^{+\infty} \:\frac{{sin}\left({t}\right)}{{t}}\left(−{e}^{−{t}} \right){dt}\:=\int_{\mathrm{0}} ^{\infty} \:\:\frac{{sint}}{{t}}\:{e}^{−{t}} \:{dt} \\ $$$${let}\:{f}\left({a}\right)\:=\int_{\mathrm{0}} ^{\infty} \:\frac{{sint}}{{t}}{e}^{−{at}} \:{dt}\:\:{with}\:{a}\geqslant\mathrm{0}\:\:{we}\:{have} \\ $$$${f}^{'} \left({a}\right)\:=−\int_{\mathrm{0}} ^{\infty} \:\:{sint}\:{e}^{−{at}} {dt}\:=−{Im}\left(\int_{\mathrm{0}} ^{\infty} \:{e}^{−{at}+{it}} \:{dt}\right) \\ $$$$\int_{\mathrm{0}} ^{\infty} \:{e}^{\left(−{a}+{i}\right){t}} \:{dt}\:=\left[\frac{\mathrm{1}}{−{a}+{i}}\:{e}^{\left(−{a}+{i}\right){t}} \right]_{\mathrm{0}} ^{+\infty} \:=−\frac{\mathrm{1}}{{a}−{i}}\left\{−\mathrm{1}\right\}=\frac{\mathrm{1}}{{a}−{i}} \\ $$$$=\frac{{a}+{i}}{{a}^{\mathrm{2}} \:+\mathrm{1}}\:\Rightarrow{f}^{'} \left({a}\right)\:=−\frac{\mathrm{1}}{\mathrm{1}+{a}^{\mathrm{2}} }\:\Rightarrow{f}\left({a}\right)\:={k}−{arctan}\left({a}\right) \\ $$$${f}\left(\mathrm{0}\right)\:=\frac{\pi}{\mathrm{2}}\:={k}\:\Rightarrow{f}\left({a}\right)\:=\frac{\pi}{\mathrm{2}}\:−{arctan}\left({a}\right) \\ $$$${I}\:={f}\left(\mathrm{1}\right)\:=\frac{\pi}{\mathrm{2}}−\frac{\pi}{\mathrm{4}}\:=\frac{\pi}{\mathrm{4}} \\ $$