یک عامل انتگرالساز برای معادله دیفرانسیل x۳y۳(۲ydx+xdy)−(۵ydx+۷xdy)=۰ کدام است؟
پاسخ صحیح:گزینهٔ D — (xy)۳۱۳yx
پاسخ تشریحی
به دنبال یک عامل انتگرالساز از شکل تکجملهای μ=xhyk میگردیم که هر دو دیفرانسیل گروهبندیشده را همزمان کامل (دقیق) کند. دو گروه را بسط میدهیم.
گروه ۱.x3y3(2ydx+xdy)=2x3y4dx+x4y3dy.
با ضرب در xhyk داریم M1=2x3+hy4+k و N1=x4+hy3+k. شرط کامل بودن ∂M1/∂y=∂N1/∂x ایجاب میکند که
2(4+k) = (4+h) \;\Rightarrow\; h = 4 + 2k. \tag{I}
گروه ۲.−(5ydx+7xdy)=−5ydx−7xdy.
با ضرب در xhyk داریم M2=−5xhy1+k و N2=−7x1+hyk. شرط کامل بودن ایجاب میکند که
5(1+k) = 7(1+h) \;\Rightarrow\; 5k - 7h = 2. \tag{II}
حل دستگاه. رابطهٔ (I) را در (II) جایگذاری میکنیم:
5k−7(4+2k)=2⇒−9k=30⇒k=−310,h=4+2(−310)=−38.
بنابراین
μ=x−8/3y−10/3.
تطبیق با گزینهها. مینویسیم (xy)31=x−3y−3 و μ را تجزیه میکنیم:
x−8/3y−10/3=x−3y−3⋅x1/3y−1/3=(xy)31(yx)1/3=(xy)313yx.
این دقیقاً گزینهٔ ۴ است. (بررسی سایر گزینهها: گزینهٔ ۱ →x−11/3y−7/3، گزینهٔ ۲ →x−7/3y−11/3، گزینهٔ ۳ →x−10/3y−8/3 — هیچکدام دستگاه شرط کامل بودن را برآورده نمیکنند.)
نکتهٔ کنکوری: برای معادلهای که از گروههای xpyq(mydx+nxdy) ساخته شده، μ=xhyk را امتحان کنید و شرط کامل بودن را روی هر گروه بهطور جداگانه اعمال کنید — هر گروه یک معادلهٔ خطی m(q+k+1)=n(p+h+1) میدهد. دو گروه دو معادله برای (h,k) میدهند؛ آنها را حل کنید و عامل انتگرالساز را بخوانید.